Sean Kelly wrote: > I think the only point of an 'invariant' or even a 'const' label for > member functions is just that--a way to indicate to the compiler that > the hidden context pointer is invariant or const. Yes. That is all it is. It says nothing about the purity of the function.