std::format要求类型必须有对应的formatter特化，否则编译失败；直接对未特化的自定义类型调用会报错“no matching function for call to 'format'”或“formatter is not a valid formatter”。
std::format 要求类型必须满足 formatter 特化条件
直接对自定义类型调用 std::format 会编译失败，错误信息类似：no matching function for call to 'format' 或更具体的 formatter<t> is not a valid formatter</t>。这是因为 std::format 不像 operator 那样自动回退——它严格依赖 <code>std::formatter 的显式特化。
核心要求是：为你的类型 T 提供一个符合标准的 std::formatter<t chart></t> 特化，且该特化需满足 formatter 概念（即定义 parse() 和 format() 成员函数）。
最简可行特化：只支持默认格式（无 format-spec）
如果你只需要 {} 这种无修饰的输出（比如调试打印），可以省略 parse 函数，仅实现 format。但注意：C++23 标准要求即使不解析 spec，parse 也必须存在（哪怕为空），否则某些标准库实现（如 libstdc++ 13+）会拒绝编译。
-
parse必须接受format_parse_context&，返回iterator（通常是ctx.end()） -
format接收const T&、format_context&，返回format_context::iterator - 写入内容必须用
ctx.out()，不能直接操作流或字符串
struct Point {
int x, y;
};
template<>
struct std::formatter<Point> {
constexpr auto parse(format_parse_context& ctx) { return ctx.end(); }
template <typename FormatContext>
auto format(const Point& p, FormatContext& ctx) {
return format_to(ctx.out(), "({},{})", p.x, p.y);
}
};
之后就能安全使用：std::format("p = {}", Point{3,4}) → "p = (3,4)"。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
支持 format-spec（如 {:x}、{:.2f}）需要手动解析
一旦用户写了 {:x} 或 {:#}，parse() 就必须消费掉这些字符，并保存状态（比如用 char presentation = 'd'; 成员变量）。标准库不会帮你拆解 format-spec 字符串——你得自己遍历 ctx.begin() 到 ctx.end() 并校验。
- 合法的
presentation字符取决于你的类型语义，比如Point可支持'd'（十进制）、'h'（十六进制坐标）、's'（简化格式如 "3,4"） - 如果遇到不支持的 spec（如
{:.2f}），应在parse()中抛出std::format_error -
format()函数根据保存的presentation分支处理，而不是重新解析
template<>
struct std::formatter<Point> {
char presentation = 'd';
constexpr auto parse(format_parse_context& ctx) {
auto it = ctx.begin();
if (it != ctx.end() && *it == 'h') { presentation = 'h'; ++it; }
else if (it != ctx.end() && *it == 's') { presentation = 's'; ++it; }
if (it != ctx.end()) throw std::format_error("invalid format specifier for Point");
return it;
}
template <typename FormatContext>
auto format(const Point& p, FormatContext& ctx) {
if (presentation == 'h')
return format_to(ctx.out(), "(0x{:x},0x{:x})", p.x, p.y);
if (presentation == 's')
return format_to(ctx.out(), "{},{}", p.x, p.y);
return format_to(ctx.out(), "({},{})", p.x, p.y);
}
};
这样 std::format("{:h}", Point{15,255}) 输出 "(0xf,0xff)"。
注意 ADL 与头文件依赖
std::formatter 特化必须定义在 std 命名空间中，且必须在首次使用 std::format（或相关函数模板实例化）前可见。常见坑是：把特化放在 .cpp 文件里，或放在 #include <format> 之后——这会导致 ODR 违规或静默降级到不可格式化。
- 务必在头文件中定义特化，并确保所有包含该头的 TU 都能看到它
- 必须
#include <format>，且 C++20 编译器需启用-std=c++20（或更高）及对应标准库支持（MSVC 19.30+、GCC 13+、Clang 15+） - 不要依赖 ADL 查找 formatter；它只在
std中查找
复杂点在于：每个自定义类型都要手写 parse + format，且无法复用已有 operator<< 逻辑（因为 ctx.out() 是 std::format 内部迭代器，不是 std::ostream）。容易被忽略的是，format_to 返回的迭代器必须精确匹配输出长度——写多或写少都可能破坏后续格式化。
