Re: Empty Bounded Containers

[Adam Beneschan <adambeneschan@gmail.com>]

On Thursday, May 22, 2014 6:05:19 PM UTC-7, Adam Beneschan wrote:

I wrote:

> The assignment operator in Ada, however, isn't set up to copy "values" in a way that could change the representation, and it can't be overloaded the way assignment can in C++.  (This is actually a pretty cool feature of C++, as long as your program works perfectly the first time and never needs to be debugged or changed.)  What might be useful, that I don't see in the Bounded_Vectors spec, is a function that would return a vector with the same elements as an input parameter, but with a different capacity, e.g.
> 
> x : BC.Vector := BC.Copy_And_Change_Capacity (BC.Empty_Vector, Capacity => 42);

As Randy pointed out, there *is* already a function like that, Copy, that was added in Ada 2012.  I don't know how I missed it.  I looked through the RM chapter on Containers.Vectors several times looking for this, and I still couldn't find it.  Time to stop putting off that appointment with my ophthalmologist, I guess.

Sigh ...

                                -- Adam