Le 20/06/2012 15:13, Christophe Travert a écrit :
OK, that was not the right argument. Const is transitive according to the spec. Making it not transitive would break the mutable< const< immutable design. You're trying to make an exception for data hidden behind a delegate, which is a dangerous thing.
Nothing is const by itself. Things are mutable or immutable. const means mutable or immutable. Things are const only in the eyes of code manipulating the mutable or immutable data.
Immutable require to be transitive. Const need to respect immutability transitivity. This means const transitivity most of the time, but in fact, the real constraint is immutability transitivity.
