Re: Ada array vs C pointer (call by reference)

[Adrian Hoe <abyhoe@gmail.com>]

Maciej Sobczak wrote:
> On 27 Cze, 04:55, Adam Beneschan <a...@irvine.com> wrote:
>
> > Oh, and you probably want to use Interfaces.C.C_Float instead of the
> > Ada type "Float", to ensure that you're using the same kind of float
> > that the C routine expects.
>
> Don't get me wrong, but I find it a bit of handwaving.
> Ada *cannot* guarantee that Interfaces.C.C_Float is the *right* float,
> because it does not verify how the C code was compiled and there is a
> lot of freedom given to C implementers in this area.
> Same for all other types.
>
> In reality we have to rely on some external knowledge about the
> implementation - but then, Interfaces.C.XXX have little added value,
> because we might as well have the same knowledge about types from
> Standard.
>
> Is there any implementation where Interfaces.C.int has different
> properties than Integer?


Agree. Exactly my point.


> --
> Maciej Sobczak * www.msobczak.com * www.inspirel.com