C# 中 volatile 关键字的解读

volatile 关键字表示字段可能被多个并发执行线程修改。声明为 volatile 的字段不受编译器优化（假定由单个线程访问）的限制。这样可以确保该字段在任何时间呈现的都是最新的值。

volatile 修饰符通常用于由多个线程访问而不使用 lock 语句（C# 参考） 语句对访问进行序列化的字段。有关在多线程方案中使用 volatile 的示例，请参见如何：创建和终止线程（C# 编程指南）。

volatile 关键字可应用于以下类型的字段：

• 引用类型。
• 指针类型（在不安全的上下文中）。请注意，虽然指针本身可以是可变的，但是它指向的对象不能是可变的。换句话说，您无法声明“指向可变对象的指针”。
• 整型，如 sbyte、byte、short、ushort、int、uint、char、float 和 bool。
• 具有整数基类型的枚举类型。
• 已知为引用类型的泛型类型参数。
• IntPtr 和 UIntPtr。

可变关键字仅可应用于类或结构字段。不能将局部变量声明为 volatile。

通过将 volatile 与 _shouldStop 数据成员一起使用，可以从多个线程安全地访问此成员，而不需要使用正式的线程同步技术，但这仅仅是因为 _shouldStop 是 bool。这意味着只需要执行单个原子操作就能修改 _shouldStop。但是，如果此数据成员是类、结构或数组，那么，从多个线程访问它可能会导致间歇的数据损坏。假设有一个更改数组中的值的线程。Windows 定期中断线程，以便允许其他线程执行，因此线程会在分配某些数组元素之后和分配其他元素之前被中断。这意味着，数组现在有了一个程序员从不想要的状态，因此，读取此数组的另一个线程可能会失败。