What guarantees does D 'const' provide, compared to C++?

[Chris Cain]

On Friday, 17 August 2012 at 00:44:20 UTC, Chris Cain wrote:
> Also, D's const is _not_ a guarantee that there are no mutable 
> references to something. That'd be immutable.

And, by the way, I'd call this a bug (not sure if reported yet):



int yourGlobalCounter;

struct S
{
     int*[] items;

     this(int i)
     {
         items = new int*[1];
         items[0] = &yourGlobalCounter;
         yourGlobalCounter = i;
     }

     ref const(int*[]) getItems() const
     {
         ++yourGlobalCounter;
         return items;
     }
}

import std.stdio;

void main() {
     immutable(S) s = immutable(S)(0);
     auto it = s.getItems();
     writeln(*it[0]);
     s.getItems();
     writeln(*it[0]);
}