Re: APQ

[Brian May <bam@snoopy.apana.org.au>]

>>>>> "Dmitry" == Dmitry A Kazakov <mailbox@dmitry-kazakov.de> writes:

    Dmitry> Potentially plain access pointers could be more efficient.

There have been other benefits described on this newsgroup. For
instance, it prevents this type of error:

declare
        A : aliased XYZ_Type;
        Ptr : XYZ_Ptr_Type := A'Access;
begin
        ...
        Free(Ptr);
end;

Sure that is obvious in this case, but in a more complicated
situation...

The C++ solution is for programmers to impose rules on themselves,
e.g. this pointer will only point to memory allocated dynamically.

In Ada you can have the compiler enforce these rules, and it makes
sense to let the compiler do this.
-- 
Brian May <bam@snoopy.apana.org.au>