Re: Containers with Ada

[Wolfgang Jeltsch <jeltsch@my-deja.com>]

> If List contains "thousands of elements", I suspect it's probably not
> an elementary type [Ada Reference Manual 3.2:3]. (It may _reference_
> them, but then only the reference is being passed, not the elements).
> Therefore, it doesn't have to be passed by copy [ARM 6.2:3], and most
> compilers won't.
I thought that every type which is not a by-reference type is a by copy
type. Thank you for the correction.

> Similar rules apply to the returned value.
As far as I can see from [ARM 6.5] a type must be limited to be a
return-by-reference type.

> It may be a good idea to declare List a limited type, but not for
> reasons of controlling the passing convention.
For what reasons it would be good?


Sent via Deja.com http://www.deja.com/
Before you buy.