Re: Specialization

["Baugereau" <baugereau@ifrance.kom>]

> This is the problem. You should (almost certainly :) have an array of
> ELEMENTPTR, not an array of ELEMENT. When an element is added to
> Vector, you call 'new' for it. When an element is erased from the
> vector you call an instantiation of Unchecked_Deallocation on it. Then
> Finalize will be called automatically, if necessary.
>
> See the file sal-poly-unbounded_arrays.ads
> in SAL at http://users.erols.com/leakstan/Stephe/Ada/sal.html
> for an example of a similar package.
>
> You will find that you will have to allow your generic ELEMENT type to
> be unconstrained and/or indefinite, if the Vector package is to be
> truly useful. For example, try to define a Vector of String. Once you
> do that, you are forced to have an array of pointer-to-element.
>

Ok so this is the difference of philosophy with STL's vector, which is plain
value-oriented.
What I dislike here is the lack of locality of the elements, and the need to
"new" every time I add an element...
Any comment?