Fully transitive const is not necessary

Simen Kjaeraas simen.kjaras at gmail.com
Wed Apr 2 07:37:34 PDT 2008


On Wed, 02 Apr 2008 16:04:36 +0200, Steven Schveighoffer  
<schveiguy at yahoo.com> wrote:

> - a pure method cannot access the mutable portion of a logically  
> invariant data value.

Wouldn't this basically make it transitive invariant?



More information about the Digitalmars-d mailing list