Re: Containers with Ada

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

> There's nothing in the standard that requires this for the _exact_
> example you post, AFAIK. If you really think you're seeing this, you
> may want to contact GNAT. Note that replacing "Length : Natural" with
> "Length : Natural := 0" will cause the behavior you describe, as well
> as a potential GNAT message - "warning: creation of object of this
> type may raise Storage_Error.". That _is_ consistent with the
> standard.
Sorry, I didn't remember that the problems with memory consumption I had
arose when I used a default value for Length. In my original List
implementation this was needed for growable lists:
   type Element_Array is array(Positive range <>);
   type Buffer(Size : Natural := Init_Size) is record
      Elements : Element_Array(1 .. Size);
   end record;
   type Growable_List is record
      Element_Buffer : Buffer;
      Real_Size      : Natural :=0;
   end record;
This example is not possible with GNAT why I have to use references to
the buffer why Growable_List must be a controlled type.


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