Re: Prologue and epilogue aspects

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 30/01/2018 00:08, Randy Brukardt wrote:
> You mean sort of like "universal_controlled"?

No, that would require a common base for old Ada.Finalization.Controlled 
and new Controlled_Interface. no that this is undesired, but it was 
rejected already. So the idea is an anonymous base, with the name nobody 
dare to call. (:-))

> As previously noted, that
> might work for streams (and maybe pools),but controlled usually carries
> components along as well, so an interface (which cannot have components) is
> a bad match.

That is an implementation detail. There is no components officially, so 
it is up to the compiler designer to stuck these somewhere and take care 
of the cases when both Ada.Finalization.Controlled and 
Controlled_Interface are inherited from.

BTW, I am not a fan of keeping lists of controlled objects and the rules 
to finalize objects implicitly. IMO it is a misfeature which adds no 
safety, just overhead. If Controlled_Interface would drop these rules I 
would be only happy. Then Controlled_Interface could be an interface 
without messy postmortem finalization rules, which would apply only if 
Ada.Finalization.Controlled inherited.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de