Re: [boost] Design and documentation of Boost.Threads

From: Kevin S. Van Horn (kevin.vanhorn_at_[hidden])
Date: 2001-11-13 10:22:00

On Mon, 12 Nov 2001, Peter Dimov wrote:

> Strictly speaking "an exception is thrown when a precondition is not met" is
> an oxymoron. Not meeting a precondition invokes undefined behavior.

No, it's not an oxymoron; it just can't be guaranteed behavior.  You'll
notice from my other comments that I am generally wary of specifying that
an exception *will* be thrown when a logical (programmer) error occurs.  I
tend to prefer language such as "implementations *may* throw an
exception if this error is detected, and if so, are encouraged to throw
exception X," to make it clear that we're not guaranteeing anything.