Re: Run-time accessibility checks (was: Construction initialization problem)

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

I said:

> ...
>> Because Ref_Type is not abstract, you will have to override all primitive 
>> operations of Target_Type, and assignment must be a primitive operation, 
>> and components getter/setters of, in case Target_Type were a record type, 
>> must be as well.
>
> That sounds like a maintenance headache (any change must be replicated 
> everywhere. That became such a pain for the Claw Builder program that it 
> almost ground development on it to a halt.)

By the way, if you don't care about the maintenance headache, you can do 
this with Ada today, using interfaces. Since an interface requires all of 
the operations to be redefined, you get exactly this behavior as long you 
define both types to inherit from the interface (not each other). That is:

type Something_Interface is interface;
<operations>

type Target_Type is new Something_Interface;
<implement operations>

type Ref_Type is new Something_Interface;
<reimplement operations>

I'm not sure what you need that can't be done this way. (I'm certain that no 
new feature is going to get added to the language if it is equivalent to 
what you can already do and doesn't even save much typing).

                                Randy.