Patch: stl_vector.h

[Paolo Carlini]

Paolo Carlini wrote:

> Ok, now I see it. The problem is that _Construct (used for 
> std::allocator) has *two*
> template arguments:
>
>  template<typename _T1, typename _T2>
>    inline void
>    _Construct(_T1* __p, const _T2& __value)
>
> whereas __alloc::construct (used for __alloc != std::allocator) has 
> only one!

This means in turn, that, in my opinion, the proper short term fix 
(before the
resolution of 438 becomes effective) would be adding to _Construct too an
overload with an additional Alloc argument (consistently with Matt's work
for _Destroy) and calling __alloc::construct from inside it.

I will implement it.

Paolo.