How to break const

[Andrei Alexandrescu]

On 6/18/12 1:35 AM, Matthias Walter wrote:
> On 06/18/2012 08:19 AM, Mehrdad wrote:
>> On Monday, 18 June 2012 at 06:14:22 UTC, Matthias Walter wrote:
>>> Its not, that a const method cannot modify an object, it just
>>> ensures that the const method cannot modify the object *by using
>>> the this-pointer*.
>>
>>
>>
>> I see...
>>
>>
>> So that means you /can't/ tell something just by looking at a part
>> of the code, right?
>>
>> (Just mentioning this since this idea seemed to be emphasized a lot
>> by D.)
>
> Yes, you are right with that.

Actually things are a fair amount subtler. On the face of it, immutable 
does fulfill the OP's expectation. But even for const code, there's 
still a lot of guarantees that can be inferred depending on the types 
involved.

Andrei