c++ - 令人费解的编译器优化结果

Question

如果我尝试像这样运行一个循环:

int i;

for (i = 0; i < 1e9; i++)
{
    1 + 1;
}

编译器将其完全优化，甚至不运行它。但是，如果我将 int i 设置为静态，那么它会继续运行循环，即使我进行了更高的迭代也是如此。这是在 Visual Studio 2013 中，在 Release模式下打开了优化。

Answer 1

很明显，循环体是一个空操作。循环的唯一作用是更改i 的值。当i有自动存储时，编译器可以证明i的值在循环后永远不会被读取。因此，整个循环没有任何效果，可以丢弃。

但是，当 i 是 static 时，它的生命周期会超出函数的单次调用。因此，i的值是一个副作用，不能丢弃循环。

您可能会争辩说，编译器可以更深入地挖掘并证明即使是 static i 也从未被读取，但这是一个更难证明的事情。