From: David Abrahams (dave_at_[hidden])
Date: 2005-06-27 15:20:47
"Peter Dimov" <pdimov_at_[hidden]> writes:
>> Yes. Why wouldn't you want this function to require that condition?
>> Anything else is a coding error.
>
> I am reluctant to label it a coding error ("should never happen in a correct
> program"), because in general it can be very hard to ensure that the
> condition isn't violated. It's a bit like:
>
> Requires: a particular state of the library that you have no way of
> querying.
Harrumph. Isn't it the archive under construction whose state is
constrained? If you know you've put 5 elements in a vector, you don't
have to query it before calling pop_back(), do you?
-- Dave Abrahams Boost Consulting www.boost-consulting.com