On 07/11/2012 04:02 AM, Andrei Alexandrescu wrote:
On 7/10/12 9:45 PM, Timon Gehr wrote:
I do not desire logical const as a language feature. But conservative
type systems are not good for everything. The root of the class
hierarchy needs to be good for everything. Object is not an adequate
root any more.
How about we consider just stiffening that upper lip and implement
comparison and hashing without modifying their target?
Andrei
It is promising that they never will in any derived class with no
obvious way out for no benefit that I struggle with.
