在课堂上重新安排会员申报的规则

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

“备用有效程序”指的是这样一种情况，其中类中元素的每个排序产生对程序的有效解释，但含义根据顺序而改变 。

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

为此，您必须在类中使用已在类外部定义其他含义的名称。 例如：

typedef void *T;

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

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

但是，如果我们重新排列这两个，那么：

typedef void *T;

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

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