std::formatter全特化必须在namespace std中定义，且仅支持全特化（如template<> struct formatter<MyClass, char>），parse()须正确返回格式符结束迭代器，format()须为const并使用std::format_to写入。
std::formatter全特化必须写在namespace std里
不放进去，std::format根本找不到你的特化，编译时会报no matching function for call to 'format'或formatter not specialized for 'MyClass'——这不是警告，是硬性失败。
常见错误包括：
- 在全局命名空间或自定义命名空间里写
template struct formatter<myclass char></myclass> - 漏掉第二个模板参数
char（宽字符场景才换wchar_t，但默认必须显式写） - 写成偏特化，比如
template<typename t> struct formatter<mytemplate>, char></mytemplate></typename>，标准禁止
正确结构只有这一种：
namespace std {
template<> struct formatter<MyClass, char> {
constexpr auto parse(format_parse_context& ctx) { /* ... */ }
template <typename FormatContext>
auto format(const MyClass& obj, FormatContext& ctx) const { /* ... */ }
};
}
parse()不能返回ctx.end()糊弄过去
它不是“解析完就完事”，而是告诉std::format：“从冒号后到这个位置，都是我认的格式说明符”。返回错位置，轻则输出错乱，重则运行时报std::format_error。
立即学习“C++免费学习笔记（深入）”；
例如用户写了"{:x8}"，而你只支持x不支持数字，parse()必须停在'8'处并返回该迭代器，不能跳过或直接返回ctx.end()。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实用写法建议：
- 用
auto it = ctx.begin()起步，逐字符判断 - 识别到非法字符立刻
return it - 把结果缓存为成员变量（如
bool hex_ = false;、int width_ = 0;），format()里直接用 - 别在
format()里重新解析字符串——既慢又容易和parse()逻辑不一致
format()必须是const成员函数，且用std::format_to()
签名不对就过不了概念检查，编译错误提示通常是formatter does not satisfy formatter。关键点有三个：
-
format()必须带const限定，否则不满足std::formatter要求 - 不能调用
std::format(...)递归格式化字段——可能触发无限模板实例化 - 必须用
std::format_to(ctx.out(), "...", ...)写入输出迭代器，不是std::cout或std::string
如果字段是私有的，format()读不到：
- 最干净：在类定义里加
friend struct std::formatter<MyClass, char>; - 不改类：提供
auto as_tuple() const { return std::tie(a, b, c); }，再用std::apply展开
特化代码不能只放在.cpp里
模板特化必须在所有调用std::format("{}", obj)的地方可见。放在.cpp里等于没写——其他翻译单元看不到，照样编译失败。
正确做法：
- 把特化定义放在
MyClass声明所在的头文件里（推荐） - 或者单独建一个
myclass_formatter.h，确保所有需要格式化MyClass的地方都#include它 - MSVC 19.32+、GCC 13.3+、Clang 15.0+ 才稳定支持；GCC 13.2 及更早需加
-D_GLIBCXX_USE_CXX11_ABI=1
最容易被忽略的是：智能指针（如std::shared_ptr<MyClass>）必须单独特化，不能复用void*或裸指针的特化，而且format()里必须显式判空——解引用nullptr是未定义行为。
