[boost] Re: Invariants Library

From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2004-01-03 01:42:30

"Dan W." <danw_at_[hidden]> wrote in message
news:bt5m9u$ken$1_at_sea.gmane.org...
> > Throwing an exception is sometimes a lot better than terminating the
entire
> > program. Imagine
> > a big application in which a sub-app fails. So how does Eiffel document
> > exceptions?
>
> I never said or implied that exceptions are "bad".

Sorry if you understood it like that :-) I never meant to imply that.

>Precisely, the DBC
> 'fuses' are only compiled in debug mode because you don't want to stop
> the application out there in the real world.

Often it is better to terminate() than letting a program continue on
undefined behavior; especially in
languages with unsafe pointers.

br

Thorsten