是通过未初始化的指针UB访问静态类成员吗？

Question

这个问题的后续问题

我们有以下代码：

#include <iostream>

struct A 
{
    static int n;
};

int A::n = 5;

int main() 
{
    A* a; //uninitialized on purpose
    std::cout << a->n; //UB?
}

这种访问是一种未定义的行为吗？一方面，不需要对象来访问静态类成员，另一方面，运算符

注意：GCC和MSVC在没有任何警告的情况下编译此代码，Clang抱怨未初始化的使用。https://godbolt.org/z/Gy5fR2




Answer 1

匿名用户

< code >的语义

...计算点或箭头之前的后缀表达式...表达<代码> E1-

还有一个脚注说：

如果对类成员访问表达式求值，即使结果不需要确定整个后缀表达式的值，也会进行子表达式求值（例如，如果id表达式表示静态成员）。

在这种情况下，计算表达式*a。由于a是一个未初始化的自动变量，因此[dcl.init]/12适用：

如果评估产生不确定的值，则行为未定义，除非在以下情况下：[…]

评估< code>*a显然需要访问指针变量< code>a的值，这是一个不确定的值，因此它是UB。