C ++中的volatile与mutable

Question

I have a question about the difference between volatile and mutable. I noticed that both of the two means that it could be changed. What else? Are they the same thing? What's the difference? Where are they applicable? Why the two ideas are proposed? How to use them in different way?

Thanks a lot.

Answer 1

A mutable field can be changed even in an object accessed through a const pointer or reference, or in a const object, so the compiler knows not to stash it in R/O memory. A volatile location is one that can be changed by code the compiler doesn't know about (eg some kernel-level driver), so the compiler knows not to optimize eg register assignment of that value under the invalid assumption that the value "cannot possibly have changed" since it was last loaded in that register. Very different kind of info being given to the compiler to stop very different kinds of invalid optimizations.

Answer 2

mutable : The mutable keyword overrides any enclosing const statement. A mutable member of a const object can be modified.

volatile : The volatile keyword is an implementation-dependent modifier, used when declaring variables, which prevents the compiler from optimizing those variables. Volatile should be used with variables whose value can change in unexpected ways (ie through an interrupt), which could conflict with optimizations that the compiler might perform.

Source

Answer 3

They are definitely NOT the same thing. Mutable interacts with const. If you have a const pointer, you normally could not change members. Mutable provides an exception to that rule.

Volatile, on the other hand, is totally unrelated to changes made by the program. It means that the memory could change for reasons beyond the control of the compiler, therefore the compiler has to read or write the memory address every time and can't cache the content in a register.

Answer 4

A crude but effective way of thinking of the difference is:

• The compiler knows when a mutable object changes.
• The compiler cannot know when a volatile object changes.

Answer 5

A variable marked mutable allows for it to be modified in a method declared const .

A variable marked volatile tells the compiler that it must read/write the variable every time your code tells it too (ie it cant optimize away accesses to the variable).

Answer 6

I would like to add that volatile is also very useful when dealing with multithreading applications, ie, you have your main thread (where main() lives) and you spawn a worker thread that will keep spinning while a variable "app_running" is true. main() controls whether "app_running" is true or false, so if you do not add the volatile attribute to the declaration of "app_running", if the compiler optimizes access to "app_running" in the code ran by the secondary thread, main() might change "app_running" to false but the secondary thread will keep running because the value has been cached. I have seen the same behavior using gcc on Linux and VisualC++. A "volatile" attribute put in "app_running" declaration solved the problem. So, this is scenario where no hardware interrupts or kernel is invoved in changing the value of such variables.