d - 在D中结合不可变和普通构造函数？

Question

是否可以编写一个构造函数而不是两个构造函数，并且仍然能够创建普通对象和不可变对象(immutable对象)？编写普通的和不可变的构造函数是很多重复的工作。

class ExampleClass
{
    void print() const
    {
        writeln(i);
    }

    this(int n)
    {
        i = n * 5;
    }

    this(int n) immutable
    {
        i = n * 5;
    }

private:
    int i;
}

Answer 1

使构造函数pure它可以隐式转换为任何限定符。

this(int n) pure
{
    i = n * 5;
}

auto i = new immutable ExampleClass(2);
auto m = new ExampleClass(3);

记录在这里:
http://dlang.org/class.html “如果构造函数可以创建唯一对象(例如，如果它是纯对象)，则该对象可以隐式转换为任何限定符。”

BTW:其他纯函数的返回值也隐式转换。

// returns mutable...
char[] cool() pure {
    return ['c', 'o', 'o', 'l'];
}

void main() {
    char[] c = cool(); // so this obviously works
    string i = cool(); // but since it is pure, this works too
}

那里的工作原理相同，它是独一无二的，因此也可以假定它是共享的或不可变的。