如何跨多平台一致实现标记联合体？解决Windows Clang兼容问题

核心问题分析 #

1. 枚举大小不符合预期：__attribute__((packed)) 对枚举类型无效，C标准中枚举的默认底层类型是int（通常4字节），编译器不会通过packed属性缩小其大小。
2. 0长度数组不兼容：int8_t empty[0]是GNU扩展，Windows平台的Clang和MSVC均不支持该语法。

跨平台修正代码 #

#include <stdint.h>
#include <stdio.h>
#include <stddef.h>

// 跨平台静态断言宏
#ifdef _MSC_VER
#define STATIC_ASSERT(expr, msg) _STATIC_ASSERT(expr, msg)
#define STATIC_ASSERT_TYPE_SIZE(type, size) _STATIC_ASSERT(sizeof(type) == size, #type " size mismatch")
#define STATIC_ASSERT_MEMBER_OFFSET(type, member, offset) _STATIC_ASSERT(offsetof(type, member) == offset, #member " offset mismatch")
#define PACKED __declspec(align(1))
#define PRAGMA_PACK_PUSH _Pragma("pack(push, 1)")
#define PRAGMA_PACK_POP _Pragma("pack(pop)")
#else
#define STATIC_ASSERT(expr, msg) static_assert(expr, msg)
#define STATIC_ASSERT_TYPE_SIZE(type, size) static_assert(sizeof(type) == size, #type " is not " #size " bytes")
#define STATIC_ASSERT_MEMBER_OFFSET(type, member, offset) static_assert(offsetof(type, member) == offset, #member " offset is not " #offset)
#define PACKED __attribute__((packed))
#define PRAGMA_PACK_PUSH
#define PRAGMA_PACK_POP
#endif

// 紧凑结构体定义（跨平台）
PRAGMA_PACK_PUSH
typedef struct PACKED {
    int8_t  small_num;
    int32_t big_num;
    int16_t med_num;
} my_struct_t;
PRAGMA_PACK_POP

STATIC_ASSERT_TYPE_SIZE(my_struct_t, 7);
STATIC_ASSERT_MEMBER_OFFSET(my_struct_t, big_num, 1);
STATIC_ASSERT_MEMBER_OFFSET(my_struct_t, med_num, 5);

// 指定底层类型的枚举（强制1字节大小）
typedef enum : int8_t {
    fruit,
    vegetable,
} union_tag_t;
STATIC_ASSERT_TYPE_SIZE(union_tag_t, 1);

typedef enum : int8_t {
    apple,
    pear,
    banana,
} tasty_fruit_t;
STATIC_ASSERT_TYPE_SIZE(tasty_fruit_t, 1);

// 空结构体替代0长度数组（实现0大小）
typedef struct PACKED {
} tasty_vegetable_t;
STATIC_ASSERT_TYPE_SIZE(tasty_vegetable_t, 0);

PRAGMA_PACK_PUSH
typedef struct PACKED {
    union_tag_t tag;
    union {
        tasty_fruit_t     fruit;
        tasty_vegetable_t vegetable;
    };
} tasty_food_t;
PRAGMA_PACK_POP

STATIC_ASSERT_TYPE_SIZE(tasty_food_t, 2);

int main(int argc, char const *argv[])
{
    printf("\r\n");
    printf("sizeof(my_struct_t): %d\r\n", (int)sizeof(my_struct_t));
    printf("Offset of big_num is: %d\r\n", (int)offsetof(my_struct_t, big_num));
    printf("Offset of med_num is: %d\r\n", (int)offsetof(my_struct_t, med_num));

    printf("sizeof(union_tag_t): %d\r\n", (int)sizeof(union_tag_t));
    printf("sizeof(tasty_fruit_t): %d\r\n", (int)sizeof(tasty_fruit_t));
    printf("sizeof(tasty_vegetable_t): %d\r\n", (int)sizeof(tasty_vegetable_t));
    printf("sizeof(tasty_food_t): %d\r\n", (int)sizeof(tasty_food_t));

    tasty_food_t my_food = {.tag = fruit, .fruit = apple};
    // tasty_food_t my_food = {.tag = vegetable};

    if (fruit == my_food.tag) {
        tasty_fruit_t my_fruit = my_food.fruit;
        printf("My Fruit number is %d", (int)my_fruit);
    } else {
        printf("My food is not tasty");
    }

    return 0;
}

关键修改说明 #

1. 枚举类型：使用C11标准的enum : int8_t语法直接指定枚举的底层类型为1字节的int8_t，彻底解决枚举大小不可控的问题，兼容Clang、GCC和MSVC。
2. 0长度数组替代：用空结构体tasty_vegetable_t替代0长度数组，主流编译器均支持空结构体扩展，其大小为0，满足原代码的设计需求。
3. 跨平台紧凑结构体：通过宏定义统一处理__attribute__((packed))（GCC/Clang）和__declspec(align(1))+#pragma pack（MSVC），保证结构体在不同平台下的紧凑布局。
4. 静态断言：封装跨平台的静态断言宏，替代原有的static_assert.h依赖，兼容MSVC的_STATIC_ASSERT和标准C的static_assert。

内容的提问来源于stack exchange，提问作者Ryan B