为什么全局变量在编译时不知道？

Question

在 C++ 中，我知道如果我在 function 中声明了一个变量，则该变量实际上被视为auto局部变量（一旦 ZC1C425268E68385D1AB5074C17A94F14 确实return就被销毁）。 因此，有理由认为，局部变量不能像constexpr变量的初始化程序那样出现在常量表达式中，因为它在运行时就知道，它需要在其中声明要执行的 function 并且仅在运行时发生。

int x { 10 };
constexpr int y { x }; //error: x should be const

int main()
{
    //..
}

我的问题是，如果这个变量是全局的会发生什么？ 所以不需要执行运行时函数来知道x的值，因为它不属于任何函数？ 我的问题，换句话说，编译器什么时候知道这个变量x的值

我已经知道，如果变量x是 const，那么x将是一个常量表达式，但这是为什么呢？

Answer 1

在您的特定示例中，编译器可能知道。 它只是不必。

但是如果你有

int x { 10 };
someclass trix{};
constexpr int y { x }; //error: x should be const

现在trix的构造函数可以修改x ，编译器不知道。 特别是如果 trix.cpp 在主文件之后编译。