C1X 中匿名结构或联合的初始化

Question

我有以下问题：如何根据当前的C1X draft 正确初始化匿名结构（或联合）？这合法吗：

struct foo {
    int a;
    struct {
        int i;
        int j;
    };
    int b;
};

struct foo f = { 1, 2, 3, 4 };
struct foo g = { 1, { 2 }, 3 };

在 GCC 中，g.j == 0 和 g.b == 3，而在 tcc 中 g.j == 3 和 g.b == 0。目前的草案说：

“[...]结构和联合类型对象的未命名成员不参与初始化。结构对象的未命名成员即使在初始化后也具有不确定的值。”。

这真的是真的吗？不是

struct foo h = { 0 };

应该将 所有 成员设置为 0？

非常感谢！

更新：

由于匿名成员似乎只在混合结构/联合时才有用，如何正确初始化它：

struct bar {
    int tag;
    union {
        double d;
        int i;
    };
};

？这会在 gcc

struct bar a = { .tag = 1, .i = 42 };

这会在 clang 和 tcc 中产生错误，但在 gcc 和 icc 中有效：

struct bar b = { .tag = 1, { .i = 42 } };

第二个是否违反标准？

Answer 1

我还没有阅读草稿，我很确定未命名的成员和匿名成员是不同的。无名会是这样的

struct foo {
    int bar:1; /* named */
    int :31;   /* unnamed */
};

Answer 2

可以初始化结构中具有名称的所有成员。您只是不能像这样初始化中间结构。但是

struct foo f = { .a = 1, .i = 2, .j = 3, .b = 4 };

应该这样做。

Answer 3

f 和 h 应该正确初始化所有成员，因为 i 和 j 将被视为 struct foo 的成员（C1x 6.7.2.1 §13）：

匿名结构的成员 或工会被视为成员 包含结构或联合的。

考虑到 C1x 6.7.9 §9，我认为 gcc 对 g 的初始化不正确：

除非明确说明 否则，为此目的 子条款对象的未命名成员 结构和联合类型的不 参与初始化。

§20 - 处理子聚合 - 不包含与该问题相关的明确声明，所以我最好的猜测是 §9 适用（但仅适用于聚合本身，不成员！）。

底线是匿名子聚合不作为单独的对象存在，即 tcc 的行为应该是正确的......

我对这个问题的看法的示例代码：

struct foo
{
    struct bar { int i; }; // (1) unnamed, but tagged, ie *not* anonymous
    struct { int j; };     // (2) unnamed, but anonymous
    struct { int k; } baz; // (3) named, but not tagged
};

(1) 不参与初始化，(2) 像 struct foo 有一个名为 j 的附加成员一样初始化，(3) 初始化为常规子聚合。

如果我的解释是正确的，匿名结构只有包含在联合中才有意义：结构中的匿名结构与包含其他成员的平面结构没有区别。