Re: should postconditions be evaluated even if Exception is thrown?

[Andrei Alexandrescu]

Walter Bright wrote:
Rory McGuire wrote:
I would think that if a method in a class throws then at least the 
class' invariant should be run? does it?

No.

Well you must do as you preach. Throwing a non-Error exception does not 
absolve a method from preserving the class invariant.

Again: throwing a subclass of Exception is part of the specification and 
can happen during the working of a system.


Andrei