Re: Not null feature with anonymous and named access types

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

"Anh Vo" <anhvofrcaus@gmail.com> wrote in message
news:1150144396.104055.164310@f6g2000cwb.googlegroups.com...
> I have been exploring the not null feature with anonymous access type
> and named access type. One thing have learned that an access variable
> declared based on these types will raise a Constraint_Error when
> deallocating this access variable as shown in the code below.
>
> Access_Type:
> declare
>    type Access_Integer is not null access all Integer;

It's virtually always wrong to declare a *type* with "not null". It's use
should primarily be restricted to subtypes and parameters.

>    procedure Free is new Unchecked_Deallocation (Integer,
> Access_Integer);

This instantiation is illegal; the "not null" property must match between
the formal and actual types. See 12.5.4(4/2).

>    My_Ref_1 : Access_Integer := new Integer' (111);
>    My_Ref_2 : not null access Integer := new Integer' (222);
> begin
>    -- perform action on My_Ref_1 and My_Ref_2
>    Free (My_Ref_1);  -- raising Constraint_Error under GNAT/gcc-4.2.0

You shouldn't have been able to run this program.

>    Free (Access_Integer (My_Ref_2)); -- did too
> end Access_Type;
>
> Does this behavior reflect ARM 2005 requirements?

No, see above.

> Thanks in advance for your comments.

As I said above, never declare a null-excluding type; it's impossible to use
in any meaningful way. Use "not null" in subtypes, object declarations,
parameters, and the like. (Parameters are expected to be the primary use.)

I'd write your example like:

Access_Type:
 declare
   type Access_Integer is access all Integer;

    procedure Free is new Unchecked_Deallocation (Integer, Access_Integer);

    My_Ref_1 : Access_Integer := new Integer' (111);
    My_Ref_2 : not null access Integer := new Integer' (222);
begin
    -- perform action on My_Ref_1 and My_Ref_2
    Free (My_Ref_1);  -- OK.
    --Free (Access_Integer (My_Ref_2)); -- Raises Constraint_Error.
    My_Ref_1 := My_Ref_2;
    Free (My_Ref_1);  -- OK.
end Access_Type;

(But the important use of "not null" is in passing parameters.)

                     Randy.