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.
