Re: acceess problem

[Adam Beneschan <adam@irvine.com>]

On Jul 26, 8:57 am, Gautier write-only <gautier_niou...@hotmail.com>
wrote:
> On 25 juil, 10:27, Simon Wright <si...@pushface.org> wrote:
>
> > Replace 'Access with 'Unchecked_Access or, if that doesn't work, with
> > the (GNAT-special) 'Unrestricted_Access.
>
> Unless 'Unrestricted_Access has been inbetween added to the language,
> there is a way to have it in a pure Ada form:
>
>   function Cvt is new
> Ada.Unchecked_Conversion(System.Address,DoublePtr);
>   -- This method is functionally identical as GNAT's
> Unrestricted_Access
>   -- but has no type safety (cf GNAT Docs)
>   pragma No_Strict_Aliasing(DoublePtr); -- recommended by GNAT 2005
>
>   procedure Vertex (v: Double_vector_3D) is
>   begin
>     Vertex3dv(Cvt(v(0)'Address));
>   end Vertex;
>
> ^this is an excerpt from an existing GL binding (why reinvent it?)...http://globe3d.svn.sourceforge.net/viewvc/globe3d/bindings/gl.adb?rev...

Although I don't like this approach, if you're going to convert an
Address to an access object, surely it's better to use
System.Address_To_Access_Conversions, which is designed for this sort
of conversion, than to use Unchecked_Conversion, which assumes that a
System.Address and the access object you're converting to have the
same format, which isn't always the case.  There's no point in using
"pure Ada" if it results in code that compiles on another system but
doesn't work properly.

                              -- Adam