Question

我对易失性数组有疑问。在互联网上，大多数人说，不能保证数组的元素是易变的，只有数组的引用是可变的。所以我写了一些代码来检查它。事实证明，结果是可行的。

我正在使用Windows 10 + JDK 8

我的代码：

[attr.disabled]="disabled ? true : null"

循环总是结束，它不是无限循环。

有人可以解释吗？

Answer 1

不可能编写代码以证明数组中的元素将始终对所有线程可见。

您的示例可能证明它从某种程度上来说对您有效（我还没有运行它），但是您不确定它会一直在所有用户的所有硬件上运行。

只能编写证明某事对线程具有可见性的代码。不可能编写证明它的代码。