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