Boost logo

Boost :

From: Peter Dimov (pdimov_at_[hidden])
Date: 2001-10-24 13:55:22

From: "James Curran/MVP" <jamescurran_at_[hidden]>
> So, by making the count unsigned, we would be formalizing the
> precondition that is already there.

There is no precondition; there is a count >= 0 invariant. It is assert'able
with a signed count, and not assert'able with an unsigned.

Peter Dimov
Multi Media Ltd.

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