-o0编译器标志是否与C语言中的volatile关键字具有相同的效果？

Question

null

缺点：

• -o0标志将影响整个代码，而volatile关键字只影响特定变量。例如，如果我们在一个小型微控制器上工作，这可能是一个问题，因为使用-o0可能会产生一个大的可执行文件。

Answer 1

简单的回答是:volatile关键字并不意味着“不优化”。这是完全不同的东西。它通知编译器，变量可能被一些在正常程序流中编译器不可见的东西所改变。例如：

1. 它可以由硬件更改--通常是映射在内存地址空间中的寄存器
2. 可以通过从未调用的函数更改-例如中断例程
3. 变量可以由另一个进程或硬件更改-例如多处理器/多核系统中的共享内存

每次使用volatile变量时都必须从其存储位置读取volatile变量，并在每次更改时保存该变量。

int foo(volatile int z)
{
    return z + z + z + z;
}

int foo1(int z)
{
    return z + z + z + z;    
}

foo(int):
  push rbp
  mov rbp, rsp
  mov DWORD PTR [rbp-4], edi
  mov edx, DWORD PTR [rbp-4]
  mov eax, DWORD PTR [rbp-4]
  add edx, eax
  mov eax, DWORD PTR [rbp-4]
  add edx, eax
  mov eax, DWORD PTR [rbp-4]
  add eax, edx
  pop rbp
  ret
foo1(int):
  push rbp
  mov rbp, rsp
  mov DWORD PTR [rbp-4], edi
  mov eax, DWORD PTR [rbp-4]
  sal eax, 2
  pop rbp
  ret

我想差别是很明显的。volatile变量读4次，nonvolatile变量读一次，然后乘以4。

你可以在这里玩自己:https://godbolt.org/g/ritu4G

在大多数情况下，如果当您打开编译器优化时程序没有运行，那么您的代码中有一些隐藏的UBs。您应该根据需要进行调试，以发现所有这些错误。正确编写的程序必须在任何优化级别上运行。