Re: Community Input for the Maintenance and Revision of the Ada Programming Language

["Alejandro R. Mosteo" <alejandro@mosteo.com>]

On 03/09/17 03:35, Randy Brukardt wrote:
> "Johan Söderlind Åström" <johaa1993@gmail.com> wrote in message
> news:338b355a-dee4-4c73-b00e-09d9a8430fb1@googlegroups.com...
>> I usually cast a array to array that starts at zero index when implementing
>> algorithms.
> OK, but just do that and don't use any overlays...
> 
>> type Integer_Array is array (Integer range <>) of Integer;
>>
>> procedure Algorithm (Item : Integer_Array) is
>>   use Ada.Assertions;
>>   X : Integer_Array (0 .. Item'Length - 1) with Address => Item'Address;
> 
>       subtype Zero_Array is Integer_Array (0 .. Item'Length - 1);
>       X : Zero_Array := Zero_Array (Item);

Wouldn't that possibly involve a copy? If so, would using "constant" 
guarantee a free renaming?

And is there a difference to using rename?:

X : Zero_Array renames Item;

(I was actually surprised that you can't explicitly write 
Zero_Array(Item) with renames).

Álex.

> ...
> 
>                           Randy.
> 
>