是否可以防止 D2 中变量的非传递性重新分配？

Question

是否可以防止 D2 中变量的非传递性重新分配？

例如：

final int[] a = [0];
a[0] = 1; // OK.
a = []; // ERROR.

我在这里只看到 const 和 immutable ： http://www.dlang.org/const3.html

Answer 1

不。你拥有的是 const 和 immutable，它们是可传递的（如果不是的话，它们真的无法工作）。你可以做，

const(int)[] a = [0];
a[0] = 1; // ERROR.
a = []; // OK;

但不是你想要的。

当 const 和 immutable 具有传递性时，编译器可以提供更好的保证。此外，不可变对于线程确实没有任何用处（其存在的主要原因之一），除非它是可传递的，并且因为任何不可变都必须能够< code>const、const 也必须是传递的。因此，它们必然不能用于简单地防止变量重新分配。并且该语言中没有其他结构可以这样做。