Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at