Re: creating an array

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 15 Feb 2006 08:42:09 +0100, Maciej Sobczak wrote:

> Dmitry A. Kazakov wrote:
> 
>>>for Index in The_Array_Type'Range loop
>>>    The_Array(Index) := The_Function;
>>>end loop;
>> 
>> The_Array_Type := (others => The_Function);
>             ^^^^^
> Rather The_Array := ...

Yes, of course.
 
> But what's more important - could you point to a specific paragraph in 
> AARM that guarantees that the two above are equivalent? I mean - is it 
> guaranteed that (others=>The_Function) has the meaning of increasing 
> order of indexes? Is is possible for the implementation to call 
> The_Function just once and reuse its return value for all elements' 
> assignments?

Jean-Pierre has answered this.

Functions shouldn't have side effects relevant to the call context. So the
result of The_Function should be independent on Index. It shouldn't read a
stream, but it can call to random generator, it can create a new object, it
can start a task etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de