immutability - 如何创建对不可变类的可重新分配引用？

Question

如何创建对不可变类的引用，同时保持重新分配引用的能力，有点像字符串？

import std.stdio;

immutable class Test {
    string test(){
        return "test";
    }
}

void main(){
    auto test = new Test;
    writeln(test.test);
}

这会导致错误，因为创建的实例不是不可变的:

test.d(14): Error: immutable method test.Test.test is not callable using a mutable object

new immutable 也不起作用，因为之后无法为结果变量分配新的变量。

immutable(Test)* 可以，但是有没有办法避免指针？

Answer 1

使用 std.typecons.Rebindable http://dpldocs.info/experimental-docs/std.typecons.Rebindable.html#examples

import std.typecons;
class Widget { int x; int y() const { return x; } }
auto a = Rebindable!(const Widget)(new Widget);
// Fine
a.y();
// error! can't modify const a
// a.x = 5;
// Fine
a = new Widget;