含std::wstring的constexpr vector在VS2022编译通过是否为编译器Bug？

这不是编译器Bug，而是MSVC的非标准语言扩展导致的结果，具体原因如下：

1. C++20标准的严格要求 #

C++20确实允许constexpr std::string/std::wstring和constexpr std::vector，但有一个核心限制：

在常量表达式求值的过程中可以进行动态内存分配，但所有分配的内存必须在常量表达式求值结束前完全释放。

换句话说，如果一个constexpr std::wstring在编译期需要分配堆内存（即长度超过小字符串优化SSO的阈值），那么这个字符串不能作为静态对象存活到运行时——因为这意味着编译期分配的内存没有被释放，违反了标准规则。你的代码中，APP_TITLE_FMT是静态成员，其中的std::wstring会存活到运行时，按照标准是不允许的。

2. MSVC的非标准扩展 #

微软的Visual C++编译器对上述标准规则做了放宽：它允许编译期分配的动态内存直接保留到运行时使用，不需要在常量表达式求值结束时释放。这是MSVC特意提供的语言扩展，目的是让开发者更方便地在编译期构造复杂的动态容器，哪怕其中包含需要堆内存的字符串。

哪怕你测试了长度超过60字符的字符串（远超大部分实现的SSO阈值），MSVC依然能编译通过，就是因为这个扩展在起作用。

3. 对比其他编译器验证 #

如果用严格遵循C++标准的编译器（比如GCC或Clang）编译你的代码，会直接报错，因为它们不允许这种违反标准的情况。这也侧面证明了这是MSVC的特殊处理，而非标准允许的行为。

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