必须手动特化std::formatter，且需在结构体同命名空间内；特化需继承基础formatter、实现constexpr parse()和format()，后者用std::format_to写入ctx.out()。
std::format 要求类型可格式化，结构体默认不满足
直接对自定义结构体调用 std::format 会编译失败，报错类似：no matching function for call to 'format' 或更具体的 formatter specialization not found。这是因为 std::format 依赖 ADL 查找特化的 std::formatter 模板，而普通 struct 没有提供这个特化。
必须手动为结构体特化 std::formatter，且该特化需在对应命名空间内（通常与结构体同名空间），否则 ADL 找不到。
如何编写 std::formatter 特化
特化需继承 std::formatter<:string_view></:string_view>（或其它基础 formatter）并实现 parse() 和 format() 成员函数。关键点：
-
parse()负责解析格式说明符（如"{:x}"中的x），返回迭代器位置；若忽略格式控制，可只做基本校验 -
format()接收format_context&，用ctx.out()写入格式化后的字符序列，返回ctx.out() - 必须声明为
constexpr（C++23 起要求，Clang/GCC 13+ 已强制） - 若结构体含非 trivially-copyable 成员（如
std::string），format()内部不能用std::to_chars等低层 API 直接写内存，应统一走std::format_to或std::format
示例：为 Point 结构体添加十六进制坐标输出支持
立即学习“C++免费学习笔记（深入）”；
struct Point {
int x, y;
};
<p>template<>
struct std::formatter<Point> : std::formatter<std::string_view> {
constexpr auto parse(format_parse_context& ctx) -> decltype(ctx.begin()) {
auto it = ctx.begin();
if (it != ctx.end() && *it == 'x') {
++it; // consume 'x'
}
return it;
}</p><pre class="brush:php;toolbar:false;">template <typename FormatContext>
auto format(const Point& p, FormatContext& ctx) const -> decltype(ctx.out()) {
if (/* has 'x' flag */) {
return std::format_to(ctx.out(), "({:#x},{:#x})", p.x, p.y);
} else {
return std::format_to(ctx.out(), "({},{})", p.x, p.y);
}
}};
格式说明符解析要小心空格和非法字符
parse() 函数里若不严格校验输入，容易导致后续 format() 行为未定义或静默忽略。常见疏漏：
- 未检查
it == ctx.end()就解引用 → UB - 允许任意字符通过（如
if (*it == 'x' || *it == 'y')但没跳过它）→ 格式字符串剩余部分被误判为无效 - 未将解析后的迭代器位置正确返回 →
std::format认为格式串未消费完，可能触发断言或崩溃（取决于标准库实现）
建议始终用 std::ranges::find_first_of 或手写循环 + 显式边界判断，避免假设格式串“干净”。例如支持 "{:.2f}" 类浮点精度控制时，需提取数字并验证是否为有效整数。
嵌套结构体和字段顺序会影响可读性与调试效率
当结构体含多个字段或嵌套子结构（如 std::vector<point></point>）时，format() 中硬编码字段顺序会让输出难以维护。更稳妥的做法是：
- 把字段格式化逻辑抽成私有辅助函数，例如
detail::format_x(const Point&)，便于单元测试 - 对容器成员，优先使用
std::format_to逐项拼接，而非先构造临时std::string再插入 —— 避免额外堆分配 - 若结构体字段较多且常变，考虑用宏或反射库（如 Boost.PFR）生成 formatter，但要注意 PFR 对 private 成员和模板类的支持限制
最易被忽略的一点：std::formatter 特化必须在结构体定义所在命名空间中声明（或其内联命名空间），否则即使定义了，ADL 也找不到 —— 这个错误没有明确提示，只会静默回退到不可格式化状态。
