为何可定义constinit的std::string实例？动态初始化不应被禁止吗？

• 核心原因：小字符串优化（SSO）+ C++20的constexpr std::string支持
  你觉得矛盾，是默认认为std::string的初始化一定会触发动态内存分配，但实际上大多数std::string实现都有小字符串优化：当字符串长度小于某个阈值（通常是15或22字节，依编译器和平台而定）时，数据直接存在std::string对象的内部缓冲区里，不需要分配堆内存。
  对于"Hello"这种短字符串，刚好触发SSO，此时C++20中标记为constexpr的std::string构造函数可以在编译时完成初始化——整个过程属于常量初始化，满足constinit对「静态初始化」的要求，因此编译器不会报错。

• constinit的本质要求
  constinit禁止的是需要运行时执行的动态初始化，而不是所有涉及动态内存分配的场景。如果编译器能在编译阶段就完成整个初始化（包括避免运行时堆分配），那这种初始化就属于静态初始化的范畴，完全符合constinit的规则。

• 反例验证
  要是换成长度超过SSO阈值的字符串，比如：

  constinit std::string str = std::string(1000, 'a');
  

  此时std::string必须分配堆内存，而这种分配只能在运行时完成，属于动态初始化，编译器就会直接报错，违反constinit的要求。

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