标准中变体成员的定义

Question

[class.union.anom]/4

  

类联合类是联合或具有匿名联合的类   作为直接成员。类联合类const imagesRe = new RegExp(/\.(jpe?g|png|gif)$/, 'i'); 具有一组变体   成员。如果X是联合，则X的非静态数据成员即   不是匿名联合是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之类的并集的变体成员。