Re: Aliased

[Jeffrey Carter <spam@spam.com>]

nblanpain@hotmail.com wrote:
> 
> ------ Container.ads
> generic
>    type T_Item is private;
>    Static_Size : Integer;
> package Container is
>    type T_Array is array (Integer range <>) of T_Item;
>    type A_Array is access all T_Array;
>    type T_Container is tagged record
>       Obj_Array : aliased T_Array (1..Static_Size);
>       Ptr_Array : A_Array;
>    end record;

>         This.Ptr_Array := This.Obj_Array'Access; --- Compilation Error
> 
> -- Compilation Error : Object subtype must statically match designated
> subtype. No local pointer cannot point to local object.

A_Array designates an unconstrained array type, T_Array. This.Obj_Array 
is a component of a constrained subtype of T_Array. 
This.Obj_Array'access does not designate the same subtype as A_Array. 
That's why this is illegal.

Change your type declaration to

type T_Array is array (1 .. Static_Size) of T_Item;

and this should work.

-- 
Jeff Carter
"I blow my nose on you."
Monty Python & the Holy Grail
03