|Posted by Steven Schveighoffer|
in reply to guslay
Posted in reply to guslay
> Just a quick reply, I still this it should be discussed elsewhere...
I like this forum, as it allows people to make points where people who might be interested are usually listening. Walter also at least reads the NG. Outlook Express automatically threads the NG for me, so if there is a thread I'm not interested in, I just ignore it (the web interface sucks, don't use it :) ). Another form of discussion might not be heard by people who have good ideas, and I'd rather everything be open. If people don't want to discuss this, just ignore the thread.
> More drastically,
> - Forbid invariant object with mutable members to take any part in pure
I don't think this is possible without fully transitive const, as the compiler cannot be sure that a derived class or concrete implementation does not use mutable members. This could be accomplished with extra tagging, i.e. transitive invariant / logical invariant. That being said, I don't think this is necessary.
> To only things I see that can break a pure method are:
> - If A is abstract type, can the concrete type of the object subvert the purity analysis.
Since a pure function can only call other pure functions, purity is fully transitive (and has to be in order to be statically verified), and therefore you cannot subvert the purity analysis in a derived type because you should only be able to implement/override a pure method signature with a pure method.
However, the cheats below can do this, so this is really a result of one of the cheats :)
> - Casting inside the pure function.
I think this should be allowed, but undefined, just like casting away const is. There may be cases where casting can allow for a huge optimization, and still be a pure function, but there is no way to statically analyze it.
> - Invariant parameter not really invariant.
> - Aliasing.
Not sure what you mean here...
> All those things are some sort of cheating, and those have nothing to do with mutable members.
> I still believe!