c# - 为什么 readonly 和 volatile 修饰符是互斥的？

Question

我有一个只读的引用类型变量，因为引用永远不会改变，只会改变它的属性。当我试图向它添加 volatile 修饰符时，编译警告我它不会让两个修饰符应用于同一个变量。但我认为我需要它是易变的，因为我不想在读取它的属性时出现缓存问题。我错过了什么吗？还是编译器错了？

更新 正如 Martin 在下面的评论之一中所述:在引用类型对象的情况下，readonly 和 volatile 修饰符仅适用于引用，而不适用于对象的属性。那正是我所缺少的，所以编译器是正确的。

class C
{
    readonly volatile string s;  // error CS0678: 'C.s': a field cannot be both volatile and readonly
}

Answer 1

readonly 和 volatile 修饰符都不是穿透性的。它们适用于引用本身，而不适用于对象的属性。

readonly 关键字断言并强制执行，变量 在初始化后不能更改。变量是存储引用的一小块内存。

volatile 关键字告诉编译器变量的内容可能会被多个线程更改。这可以防止编译器使用可能导致并发访问问题的优化(例如将变量的值读入寄存器并在多条指令中使用该值)。同样，这只会影响存储引用的小块内存。

这样应用，可以看出它们确实是互斥的。如果某物是只读的(只能在初始化或构造时写入一次)，那么它也不能是易变的(可以由多个线程随时写入)。

---

关于您对缓存问题的担忧，IIRC，对于编译器何时可以缓存属性调用的结果有非常严格的规定。请记住，它是方法调用，并且(从编译器的角度来看)缓存其值并跳过再次调用是一项相当繁重的优化。我不认为这是你需要过分关注的事情。