C++中的volatile与mutable

Question

我对volatile和mutable之间的区别有疑问.我注意到这两个都意味着它可以改变.还有什么？它们是一样的吗？有什么不同？它们适用于哪里？为什么提出这两个想法？如何以不同的方式使用它们？

非常感谢.

Answer 1

甲mutable字段即使在通过访问的对象来改变const指针或引用,或在一个const对象,所以编译器知道不藏匿它R/O存储器.一个volatile位置是一个可以通过代码编译器不知道的(例如,一些内核级驱动程序)来改变,所以编译器知道没有优化如无效的假设下寄存器值的分配的值"不可能有改变了"因为它最后一次加载到该寄存器中.为编译器提供了非常不同类型的信息,以阻止非常不同类型的无效优化.

Answer 2

mutable:mutable关键字覆盖任何封闭的const语句.可以修改const对象的可变成员.

volatile:volatile关键字是一个依赖于实现的修饰符,在声明变量时使用,这会阻止编译器优化这些变量.Volatile应该与变量一起使用,其值可能以意外的方式(即通过中断)发生变化,这可能与编译器可能执行的优化冲突.

资源

Answer 3

他们绝对不是一回事.Mutable与const交互.如果你有一个const指针,你通常无法更改成员.Mutable为该规则提供了一个例外.

另一方面,易失性与程序的变化完全无关.这意味着内存可能因编译器无法控制的原因而发生更改,因此编译器必须每次都读取或写入内存地址,并且无法将内容缓存在寄存器中.

Answer 4

一种粗略但有效的思维方式是:

• 编译器知道可变对象何时更改.
• 编译器无法知道volatile对象何时发生更改.

Answer 5

标记的变量mutable允许在声明的方法中修改它const.

标记的变量volatile告诉编译器每次代码都告诉它必须读/写变量(即它不能优化对变量的访问).

Answer 6

我想补充一点，在处理多线程应用程序时，易失性也非常有用，即，您有主线程（main() 所在的位置），并且您生成一个工作线程，当变量“app_running”为 true 时，该线程将继续旋转。main() 控制“app_running”的真假，因此如果没有在“app_running”的声明中添加 volatile 属性，如果编译器优化了辅助线程运行的代码中对“app_running”的访问，main( ）可能会将“app_running”更改为 false，但辅助线程将继续运行，因为该值已被缓存。我在 Linux 和 VisualC++ 上使用 gcc 看到了相同的行为。“app_running”声明中的“易失性”属性解决了这个问题。因此，在这种情况下，不会涉及硬件中断或内核来更改此类变量的值。