访问静态超出范围的未定义行为吗？

Question

在与我的一位同事交谈时，他们说：

foo() {
    int *p;
    {
        int x = 5;
        p = &x;
    }
    int y = *p;
}

创建未定义的行为，因为生命周期规则和范围规则确实如此 不指定。

但是：

foo() {
    int *p;
    {
        static int x = 5;
        p = &x;
    }
    int y = *p;
}

不是未定义的！您最终会遇到“间接范围界定”问题。

术语的使用听起来不正确。
我知道静态与范围无关。
第二种情况是否已经定义了行为？

Answer 1

是的，第二种情况具有明确定义的行为。 static 变量基本上是一个全局变量，其名称的范围仅限于声明它的范围。它在第一次进入范围时被初始化，然后在程序的整个生命周期中都存在。

所以当我们到达时

int y = *p;

p 指向一个您无法再访问（无法返回该代码）但仍具有有效生命周期的变量。

引用标准[basic.stc.static]

所有没有动态存储时长、没有线程存储时长、非本地变量都有静态存储时长。 这些实体的存储将持续到程序的持续时间

^强调我的

第一种情况是未定义的，因为本地范围 x 的生命周期在 } 处结束，并且在其生命周期结束后尝试引用它是未定义的行为。

Answer 2

引用自 here

静态存储类指示编译器在程序的生命周期内保持局部变量的存在，而不是在每次进入和离开范围时都创建和销毁它。因此，将局部变量设为静态允许它们在函数调用之间保持其值。

所以是的，在第二种情况下，x 在程序的整个生命周期内都存在。

因此定义了行为。