Re: Protected object which never get finalized

[sjw <simon.j.wright@mac.com>]

On Feb 14, 12:35 pm, "John B. Matthews" <nos...@nospam.invalid> wrote:

> I get the same result with gcc 4.3.4, but it works if protected type
> A_Type is public in P:
>
>    package P is
>       protected type A_Type is
>       private
>           Spy : Spies.Instance_Type
>             (Client_Name => new String'("P.A_Type"));
>       end;
>    end P;
>
> Type A_Type has its own private part, and this seems more comparable to
> the declaration of protected type B_Type. Is there any reason to make
> A_Type more opaque?

I had wanted to write

    private
       Name : aliased constant String := "P.A_Type";
       protected type A_Type is
          private
             Spy : Spies.Instance_Type
               (Client_Name => Name'Access);
       end;
    end P;

to avoid allocating a new Client_Name at each instance creation. This
looks a little messy if in the public part.