如何避免包含多个std::optional<>成员的类产生冗余内存填充？

这个问题我太有共鸣了！之前做性能敏感的模块时，也被std::optional的内存填充坑过——明明几个bool就能搞定的标记，结果因为对齐要求，每个都占了8字节，内存浪费得心疼。就像你举的例子：

class A { 
    bool flag; 
    std::optional<double> param1; 
    std::optional<double> param2; 
};

因为double要求8字节对齐，每个std::optional<double>内部的bool标记会被自动填充到8字节，再加上单独的flag也会被填充到8字节，整个类的大小足足有40字节，但实际有用的数据才19字节，剩下的全是冗余填充，确实肉疼。

下面给你几个实用的解决思路：

• 手动打包标记位（最简单直接的方案）
  核心思路就是把所有的"存在标记"（包括那个额外的flag）都塞进一个紧凑的结构体里，然后把实际的可选值放在后面。利用C++的内存布局规则，这个标记结构体只会被填充一次到对齐边界，而不是每个标记单独填充。
  比如我们可以重写你的类：

  struct OptimizedA {
      // 把所有标记打包在一起，总大小3字节
      struct Flags {
          bool flag;
          bool has_param1;
          bool has_param2;
      } flags;
      // 这里会自动填充5字节，凑够8字节以对齐后面的double
      double param1;
      double param2;
  
      // 手动实现类似std::optional的访问接口
      bool has_param1() const { return flags.has_param1; }
      double& get_param1() {
          assert(flags.has_param1 && "param1 is not set!");
          return param1;
      }
      double value_or_param1(double default_val) const {
          return has_param1() ? param1 : default_val;
      }
      // 同理实现param2的访问方法
  };
  

  这个优化后的类总大小只有24字节（8字节标记+填充 + 16字节两个double），直接砍掉了40%的内存占用。唯一的小缺点是要自己实现std::optional的常用接口，比如取值、默认值返回这些，但如果成员数量不多，这点工作量完全值得。

• 用位域进一步压缩标记位
  如果你的标记数量更多，还可以用位域把标记塞进更少的空间里：

  struct OptimizedA {
      struct Flags {
          unsigned int flag : 1;
          unsigned int has_param1 : 1;
          unsigned int has_param2 : 1;
          // 剩下的29位可以留着加新标记
      } flags; // 这里大小是4字节，填充到8字节对齐double
      double param1;
      double param2;
      // 同样实现访问接口
  };
  

  这种方式标记位占用的空间更紧凑，后续加新的可选成员也不用调整填充。

• 通用模板封装（适合大量复用场景）
  就是你想到的那种思路——写一个通用模板multi_optional_extra，把所有标记（包括额外的非可选成员）打包在前面，后面跟着对齐后的可选值存储。这种方案适合你有很多类都需要这种优化的场景，一次封装多次复用。
  模板的大致思路是：

  1. 模板参数接受一个额外非可选类型，然后是多个可选类型
  2. 内部先存储额外类型和所有可选成员的存在标记，打包成一个紧凑的结构体
  3. 后面跟着所有可选类型的对齐存储
  4. 对外暴露和std::optional类似的统一接口
     这种方案的好处是一劳永逸，但需要你有一定的模板编程基础，写起来比手动打包复杂一些。

最后还要提一句：别想着用[[no_unique_address]]来偷懒，这个属性主要是用来做空基类优化的，对std::optional这种包含非空成员的类型来说，没法解决每个内部bool标记的填充问题。

内容来源于stack exchange