Dlang 不可变引用：如何禁止重新赋值？

Dlang 语言提供了 'invariant' 关键字来声明不可变引用，该引用在初始化后不能被重新赋值为同类型的其他引用。这意味着您不能将一个不可变引用重新指向另一个相同类型的对象。

例如，假设您有一个名为 'People' 的类，并且希望创建一个不可变的引用 'two'，它指向一个 'People' 对象：

class People
{
    int age;
    invariant this() { age = 0; }
    invariant void opAssign(People other) { assert(false, 'Cannot reassign People object'); }
}

void main()
{
    People one = new People();
    const People two = new People();

    one.age = 10; // 正常操作
    //two.age = 20; // 编译错误，因为two是一个不可变的引用

    //one = two; // 编译错误，因为two是同类型的另一个引用

    //one = 10; // 编译错误，因为one是一个People对象的引用
}

在上面的代码中：

• invariant this() 函数在对象初始化时被调用，将 'age' 设置为 0。
• invariant void opAssign(People other) 函数在赋值操作时被调用，使用 assert 函数阻止重新赋值操作。
• const People two = new People(); 声明了一个名为 'two' 的不可变引用，它指向一个 'People' 对象。

尝试对 'two' 进行重新赋值操作或修改其属性都会导致编译错误，因为 'two' 是不可变的引用。

通过使用 'invariant' 关键字，您可以确保某些引用在程序执行过程中保持不变，从而提高代码的安全性并防止意外修改。