用自身初始化 C++ const 变量

Question

刚才我遇到了以下类型的错误：

#include <iostream>

const int i = i;

int main(void)
{
    /* not allowed by default, but with -fpermissive */
    //const int i;
    /* allowed by default, even without -fpermissive. Seems to initialize to 0 */
    for ( int j = 0; j < i; ++j )
        std::cout << "hi";
    /* i = 0 */
}

编译：

g++ const-init.cpp -Wall -Wextra -pedantic -O2

因为编译器默默地将 i 初始化为 0，所以一些循环被优化掉了。由于复制粘贴错误而发生错误。

此“功能”是否有效和/或在某处记录？它有什么用？有名字吗？

编辑：没有 -O2 g++ 的行为就像我希望它的行为：它发出以下错误

const-init.cpp:8:19: warning: ‘i’ is used uninitialized in this function [-Wuninitialized]
     const int i = i;
                   ^

那么为什么编译器在使用-O2标志时会假设i为0，甚至因为这个假设而删除了整个循环呢？

Answer 1

它的名字是“未定义的行为”，将i 设置为 0 只是一种可能的结果。