I just got it! (invariant/const)

[Jason House]

Georg Wrede Wrote:

> Simen Kjaeraas wrote:
> > On Wed, 09 Apr 2008 15:40:37 +0200, Janice Caron wrote:
> 
> >> You know that. I know that. Why would anyone think it strange?
> > 
> > I think it is because invMemberFunc is invariant. Many read this as
> > "will not change anything", even though it is not what it means.
> 
> I seriously think the problem is with the phrase "invMemberFunc is 
> invariant".
> 
> This leads people to think invariantness is a property of the function, 
> instead of it merely requiring an invariant "this".
> 
> Maybe we should figure out another way of stating it.

Is that really the best solution?  Why not have do what people nievely think it does?  The code optimizer would benefit from that as well.