关于std::optional<T>与对应类型T内存占用是否可能相等的技术咨询

嘿，这个问题问得相当到位——确实存在sizeof(T) == sizeof(std::optional<T>)的情况，而且背后的逻辑也挺有意思，我来给你一步步拆解：

首先得明确核心前提：std::optional需要存储两个信息：一是T的实例（如果激活的话），二是一个“是否激活”的状态标记。但如果类型T的所有合法取值并没有填满其内存表示的全部位模式，标准库实现就可以“挪用”其中一种未被使用的位模式来充当这个状态标记，这样就不需要额外的存储空间，二者的大小自然就相等了。

举几个具体的场景：

• 枚举类型：比如你定义了一个底层类型为uint8_t的枚举，但只用到了其中3个取值：

  enum Color : uint8_t { Red, Green, Blue };
  

  uint8_t总共有256种可能的位模式，而我们只用到了3种，剩下的253种都可以被实现用来标记std::optional<Color>的“未激活”状态，这时候它的大小就和Color一样，都是1字节。
• 浮点类型：float和double存在大量的NaN（非数字）位模式，这些模式是合法的浮点表示，但很多业务场景下并不会用到特定的NaN值。实现可以选一个专门的NaN位模式作为std::optional<float>的未激活标记，这样两者的大小就完全一致。
• 对齐的指针类型：在很多平台上，对象或函数的地址是按8字节对齐的，这意味着指针的低3位永远是0。这种情况下，实现可以用低3位非0的指针位模式来标记std::optional<T*>的未激活状态——这时候就不用额外的状态位，大小和T*相同。不过要注意，普通的void*如果允许所有地址的话可能不行，但对齐的指针类型是可以的。

至于你提到的std::optional<T*>用nullptr标记未激活的问题，你想得没错，这确实不可行，因为nullptr本身就是T*的合法有效值，实现绝对不会这么做，只会去用那些T*永远不会用到的位模式（如果存在的话）。

最后要强调的是：这种大小相等的情况是实现定义的优化，不是C++标准强制要求的。有些编译器或平台可能不会做这种优化，直接给std::optional<T>额外加一个状态位，这时候它的大小就会比T大（比如sizeof(T) + sizeof(bool)，或者因为对齐而更大）。

内容来源于stack exchange