我们可以访问不存在的类类型对象的成员吗？

Question

在 c++ 标准中，[basic.lval]/11.6 中说：

如果程序尝试通过以下类型之一以外的左值访问对象的存储值，则行为未定义：[...]

• 一种聚合或联合类型，在其元素或非静态数据成员（递归地包括子聚合或包含联合的元素或非静态数据成员）中包含上述类型之一，[...]

这句话是严格别名规则的一部分。

它允许我们通过类成员访问别名吗？

class A{ //"casted to" aggregate
  int i;
  float g;
  };

int j=10;
int l = reinterpret_cast<A*>(&j)->i;

根据标准，对象值只有在对象经过lvalue-to-rvalue-conversion[conv.lval]/2时才会被访问。

[expr.ref] 没有规定 object-expression 必须引用该类型的对象，只是规定 glvalue 必须具有类类型（object-expression是点“.”左边的表达式）。然而，有一个词经常出现在与成员访问相关的句子中，这可能意味着对我忽略的程序的限制。例如[expr.ref]/4.1:

如果E2是一个静态数据成员并且E2的类型是T，那么E1.E2是一个左值；表达式指定类的命名成员。

“指定”是否意味着该成员在其生命周期内，并且我不能使用类成员访问来执行别名？还是[basic.lval]/11.6允许的？

Answer 1

对于非静态数据成员，字为：

如果 E2 是非静态数据成员并且 E1 的类型是“cq1 vq1 X”，并且 E2 的类型是“cq2 vq2 T”，则表达式指定 对象的命名成员 由第一个表达式指定。

显然*reinterpret_cast<A*>(&j)指定的对象，即j，没有成员，所以行为是undefined by omission。