我想知道，不管编译器如何优化，取消引用指针是否总是会被转换为机器级的Load/Store指令.
假设我们有两个线程，一个(让我们称之为Tom)接收用户输入并编写一个bool变量.该变量由另一个人(这位是曾傑瑞)读取，以决定是否继续循环.我们知道，优化编译器在编译循环时可能会将变量存储在寄存器中.因此，在运行时，曾傑瑞可能会读取与Tom实际编写的值不同的过时值.因此，我们应该将bool变量声明为volatile.
但是，如果解引用指针总是会导致内存访问，那么这两个线程可以使用指针来引用变量.在每次写入时，Tom将通过取消引用指针并向其写入来将新值存储到内存中.在每次阅读时，曾傑瑞都可以通过取消引用同一指针来真正阅读汤姆所写的内容.这似乎比依赖于实现的volatile
我是多线程编程的新手，所以这个 idea 可能看起来微不足道，也不必要.但我真的很好奇.
否，例如:
int five() {
int x = 5;
int *ptr = &x;
return *ptr;
}
任何正常的优化编译器都不会从这里的堆栈内存中发出mov，而是类似以下内容:
five():
mov eax, 5
ret
这是允许的，因为as-if rule.
bool* then?这就是std::atomic<bool>的用处.
您不应该使用非原子对象在线程之间进行通信，因为同时通过两个线程访问同一内存在C++中是未定义的行为.std::atomic使其成为线程安全的.
例如:
void thread(std::atomic<bool> &stop_signal) {
while (!stop_signal) {
do_stuff();
}
}
Technically，这并不意味着从stop_signal开始的每个加载实际上都会发生.允许编译器执行部分循环展开，如下所示:
void thread(std::atomic<bool> &stop_signal) {
// only possible if the compiler knows that do_stuff() doesn't modify stop_signal
while (!stop_signal) {
do_stuff();
do_stuff();
do_stuff();
do_stuff();
}
}
原子load()被允许观察陈旧的值，因此编译器可以假设四个load()都将读取相同的值.
只有某些操作，如fetch_add()，才需要观察最新的值.
即使到那时，这种优化也是可能的.
实际上，这样的优化在任何编译器中都不是针对std::atomic实现的，因此std::atomic是准volatile.这同样适用于C的atomic_bool，以及一般的_Atomic类型.
另见: