Re: Empty Bounded Containers

["Randy Brukardt" <randy@rrsoftware.com>]

<sbelmont700@gmail.com> wrote in message 
news:cfe5082c-9b50-4c5b-afe1-8dd6ea1640b9@googlegroups.com...
...
>which is not intuitively what I would assume.  For instance, the following 
>line:
>
>x : BC.Vector (Capacity => 42) := BC.Empty_Vector;

The problem here is using ":=" on bounded containers. Because of the 
capacity discriminant, it will never work quite right.

The whole reason that Assign and Copy were introduced into the Ada 2012 
containers is to work around this problem.

You want:
  X : BC.Vector (Capacity => 42) := Copy(BC.Empty_Vector, Capacity => 42);

Or:

   X : BC.Vector (Capacity => 42);

   BC.Assign (Target => X, Source => BC.Empty_Vector);

Ada has no way to avoid discriminant checks in ":=", so there is no 
possibility of making it work like you would want.

                                  Randy.