类 /结构的成员的地址订购

Question

C ++ 23草案规定，后来的结构或类的非静态数据成员必须具有更高的地址。 AFAIK较早的标准也需要部分，但是有一些规则，允许编译器重新排序这些数据成员时。谁能告诉我哪些规则完全适用？

Answer 1

从最新的C ++ 23草稿中：

[expr.rel]

将不平等指针与对象进行比较的结果是根据与以下规则一致的部分顺序定义的：

• 如果两个指针指向同一对象的不同非静态数据成员，或者指向此类成员的子对象，则需要递归，以后，要求后来声明的成员的指针比较更大他们的班级不是工会。

非静态成员的分配顺序是该规则的必要结果。该规则是由注释引用的：

[class.mem.general]

[注8：非零大小（[Into.Object]）的非变化的非静态数据成员，因此以后的成员在类对象中具有较高的地址（[Expr.rel]）。

---

在提案P1847之前的C ++ 11-20中，规则是：

• 如果两个指针指向同一对象的不同非静态数据成员，或者指向此类成员的子对象，则需要递归，要求后来声明的成员的指针以更大的范围比较两个成员具有相同的访问控制（[class.Access]），这两个成员都不是零大小的子对象，他们的类不是联合。
• 否则，不需要指针比其他指针更大

C ++ 23的比较，允许编译器重新订购具有不同访问控制的成员。示例：

struct s {
    int a;
protected:
    int b;
};

s ab;
// value of c is implementation dependent in C++20
// value of c is true in C++23
bool c = &ab.a < &ab.b;

主要编译器除声明顺序外，实际上还没有使用其他任何内容。

C ++ 03更加放松，尽管巧妙：

[class.mem]

（非工会）类别的非静态数据成员声明未介入访问指定符，以便
后来的成员在类对象中具有更高的地址。非静态数据成员分配的顺序分开
由访问专业人士未指定（11.1）。

---

[expr.rel]

• 如果两个指针指向同一对象的非静态数据成员，或者指向该对象的子对象或数组元素
  递归地，如果两个成员是
  不被访问专业标签（11.1）隔开，并提供其班级不是工会。
• 如果两个指针指向由访问特征标签隔开的同一对象的非静态数据成员（11.1）
  结果未指定。