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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk