标准中变体成员的定义

Question

[class.union.anom]/4

类似联合的类是联合或具有匿名联合的类 作为直接会员。类似联合的类X 有一组变体 成员。如果X 是一个联合，则X 的一个非静态数据成员是 not an anonymous union 是 X 的变体成员。 此外，一个 属于X 成员的匿名联合的非静态数据成员 也是X的变体成员。至多一个变体成员 union 可能有一个默认的成员初始化器。

英语不是我的母语，但仅通过阅读本段，我就有一种印象，上面突出显示的句子仅适用于 X 是一个联合的情况，这会使这个定义不完整，因为它会错过类中变体成员的定义。因此，我必须得出结论，突出显示的句子必须适用于工会和阶级这两种情况。谁能证实这一点？如果不是这样，那么我认为我们在这一段中存在缺陷。

Answer 1

我的印象是上面突出显示的句子仅适用于 X 是联合的情况

突出显示的句子适用于任何具有匿名联合成员的类联合类X。 X 可能是非联合类。

一个例子：

struct X {      // union-like, non-union class X
    union {     // anonymous union member of X
        int i;  // non-static data member of anonymous union
        float f;
    }
}

i 和 f 是联合体的变体成员，如类 X，根据突出显示的规则。