Re: Enforcing initialization protocol for protected type

["Randy Brukardt" <randy@rrsoftware.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:1rusjydws2ko.rpfwzoyv4bzj$.dlg@40tude.net...
...
> P.S. It looks like a language design bug. If allowed then at least it
> should have been like:
>
>   Obj: subtype Rec (new Disc);
>      -- An anonymous subtype is declared for Obj

I think most of us consider "coextensions" a language design bug. Indeed, 
that is about the nicest thing I can say about them. There are many of us 
who think that allocators of anonymous access types should simply be illegal 
(in all contexts), because what they mean currently depends so heavily on 
context and that makes them a maintenance nightmare (at best).

Morevoer, the rules for coextensions are a constantly shifting complex 
morrass. So, if you want to give yourself and your vendor a constant supply 
of headaches, then by all means use coextensions. Otherwise, I highly 
suggest you avoid them.

(For the record, Janus/Ada does not support coextensions -- recent versions 
make the allocators illegal since they don't have the correct semantics. 
Implementation is currently scheduled for approximately the year 2092. ;-)

                                               Randy.