Re: [boost] Re: container design (Was: std::complex design (Was: N-Dimensional array))

From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-03-08 12:29:56

From: "Howard Hinnant" <hinnant_at_[hidden]>
> Meanwhile vector<double> v(10, uninitialized_flag) breaks no vector
> invariants.  The vector is destructible.  The vector elements can be
> assigned into.  If your hardware doesn't mind (mine doesn't), you can
> even assign from this uninitialized vector.  I  can't think of a reason
> why you would want to do that though.

You can't v.insert(v.begin(), 5.0) because copying the uninitialized doubles
is undefined behavior. The insert() preconditions do not say that you can't.
Something is wrong. :-)