将指针设置为悬空指针的行为

Question

我遇到过一些断言，即设置指向不是标量地址或超出标量地址的指针的行为是未定义的（对数组有类似的限制）。

所以考虑一下：

int main()
{
    int* bar;
    {
        int foo = 1;
        int* b = &foo;
        bar = b;
    }     
    int* copy = bar;    
}

int* copy = bar; 的行为是否已定义？ bar 不再指向标量，因为它超出了范围。

Answer 1

bar 的值在右括号后是不确定的。

引用 ISO/IEC 9899:2011，第 6.2.4 节 §2：

[…] 当指针指向（或刚刚过去）的对象到达其生命周期的终点时，指针的值变得不确定。

int* copy = bar; 的确切行为是模棱两可的 - 请参阅 eugene-sh 提供的 N1793 — Stability of indeterminate values in C11。