Re: bounds checking in array.hpp

From: William Kempf (sirwillard_at_[hidden])
Date: 2000-12-18 17:29:48

--- In boost_at_[hidden], "Jeff Paquette" <paquette_at_m...> wrote:
> Where I work we have three basic assertion macros for  design-by-
contract:
> Assert, Require, and Ensure. Require's are for preconditional 
checks, Ensure
> are postconditions, and Asserts are for algorithmic checking (ie, 
in-process
> states).

How do Require and Ensure differ from Assert?  When inheritance works 
there's an important distinction, but I'm not sure I see a reason for 
different macros with out this.

Bill Kempf