类中成员声明的重新排序规则

Question

我正在阅读 c++14 N3797，我遇到过 3.3.7/1：

如果对类中的成员声明重新排序会产生一个替代的有效 (1) 和 (2) 下的程序，程序格式错误，没有诊断 必填。

有（1）和（2）：

1) 类中声明的名称的潜在范围不仅包括 在名称的声明点之后的声明区域， 还有所有函数体，默认参数， 异常规范和大括号或等式初始化器 该类中的非静态数据成员（包括嵌套中的此类内容 类）。

2) 在类 S 中使用的名称 N 应引用相同的声明 它的上下文以及在 S 的完整范围内重新评估时。否 违反此规则需要进行诊断。

如果我们这样写：

class A
{
    int a;
    int b;
}

那么程序格式错误。重新定义成员声明会产生一个替代的有效程序：

class A
{
    int b;
    int a;
}

我可能没有正确理解这条规则吗？

Answer 1

“替代有效程序”是指类中元素的每个排序都会产生对程序的有效解释，但含义会根据排序而变化。 p>

在您的情况下，允许更改 a 和 b 的顺序，但是由于它们的相对顺序不会影响程序的含义，因此定义了行为。 p>

为此，您必须在类中使用一个名称，该名称已在该类之外具有其他含义。例如：

typedef void *T;

struct whatever {
    T a;
    typedef long T;
};

这里a的声明和T的typedef的相对顺序影响了代码的含义。正如现在所写的那样，a 的类型为 void *，因为当解析 T a; 时，全局 typedef void *T; 在范围内。

但是，如果我们将两者重新排列为：

typedef void *T;

struct whatever {
    typedef long T;
    T a;
};

...T a; 等价于long a;。由于两个声明的相对顺序，程序的含义不同，所以行为是未定义的。