Constancy of invariants

[Stewart Gordon]

On 29/01/2012 16:46, Daniel Murphy wrote:
<snip>
>> And what's your view?  Should we make invariants automatically const?
> Yes, probably.  Once downside is that any private methods you want to call
> will need to be const-correct.
<snip>

But if you want your class to be const-usable at all, the invariant needs to be const 
regardless whether we make it automatic or not.

Stewart.