Re: String Pointer Bug

[aschwarz@acm.org (skidmarks)]

"Christoph Karl Walter Grein" <AdaMagica@web.de> wrote in message news:<mailman.83.1099920902.10401.comp.lang.ada@ada-france.org>...
> A long time ago, I made an exegesis of this problem. You may find it below
> (sorry if the indentation should be lost, it's my mailer that swallows it, I do not know
> to avoid this):

Thank you. This is an excellent description. the only (fault) that I
can see is that it requires a copy operation (Y: aliased D := X).

I wonder, do you think that:

   Y: aliased D; for Y'Address use X'Address;

is a viable alternative (please note, I did not say GOOD alternative).

In this simple case, a copy serves no harm, other than some time. But
if the data is large the cost will certainly grow, perhaps to being
unacceptable.

Another (but unattractive) alternative might be:

    type S1 is String(1..1);
    type S2 is String(1..2);
             ooo
    type Sn is String(1..n);

    type S_Ptr  is access all String;
    type S1_Ptr is access all S1;
             ooo
    type Sn_Ptr is access all Sn;


and so on. But how really ugly.

thanks

art