From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-11 21:59:08
>Again, std::vector::at() exists for precisely this reason, and C++
>programmers use it in precisely the same manner as IndexError is
>used. I don't agree that we have a completely different culture in
>this case. There are many C++ programmers that want, even need, to
>insure their programs never crash... that they can catch errors,
>possibly handle them, and continue running.
Throwing for DbC violations is not going to help you reach this goal.
Once this happens you know you've found a bug but there's no way to
know if you've found it early enough to avoid corrupting the state of
the system. I think most software of this ilk would rather shutdown
than chance continuing with a possibly corrupt app.
-- Jesse