C++编译器可以消除不被读取的易失性本地变量吗

Question

int f() {
  volatile int c;
  c=34;
  return abc();
}

int f() {
  volatile int c;
  memset((void*)&c,34, 1); 
  return abc();
}

那么按照C++标准，编译器能消除易变的int C吗？我想VC++中可能存在一些与内部函数如何优化volatile变量有关的不一致行为。

Answer 1

那么按照C++标准，编译器能消除易变的int C吗？

不，volatile限定对象用于从硬件读取或写入硬件，并且分配volatile对象的副作用是可以观察到的。

因此，根据所谓的“好像”规则对优化设置的约束，不允许符合条件的实现优化c。C++11标准第1.9/1段正式引入了“好像”规则：

-对易失性对象的访问严格按照抽象机器的规则进行评估。

-在程序终止时，写入文件的所有数据应与根据抽象语义执行程序可能产生的结果之一相同。

-交互设备的输入和输出动态应以这样一种方式发生，即在程序等待输入之前，提示输出实际上已交付。构成交互设备的是实现定义的。