如何为单个结构体中的每个成员指定特定内存偏移量？

要让MainStruct的成员a、b、c分别固定在偏移0、100、179的位置，总大小保持256字节，不受成员自身大小和编译器默认对齐规则影响，有两种实用的编译时实现方式：

方法一：手动填充占位符（高可移植性） #

通过在成员之间插入计算好的匿名字符数组作为填充，强制将下一个成员推到指定偏移位置，同时用编译时断言确保成员大小不会超出预留空间，避免越界。

代码示例：

#include <stddef.h>  // 用于offsetof宏
#include <assert.h>

// 假设struct A、B、C已提前定义
struct A { int x; };
struct B { char y[50]; };
struct C { double z; };

struct MainStruct {
    struct A a;  // 固定偏移0
    char _pad1[100 - offsetof(struct MainStruct, a) - sizeof(struct A)];
    struct B b;  // 固定偏移100
    char _pad2[179 - offsetof(struct MainStruct, b) - sizeof(struct B)];
    struct C c;  // 固定偏移179
    char _pad3[256 - offsetof(struct MainStruct, c) - sizeof(struct C)];
};

// 编译时验证：确保成员大小不超限、偏移和总大小符合要求
_Static_assert(sizeof(struct A) <= 100, "struct A尺寸超过预留空间");
_Static_assert(sizeof(struct B) <= 179 - 100, "struct B尺寸超过预留空间");
_Static_assert(sizeof(struct C) <= 256 - 179, "struct C尺寸超过预留空间");
_Static_assert(offsetof(struct MainStruct, b) == 100, "b的偏移不符合要求");
_Static_assert(offsetof(struct MainStruct, c) == 179, "c的偏移不符合要求");
_Static_assert(sizeof(struct MainStruct) == 256, "MainStruct总尺寸不符合要求");

原理：offsetof宏在编译时获取成员的当前偏移，通过计算填充数组的长度，精准控制下一个成员的起始位置。静态断言_Static_assert会在编译阶段就检查所有约束，提前发现问题。

方法二：借助编译器扩展（GCC/Clang适用） #

利用__attribute__((packed))取消结构体的默认对齐规则，让填充字节完全由我们手动控制，避免编译器自动添加对齐字节干扰偏移。

代码示例：

#include <stddef.h>
#include <assert.h>

struct A { int x; };
struct B { char y[50]; };
struct C { double z; };

struct MainStruct __attribute__((packed)) {
    struct A a;
    char _pad1[100 - sizeof(struct A)];
    struct B b;
    char _pad2[179 - 100 - sizeof(struct B)];
    struct C c;
    char _pad3[256 - 179 - sizeof(struct C)];
};

// 编译时验证约束
_Static_assert(offsetof(struct MainStruct, a) == 0, "a的偏移不符合要求");
_Static_assert(offsetof(struct MainStruct, b) == 100, "b的偏移不符合要求");
_Static_assert(offsetof(struct MainStruct, c) == 179, "c的偏移不符合要求");
_Static_assert(sizeof(struct MainStruct) == 256, "MainStruct总尺寸不符合要求");

注意：packed属性会取消成员的自动对齐，在部分要求严格对齐的架构（如部分ARM平台）上，访问非对齐的成员可能触发硬件异常或性能下降，使用前需评估目标平台的兼容性。

关键注意点 #

• 必须保证每个成员的大小不超过其对应的预留空间（比如struct B的大小不能超过79字节，即179-100），否则会覆盖后续成员，静态断言可提前拦截这类问题。
• 如果目标平台有对齐要求，需确保成员自身的对齐规则与指定偏移兼容，必要时可结合__attribute__((aligned(n)))调整成员对齐，但需重新计算填充大小。

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