std::format对嵌套容器直接调用必然编译失败，因C++20标准未提供任何递归formatter；必须在namespace std中全特化std::formatter，且parse()须校验非法字符、format()中严格使用std::format_to而非std::format，否则将导致模板无限实例化或静默退化。
std::format 对 std::vector<:vector>></:vector> 这类嵌套容器直接调用会编译失败，不是写法不对，是标准根本没提供任何递归 formatter；必须手动全特化，且稍有疏漏（比如放错命名空间、用了 std::format 而非 std::format_to）就会卡死编译或静默退化成地址打印。
std::format("{}", vec) 编译失败：no matching function 是必然结果
这不是环境或头文件问题。C++20 标准只给 int、double、std::string_view 等内置类型提供默认 std::formatter；std::vector 本身无特化，std::vector<:vector>></:vector> 更是全新类型，编译器不会“推导”或“合成”formatter。
-
std::format("{}", std::vector<int>{1,2,3})</int>同样失败——别以为一维就安全 - 错误信息典型为：
no matching function for call to 'format'或更隐蔽地输出类似0x7ffeed123456的指针值（退化到void*格式化） - 加了
#include <format></format>和using namespace std;也无济于事
必须在 namespace std 中做全特化，且不能写偏特化
特化必须落在 namespace std { } 内，且必须是**全特化**（所有模板参数具体化），否则编译器直接无视。偏特化（如 template<typename t> struct formatter<:vector>></:vector></typename>）在 C++ 标准中被禁止，不生效。
- 正确写法：
template struct std::formatter<:vector>>, char></:vector> - 错误写法：
template<typename t> struct std::formatter<:vector>, char></:vector></typename>（偏特化，无效） - 绝不可只放在 .cpp 文件里——必须定义在头文件中，并确保所有调用点
#include到 -
parse()函数不能偷懒返回ctx.end()；哪怕只支持空格式，也要检查非法字符并返回当前位置迭代器，否则{:x}这类非法说明符会被静默接受
format() 中必须用 std::format_to，禁用 std::format
这是最容易踩的坑：在自定义 format() 成员函数里调用 std::format("{}", inner)，等于让编译器重新走一遍整个 std::formatter 查找链。若 inner 类型也有自定义特化，可能触发无限模板实例化，最终内存爆满或编译超时。
立即学习“C++免费学习笔记（深入）”；
- 安全写法：
out = std::format_to(out, "{}", inner)—— 复用当前输出迭代器out - 对叶节点（如
int）同样用std::format_to(out, "{}", value)，它会自动走内置 formatter - 若
inner是自定义类型（如Point），只要其std::formatter<point char></point>已正确定义，std::format_to就会自动触发它 - 绝对避免：
auto s = std::format("{}", p.x); *out++ = s[0];—— 绕过格式控制、丢失对齐/填充/精度，还多一次内存分配
嵌套更深（如 std::vector<:map std::vector>>></:map>）怎么办
没有银弹。每层嵌套容器都是独立类型，必须逐层特化。但可以复用已有逻辑，避免重复造轮子：
- 先确保
std::map<:string double></:string>有std::formatter（标准库不提供，需自己写） - 再为
std::vector<double></double>特化（若还没做） - 最后为外层
std::vector<:map>></:map>全特化，其format()内部调用std::format_to(out, "{}", elem)即可递归生效 - 注意
std::vector<bool></bool>是特例——其特化不满足容器语义，手动特化也大概率失效
最易被忽略的是：所有特化必须严格共存于同一翻译单元可见范围内，且 parse() 的健壮性常被低估——它不是摆设，而是防止非法格式说明符穿透导致后续崩溃的第一道防线。
