创建一个始终返回零的函数，但优化器不知道

Question

我想创建一个总是返回零的函数，但这个事实对优化器来说不应该是显而易见的，这样使用该值的后续计算就不会因为“已知的零”状态而发生常量折迭。

int zero() {
  return 0;
}

然而，我需要的东西与LTO和尽可能多的未来聪明的优化工作以及。我考虑过从一个全球性的：

int x;

int zero() {
  return x;
}

...但在我看来，一个足够聪明的编译器可能会注意到x从未被写入，并且仍然决定zero()始终为零。

我考虑过使用volatile，比如：

int zero() {
  volatile int x = 0;
  return x;
}

Answer 1

如果一个编译器能弄清楚这一点，我会很惊讶：

int not_a_zero_honest_guv()
{
    // static makes sure the initialization code only gets called once
    static int const i = std::ifstream("") ? 1:0;
    return i;
}

int main()
{
    std::cout << not_a_zero_honest_guv();
}

这使用了一个复杂的、（不可预测的）函数本地静态的运行时初始化。如果调皮的小编译器发现一个空的文件名总是会失败，那么就把一些非法的文件名放进去。