对象或引用的一部分

Part of an object or reference

本文关键字：一部分 引用 对象      更新时间：2023-10-16

假设类A有一个成员变量(它是一个对象而不是一个引用(m.自然我会认为：当我定义一个对象"o1"时，表达式"o1.m"也是一种对象类型;当我定义引用"q1"时，表达式"q1.m"也是一种引用类型。

这个结论正确吗？我想知道标准文档中的任何相关子句C++如果它是真的(我已经搜索了它/它们一天了，但到目前为止几乎得到了所有关于"作为类成员的参考"(？

看看 §5.2.5(后缀表达式中的类成员访问，来自 N3797 C++14 草稿(：

将后缀 expression.id 表达式缩写为 E1。E2，E1称为对象表达式。E1 的类型和值类别。E2 确定如下。在 5.2.5 的其余部分，cq 表示常量或不存在常量，vq 表示易失性或不存在挥发性。cv 代表一个 任意一组 CV 限定符，如 3.9.3 中定义。

如果 E2 声明为类型为"对 T 的引用"，则 E1。E2 是一个左值;E1 的类型。E2 为 T。否则， 以下规则之一适用。

    如果 E2 是非静态数据成员，并且 E1 的类型为"cq1 vq1 X"，E2
  • 的类型为"cq2 vq2 T"，则表达式指定由第一个表达式指定的对象的命名成员。如果 E1 是左值，则 E1。E2 是一个左值;否则 E1。E2 是一个 x值。让符号 vq12 代表 vq1 和 vq2 的"联合";也就是说，如果 VQ1 或 VQ2 是易失性的，那么 VQ12 是易失性的。同样，让符号 cq12 代表 cq1 和 cq2 的"联合";也就是说，如果 CQ1 或 CQ2 是常量，则 CQ12 是常量。如果 E2 声明为可变成员，则 E1 的类型。E2 是"vq12 T"。如果 E2 未声明为可变成员，则 E1 的类型。E2 是 "cq12 vq12 T"。

该标准没有说明 E2 成为参考，即使 E1 是。明确地说，如果 E1 是引用类型而 E2 不是，则为 E1。E2 不是引用类型。

相关文章：