能否让编译器对嵌套结构体采用更高效的数据布局？

你的核心问题是：嵌套结构体ContainingStruct因MyExampleStruct的固定大小（16字节，对齐到8字节），导致后续int成员只能从16地址开始，最终结构体被对齐到8字节倍数，总大小24字节，你希望更高效利用内存。

结论与可行方案 #

1. 无法突破对齐规则的硬性限制 #

首先明确：结构体的总大小必须是其最大成员对齐值的倍数（这里最大成员是double，对齐值8），所以ContainingStruct的最小可能大小就是24字节——任何符合标准的布局都无法让它更小，否则会导致数组中后续结构体的double成员无法正确对齐，在部分架构下会引发运行错误，或严重降低访问性能。

2. 优化内存利用的可行方式 #

如果你想避免嵌套带来的布局浪费（虽然最终大小还是24，但可以让逻辑分组更合理），可以采用以下方式：

方案A：取消嵌套，手动重排成员

把MyExampleStruct的成员直接嵌入ContainingStruct，并调整顺序让填充空间被内部成员利用（而非留给外部成员的填充）：

struct ContainingStruct
{
    double d;
    char b;
    int i;       // 原MyExampleStruct的int成员
    int extra_i; // 原嵌套结构的int成员
};

这个布局和你嵌套MyExampleStruct的最终大小一致（24字节），但逻辑上仍保持了原成员的分组，且内部填充空间被充分利用，没有额外浪费。

方案B：使用编译器特定属性调整对齐（谨慎使用）

部分编译器支持修改结构体的对齐规则，但存在风险：

• 若你的架构允许非对齐的double访问（如x86），可以给MyExampleStruct添加__attribute__((aligned(4)))（GCC/Clang），降低其对齐要求：

  struct MyExampleStruct
  {
      double d;
      char b;
      int i;
  } __attribute__((aligned(4)));
  
  struct ContainingStruct
  {
      MyExampleStruct f;
      int i;
  };
  

  此时ContainingStruct的大小为20字节，但要注意：非对齐的double访问会导致性能下降，且在ARM、RISC-V等架构下可能直接触发硬件错误。
• 绝对不建议使用__attribute__((packed))压缩结构体，这会完全移除所有填充，导致大量非对齐成员访问，风险极高。

方案C：使用C11匿名结构体保持逻辑分组

若你需要保持原有的逻辑分组，同时避免嵌套的布局限制，可以用C11的匿名结构体：

struct ContainingStruct
{
    // 匿名结构体，逻辑上等价于MyExampleStruct，但内存布局直接嵌入
    struct {
        double d;
        char b;
        int i;
    };
    int extra_i;
};

这个方案的内存布局和手动重排成员一致，最终大小仍为24字节，但代码结构更清晰。

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