为何使用constexpr结合std::format创建编译期对象时代码无法编译？

嘿，这个问题我当初刚接触std::format的时候也踩过一模一样的坑！你肯定和我当初一样，看到std::format要求格式字符串必须是编译期常量，就顺理成章地觉得它能直接生成constexpr的字符串对象对吧？

先看看你写的这段代码：

#include <format>

int main() {
    constexpr auto zero = 0;
    constexpr auto my_string = std::format("{}", zero);
}

为啥它编译不过呢？核心原因其实是标准版本的支持问题：

• 在C++20标准里，std::format本身并没有被标记为constexpr函数。它要求格式字符串是编译期常量，仅仅是为了在编译阶段就检查格式字符串的语法合法性（比如占位符数量和参数对不对得上、类型匹不匹配），提前把格式错误扼杀在编译期，但这并不代表整个格式化过程能在编译期完成。
• 直到C23标准，才正式把std::format、std::vformat这些函数标记为constexpr，这时候你的代码只要在支持C23的编译器环境下，就能正常编译通过，生成编译期的字符串对象了。

简单说就是：你想的逻辑没错，但标准的支持没跟上C20的脚步，这个功能是后来C23才补上的。如果现在还在用C++20的环境，那暂时没法用std::format做编译期格式化，得换用其他constexpr字符串处理的方式，比如手动拼接或者用第三方的constexpr格式化库。

备注：内容来源于stack exchange，提问作者user2138149