[boost] Re: Invariants Library

From: Dan W. (danw_at_[hidden])
Date: 2004-01-03 11:15:35

> Other people disagree:
> 
> http://www.digitalmars.com/ctg/designbycontract.html
> 
> Quote:
> 
> "Currently, contracts rely on the assert() macro aborting the program with a
> message. Perhaps this needs to be revisited, and changed to throw an
> exception instead. "
> 
> http://archive.eiffel.com/doc/manuals/technology/contract/
> 
> Quote:
> 
> "The benefits of Design by Contract include the following: [...] A technique
> for dealing with abnormal cases, leading to a safe and effective language
> construct for exception handling."
> 

Frankly, I don't give a damn what the guy at Digital Mars says.