如何基于指定偏移量快速设计易修改的C语言结构体

方案1：基于编译器扩展的最简实现（推荐） #

当前主流的GCC、Clang、Arm Compiler 6等底层开发常用编译器，都支持结构体成员的offset扩展属性，可以直接指定成员的偏移位置，编译器会自动填充中间的空白区域，完全匹配需求。
宏实现代码如下：

#define SET_FIELD(type, name, target_offset) \
    type name __attribute__((offset(target_offset)))

使用示例 #

你给出的示例结构体可以直接写成：

#pragma pack(push, 1)
typedef struct 
{
    SET_FIELD(unsigned int, field1, 15); 
    SET_FIELD(unsigned int, field2, 64);
    SET_FIELD(unsigned int, field3, 93);
} TestStruct;
#pragma pack(pop)

编译后生成的结构体布局和手动写的填充版本完全一致，不需要手动计算任何padding长度。

注意事项 #

• 所有字段的目标偏移必须按从小到大的顺序编写，符合结构体的内存布局规则
• 必须配合1字节对齐指令#pragma pack(push, 1)使用，避免编译器额外添加对齐填充
• 可以在宏中加入静态断言校验偏移正确性，编译期即可发现错误：

  #define SET_FIELD(type, name, target_offset) \
      type name __attribute__((offset(target_offset))); \
      _Static_assert(offsetof(TestStruct, name) == target_offset, "偏移错误："#name)
  

方案2：纯ISO C标准兼容实现（无编译器扩展依赖） #

如果需要兼容不支持offset属性的编译器，可以使用预处理器状态模拟的方式实现，需要引入Boost.Preprocessor第三方预处理器库来跟踪当前偏移量，宏实现如下：

#include <boost/preprocessor/arithmetic/add.hpp>
#include <boost/preprocessor/slot/slot.hpp>

#define CURRENT_OFFSET BOOST_PP_SLOT(1)
#define SET_CURRENT_OFFSET(val) BOOST_PP_SLOT(1) = val

SET_CURRENT_OFFSET(0)
#define SET_FIELD(type, name, target_offset) \
    char _##name##_pad[target_offset - CURRENT_OFFSET]; \
    type name; \
    SET_CURRENT_OFFSET(BOOST_PP_ADD(target_offset, sizeof(type)))

该方案不需要依赖任何编译器扩展，缺点是需要引入第三方预处理器库。

方案3：无依赖通用实现 #

如果既不想用编译器扩展，也不想引入第三方库，可以采用代码生成的方式：将字段的类型、名称、偏移写在配置文件中，用Python等脚本自动生成带填充的结构体代码，同样可以达到减少开发量、方便后续修改的效果。

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