联合中未命名结构的同名成员是错误还是 GCC 错误？

Question

下面的代码可以在Visual C++编译成功。我喜欢它，它很甜！

#include <stdio.h>

#ifdef _MSC_VER
    #pragma warning(push)
    #pragma warning(disable:4201)
    #pragma pack(push,1)
    #define PACKED
#else
    #define PACKED __attribute__ ((__packed__))
#endif

union A {
    struct {
        int a:1;
        int b:2;
        int c1:29;
    }PACKED;
    struct {
        int a:1;
        int b:2;
        int c2:28;
        int d:1;
    }PACKED;
    int val;
}PACKED;

#ifdef _MSC_VER
    #pragma pack(pop)
    #pragma warning(pop)
#endif
#undef PACKED

int main(){
    A test;
    test.val = 0x1078FFF7;
    printf("sizeof(A): %d, test.a: %d.\n", sizeof(A), test.a);
    return -1;
}

使用 MSC 构建的文件输出：

sizeof(A): 4, test.a: -1.

但是在GCC，包括最新的gcc-7，编译失败，:(

struct.cpp:13:15: error: redeclaration of ‘signed char:1 A::<unnamed struct>::a’
     int a:1;
           ^
struct.cpp:7:15: note: previous declaration ‘signed char:1 A::<unnamed struct>::a’
     int a:1;
           ^
struct.cpp:14:15: error: redeclaration of ‘signed char:2 A::<unnamed struct>::b’
     int b:2;
           ^
struct.cpp:8:15: note: previous declaration ‘signed char:2 A::<unnamed struct>::b’
     int b:2;
           ^

这是 GCC 中的错误吗？

---

_{感谢您的cmets，我刚刚明白这个问题可能对C无效；但对于 C++ 部分，我仍然有顾虑。我个人喜欢 Visual C++ 编译行为，它可以在我的场景中节省大量代码}

Answer 1

6.7.2.1 Structure and union specifiers 说：

类型说明符是不带标签的结构说明符的未命名成员称为匿名结构；类型说明符是没有标记的联合说明符的未命名成员称为匿名联合。 匿名结构或联合的成员被视为包含结构或联合的成员。如果包含结构或联合也是匿名的，则递归适用。

（强调我的）

因此，基于此，基本上就像您拥有：

union A
{
    int a:1;
    int b:2;
    int c1:29;

    int a:1;
    int b:2;
    int c2:28;
    int d:1;

    int val;
};

这显然是无效的，并且 gcc 会正确发出诊断信息。

Answer 2

这不是 GCC 中的错误。

语言标准不允许这样做。但是 Visual C++ 确实允许编译 Windows 头文件。事实上，如果你不想使用微软编译器来编译 Windows 头文件，那么你需要使用

#define NONAMELESSUNION

在#include <windows.h> 之前。这在当时似乎是个好主意。

参考：What are anonymous structs, and more importantly, how do I tell windows.h to stop using them?

Answer 3

已经在 P.P. 的回答和 cmets 中讨论过，您想要的不正确，而 GCC 的行为正确。但是满足您需求的一个简单解决方法可能是您在第二个结构中重命名 a 和 b：

union A {
    struct {
        int a:1;
        int b:2;
        int c1:29;
    }PACKED;
    struct {
        int unused_name_a:1;
        int unused_name_b:2;
        int c2:28;
        int d:1;
    }PACKED;
    int val;
}PACKED;

这在 GCC 和 Clang 中对我有用，并且仍然可以让你的技巧很好地发挥作用。