Don wrote:
Walter Bright wrote:
Brad Roberts wrote:
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.
Do you consider that broken or correct?
Not sure.
I think it has to. Otherwise, how can the caller restore the invariant?
Note that once the invariant is invalid, it can't call any member
functions! The only thing it could do is delete the object.
s/delete the object/terminate the program ASAP/
Andrei
