std::format的核心机制是「格式化字符串解析 + 类型擦除 + 缓冲区写入」三阶段协作，通过std::formatter特化提供类型专属格式逻辑，并由std::basic_format_context统一调度写入。
std::format 的核心机制是什么？
std::format 的本质不是字符串拼接，而是「格式化字符串解析 + 类型擦除 + 缓冲区写入」三阶段协作。它不依赖 printf 风格的可变参数，而是用 std::formatter 特化为每种类型提供独立的格式化逻辑，再由 std::basic_format_context 统一调度写入目标缓冲区。
这意味着：自定义格式化库必须支持运行时解析格式字符串（如 "{} {:x} {name:>10}"），并允许用户为自定义类型特化一个 formatter 类模板，且该特化需满足编译期可检测的接口契约（parse() 和 format()）。
如何设计可扩展的 formatter 接口？
关键不是“重写所有逻辑”，而是复用标准库已有的基础设施：继承 std::formatter 基类，或按其要求实现 SFINAE 友好接口。C++20 要求 T 可被格式化，当且仅当存在特化 std::formatter<t chart></t>，且该特化中定义了：
-
parse()：接收format_parse_context&，消费格式说明符（如"x"、10"），返回迭代器位置；失败则抛format_error -
format()：接收const T&和format_context&，调用ctx.out()写入字符序列
示例：为自定义结构体 Point 添加十六进制坐标输出支持
立即学习“C++免费学习笔记（深入）”；
struct Point { int x, y; };
template<>
struct std::formatter<Point, char> : std::formatter<std::string, char> {
bool hex = false;
constexpr auto parse(std::format_parse_context& ctx) {
auto it = ctx.begin();
if (it != ctx.end() && *it == 'x') { hex = true; ++it; }
return it;
}
template <typename FormatContext>
auto format(const Point& p, FormatContext& ctx) {
std::string s = hex
? fmt::format("({:x},{:x})", p.x, p.y) // 若用 fmtlib 辅助
: fmt::format("({},{})", p.x, p.y);
return std::formatter<std::string>::format(s, ctx);
}
};
注意：parse() 必须是 constexpr（C++20 要求），且不能依赖运行时分支；格式说明符解析必须前向、无回溯。
如何避免手动解析格式字符串的坑？
自己手写 parser 容易在以下地方翻车：
- 忽略字段名（
{name}）与位置索引（{0}）的混合使用，导致参数映射错位 - 未正确处理嵌套的
{{/}}转义，把字面大括号误判为占位符边界 - 对齐/填充/精度等语法（
{:>10.3f}）解析不完整，尤其当省略中间项（如只写{:.3}）时行为不一致 - 未校验格式说明符是否合法（如对
int使用s说明符），应提前在parse()中抛std::format_error
更稳妥的做法是：直接复用 <format> 头文件中的 __format_parse_context（libc++）或 __parse_format_string（MSVC），或采用 fmt 库的 fmt::compile（编译期解析）作为参考——但若坚持纯标准库实现，必须严格遵循 [format.string.std]/3 的语法规则。
为什么 std::format 不支持任意类型的默认格式化？
因为标准库不会为用户类型自动合成 formatter。即使你重载了 operator<<，std::format 也不会调用它——这是有意设计：避免隐式依赖流操作符的副作用和 locale 行为，保证格式化结果可预测、无状态、线程安全。
所以“可自定义”的真正含义是：你必须显式提供 std::formatter<YourType> 特化。没有捷径，也不能靠 ADL 自动发现。漏掉特化，编译器会报类似这样的错误：
error: no matching function for call to 'std::formatter<MyClass>::parse'
最易被忽略的一点：特化必须定义在与 YourType 相同的命名空间中（或 std 命名空间内），否则 ADL 查找不到，特化无效。
