Re: Equivalence between named access and anonymous access.

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

On 2023-09-06 16:37, Blady wrote:

> I'm wondering about named access and anonymous access.
> In the following Ada code, are the writing of parameter P1 type of 
> procedures PA and PB equivalent ?
> 
> package C1 is
>    type Inst is tagged null record;
>    type Class is access all Inst'Class;
> end C1;
> 
> with C1;
> package C2 is
>    type Inst is tagged null record;
>    type Class is access all Inst'Class;
> 
>    procedure PA (Self : Inst; P1 : C1.Class); -- named access
>    procedure PB (Self : Inst; P1 : access C1.Inst'Class); -- anonymous 
> access
> end C2;
> 
> Same with:
>    function FA (Self : Inst) return C1.Class; -- named access
>    function FB (Self : Inst) return access C1.Inst'Class; -- anonymous 
> access
> 
> Are FA and FB writing equivalent?
> If not why?

They are not equivalent from the access checks point of view:

    declare
       Y : C2.Inst;
       X : aliased C1.Inst;
    begin
       C2.PA (Y, X'Access); -- Non-local pointer error
       C2.PB (Y, X'Access); -- Fine
    end;

Furthermore, tagged anonymous access is controlling (dispatches) when 
not class-wide.

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