Re: Does object renaming allow the view to be a copy?

[AdaMagica <christ-usch.grein@t-online.de>]

Am Sonntag, 22. Januar 2017 21:24:12 UTC+1 schrieb Dmitry A. Kazakov:
> On 2017-01-22 18:37, Simon Wright wrote:
...
> > But like I said, crazy. Under the hood, any sensible person would have a
> > reference to the original object.
> 
> Some packed Boolean, not at the storage element margin?

Of course not in cases like that:

type Set is array (Index) of Boolean with Packed;
My_Set: Set;

My_Element_Presence: Boolean renames My_Set (I);

My_Set (I) := not My_Set (I);
My_Element_Presence := not My_Element_Presence;

Under the hood, the same packing and unpacking has to be performed. A simple reference is impossible in this case.