需手动特化std::formatter：一、固定深度逐层特化；二、基于ranges概念的泛型递归框架；三、用fmt库开箱支持；四、运行时类型擦除反射方案；五、宏辅助批量生成特化。
如果您希望使用 C++20 的 std::format 对多维嵌套容器（如 std::vector<std::vector<int>>、std::vector<std::map<std::string, std::vector<double>>> 等）实现自动递归格式化并输出为结构清晰、缩进美观的字符串，则需手动特化 std::formatter。标准库未提供对任意嵌套容器的通用递归特化，必须为每类目标嵌套结构显式定义。以下是多种可行方案：
一、为固定深度嵌套容器逐层特化 formatter
该方法适用于已知嵌套层级且类型稳定的场景（例如二维 vector），通过在 std 命名空间中为具体嵌套类型（如 std::vector<std::vector<int>>）进行全特化，实现定制化缩进与分隔符控制。
1、在头文件中声明并定义 namespace std { } 内的全特化结构体，确保所有调用点可见。
2、在 parse() 函数中仅返回 ctx.end()，表示不解析任何格式说明符（或按需支持 :indent=N 等自定义字段）。
立即学习“C++免费学习笔记（深入）”；
3、在 format() 函数中使用 std::format_to(ctx.out(), "[") 开始，遍历外层容器，对每个内层元素调用 std::format_to(ctx.out(), "{}", inner)，并在元素间插入 ", " 与换行缩进逻辑。
4、对最内层值（如 int）直接使用 std::format_to(ctx.out(), "{}", value)，依赖其内置 formatter。
5、确保 format() 成员函数声明为 const，且参数为 const T&，否则编译失败。
二、基于模板递归推导的泛型 formatter 特化框架
该方法利用 C++20 概念（std::ranges::range）和 SFINAE 或 requires 表达式，构建可匹配任意嵌套 std::ranges::range 类型的主模板，并对非 range 类型终止递归，从而实现有限深度的自动展开。
1、定义主模板 template<class T> struct std::formatter<T, char>，受限于 std::ranges::range<T> 且非 std::is_same_v<T, std::string> 等常见非容器类型。
2、在 format() 中检测 std::ranges::size(v) 是否可用，若不可用则退至单值格式化路径；否则先输出 "["，再对每个 e : v 调用 std::format_to(ctx.out(), "{}", e) 并插入逗号与换行。
3、为防止无限递归，显式禁止对 std::string、char*、算术类型等启用该泛型特化，通过 requires 子句排除。
4、将缩进层级作为 format() 的局部状态变量传递（如通过辅助 lambda 捕获当前深度），避免全局或静态变量污染。
5、在每次递归调用子元素前，增加缩进空格数（如 std::string(2 * depth, ' ')），并在换行后输出对应缩进。
三、借助第三方 fmt 库的嵌套容器开箱支持
若项目允许引入外部依赖，fmt 库（std::format 的参考实现）已为 std::vector、std::map、std::tuple 等常见容器提供默认递归格式化支持，且支持 {:n} 标志启用美化打印（带换行与缩进）。
1、安装并包含 <fmt/ranges.h> 头文件，该头启用所有标准容器的 formatter 特化。
2、调用 fmt::format("{:n}", nested_vec)，其中 :n 表示“nested”模式，自动添加换行与两级缩进。
3、对自定义结构体，仍需在 fmt 命名空间中特化 fmt::formatter<MyStruct>，但无需处理嵌套逻辑——其内部已兼容递归调用。
4、使用 fmt::print 替代 std::cout << 直接输出到终端，或用 fmt::format_to 写入缓冲区。
5、确认编译时链接 libfmt（若使用动态链接）或启用 header-only 模式（FMT_HEADER_ONLY 宏）。
四、运行时类型擦除 + 手动递归遍历的反射式方案
该方法绕过编译期 formatter 特化限制，将嵌套容器转换为统一的运行时视图（如 std::any 或自定义 Variant 树），再通过递归函数生成美化字符串。适用于类型高度动态、无法在编译期确定嵌套结构的调试场景。
1、定义 struct PrettyNode { enum Type { INT, DOUBLE, STRING, LIST, MAP }; Type type; std::vector<PrettyNode> children; std::string value; };
2、编写模板函数 to_pretty_node(const T& v)，对 std::ranges::range 递归调用并填充 children，对基本类型存入 value 并设 type。
3、实现独立的 format_pretty(const PrettyNode& n, int indent = 0)，根据 type 分支处理：LIST 输出 "[" + join(children, ",\n" + indent_str) + "]"，其中 indent_str 为当前缩进空格。
4、在最终输出处调用 std::format("{}", format_pretty(to_pretty_node(data)))，将运行时结构转为字符串。
5、注意避免对大容器重复拷贝，可改用 std::span<const PrettyNode> 或引用捕获优化性能。
五、混合策略：基础容器特化 + 宏辅助代码生成
针对项目中频繁出现的若干固定嵌套组合（如 Vec2D、MapOfVecs），可结合宏定义批量生成 formatter 特化代码，减少手工重复，同时保持编译期效率与类型安全。
1、定义宏 DEFINE_NESTED_FORMATTER(Outer, Inner, open, close, sep)，用于生成 std::formatter<Outer<Inner>> 全特化。
2、宏体内展开 parse() 返回 ctx.end()，format() 使用 std::format_to 输出 open，循环调用 std::format_to 格式化每个 Inner，插入 sep，最后输出 close。
3、为每种组合调用宏：DEFINE_NESTED_FORMATTER(std::vector, std::vector<int>, "[", "]", ",\n ")。
4、在宏定义前确保 namespace std { } 已开启，并将宏置于头文件顶部，避免 ODR 违规。
5、对含键值对的容器（如 std::map），扩展宏支持键/值分离格式化，例如 "{}: {}" 模板字符串作为参数传入。
