结论：必须在 std 命名空间内全特化 std::formatter<MyClass>，否则编译失败；漏写 namespace std、误用偏特化或特化声明位置不当，均导致编译错误或静默退化。
直接给结论：不特化 std::formatter，std::format 对自定义类根本无法编译通过——报错通常是 formatter not specialized for 'MyClass' 或更底层的 SFINAE 失败，不是语法问题，是机制强制要求。
必须在 std 命名空间内全特化 std::formatter
这不是可选项，是硬性规则。漏掉 namespace std { ... }、写成偏特化（比如 template<typename t> struct formatter<myclass>, char></myclass></typename>）、或把特化放在类定义之后但没确保所有使用点都能看到，都会导致链接失败或格式调用静默退化到 operator（如果有的话）甚至编译不过。
- 特化必须是全特化：
template struct std::formatter<myclass char></myclass>，不能带模板参数 -
char是默认字符类型；若需宽字符支持，还得额外写std::formatter<myclass wchar_t></myclass> - 必须放在头文件中，并在所有调用
std::format之前可见——它不靠 ADL 查找，靠的是重载决议时的可见性 - Clang 15+ / GCC 13+ / MSVC 19.32+ 才稳定支持；GCC 12 默认仍用实验性实现，
std::format可能链接失败或行为异常
parse() 和 format() 缺一不可，且必须是 const 成员函数
这两个函数不是“可选扩展”，而是最小可行特化的底线。漏掉任一个，或没加 const，编译器会报类似 formatter does not satisfy formatter 的约束检查失败，错误信息往往很长，但根源就在这儿。
-
parse()必须声明为constexpr，返回值类型要严格匹配decltype(ctx.begin())；手写auto容易因上下文推导出错，建议显式写format_parse_context::iterator - 即使不支持任何格式说明符，也得实现
parse()，哪怕只写return ctx.end(); -
format()参数必须是const MyClass&和FormatContext&，函数自身加const，返回FormatContext::iterator - 输出必须走
ctx.out()，不能用std::cout或拼接std::string；否则失去对齐、宽度等标准控制能力
别在 format() 里调用 std::format()，改用 std::format_to()
这是最隐蔽的递归陷阱：在 format() 内部写 std::format("{}", field)，会触发无限模板实例化，编译卡死或爆内存。正确做法是复用 std::format_to 写入已有输出迭代器。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 对内置类型字段（如
int x），用format_to(ctx.out(), "{:04}", p.x)——它自动调用对应std::formatter<int></int> - 对另一个也实现了
std::formatter的自定义类型字段，同样用format_to，无需手动处理 - 不要自己写
std::to_string()或std::ostringstream：会丢精度、绕过对齐/填充、无法嵌套控制 - 若需支持
{:x}、{:>8}这类说明符，解析结果（如是否十六进制、目标宽度）必须存为formatter的成员变量，在format()中读取并参与逻辑分支
非法格式说明符必须抛 std::format_error，不能静默忽略
std::format 要求格式解析是确定性的：遇到不认识的字符，必须明确拒绝，否则运行时可能抛 std::format_error，且堆栈难追溯。
- 在
parse()中，若检测到非法字符（比如{:z}中的z），应立即抛std::format_error("unknown format specifier 'z'") - 不要跳过未知字符继续解析；
std::format会校验你返回的迭代器位置是否恰好停在非法处 - 边界情况必须覆盖：空格式串、超大宽度值（如
{:9999999999}）、非打印 Unicode、嵌套花括号（{{和}}是转义，需特殊处理） - 测试时别只测
{}和{:x}；加一条std::format("{:q}", obj)看是否按预期抛异常
真正容易被忽略的，是特化定义的可见性时机和 parse() 返回位置的精确性——前者导致编译器“看不见”特化，后者导致格式字符串校验失败，两者都表现为莫名其妙的编译错误，而非直观提示。
