...true. If your class allows people to invalidate the invariant by assigning to public member...

...to private member data, and you can invalidate an invariant. Granted, having an invariant with...

...an invariant, however.

The problem with an @invalidate property is the user has to go...

...system. Being able to write methods that invalidate the object can be useful IMHO.
At...

...internally. SLists stableInsertAfter and stableLinearRemove do not invalidate ranges, so at least for single thread...

...if noFoo is unchanged, changes to fooS may be enough to invalidate predicate1.

Bye,
bearophile

...kind of D design changes would really invalidate a significant amount of work done on...

...of something.

One counter example does not invalidate my point. Especially when the example is...

...gmail.com



Although I agree, this would invalidate pretty much all of the examples in...

...binary is updated, that's sufficient to invalidate and force a re-run of each...