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

Question

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

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 "如果构造函数可以创建唯一对象（例如，如果它是纯对象），则该对象可以隐式转换为任何限定符。"

顺便说一句：其他纯函数的返回值也隐式转换。

// 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
}

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