Re: [Q]: Unchecked conversion

[mheaney@ni.net (Matthew Heaney)]

In article <01bbcf21$4b32a020$829d6482@joy.ericsson.se>, "Jonas Nygren"
<ehsjony@ehs.ericsson.se> wrote:


>I'm not sure if its portable, but I have used something similar to
>
>    function To_Buffer (S : String) return Buffer is
>       Temp_Buffer : Buffer(1..S'Length)
>       for Temp_Buffer use at S'Address;
>    begin
>       return Temp_Buffer;
>    end To_Buffer;

In general, you should avoid overlay-style conversions when
Unchecked_Conversion will do.  Overlays are inherently dangerous because
you can unwittingly over-write memory that doesn't belong to you,
especially when the overlay-object has default initialization (for example,
an access object).

The preferred approach is as Bob Dewar suggested:

function To_Buffer (S : String) return Buffer is

   subtype Constrained_String is String (S'Range);
   subtype Constrained_Buffer is Buffer (S'Range);

   function To_Constrained_Buffer is 
      new Unchecked_Conversion (Constrained_String, Constrained_Buffer);
begin
   return To_Constrained_Buffer (S);
end;

This should be portable across all Ada compilers, because the source and
target types are both constrained.

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
mheaney@ni.net
(818) 985-1271