Re: Efficient Sequential Access to Arrays

[Keean Schupke <keean.schupke@googlemail.com>]

On Friday, 27 July 2012 09:50:41 UTC+1, Dmitry A. Kazakov  wrote:
> On Fri, 27 Jul 2012 01:21:18 -0700 (PDT), Keean Schupke wrote:
> 
> > I am wondering if there is a way to use address arithmetic that would be
> > just as safe as array indexing? What about something like:
> > 
> > 
> > type Value_Type is limited private;
> > type Index_Type is range <>;
> > type Array_Type is array (Index_Type) of Value_Type;

type Array_Type is array (Index_Type) of aliased Value_Type;

> > 
> > A : Array_Type;
> >  
> > type Iterator = Address_Integer range A(A'First)'Address .. A(A'Last)'Address step Value_Type'Size;
> > 
> > This would be safe as it could only contain the address of a valid record
> > in the array, and the syntax could be neat with automatic dereferencing.
> 
> Value_Type = Boolean

Error: array value must be aliased to use iterator.


Cheers,
Keean.

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