std::format不支持嵌套容器直接格式化，因标准库未提供vector等容器的formatter特化；必须在namespace std中全特化std::formatter，并用format_to递归写入，禁用嵌套std::format。
std::format 对嵌套容器直接调用必然编译失败
这不是环境或头文件问题，是 C++20 标准明确不支持的行为。std::format("{}", std::vector<:vector>>{{1, 2}, {3}})</:vector> 会报错：no matching function for call to 'format'。标准库只为内置类型（int、double、std::string_view）和显式全特化的类型提供 std::formatter；std::vector<:vector>></:vector> 是一个全新类型，编译器不会“推导”或“合成”它的 formatter。
常见误判点：
- 以为加了
#include <format></format>就够了 —— 不够，必须手动特化 - 把特化写在
.cpp文件里 —— 其他翻译单元看不到，等效于没写 - 写成偏特化如
template<typename t> struct std::formatter<:vector>></:vector></typename>—— C++ 禁止对标准库模板做偏特化，会被忽略
必须在 namespace std 中做全特化，且只放头文件
所有自定义 formatter 必须严格落在 namespace std { } 内，并使用完整具体类型（即全特化）。例如二维 vector 的最小可用特化：
namespace std {
template struct formatter<vector>>, char> {
constexpr auto parse(format_parse_context& ctx) { return ctx.begin(); }
template <typename formatcontext>
auto format(const vector<vector>>& v, FormatContext& ctx) const {
auto out = ctx.out();
*out++ = '[';
for (size_t i = 0; i 0) *out++ = ',';
*out++ = '[';
for (size_t j = 0; j 0) *out++ = ',';
out = format_to(out, "{}", v[i][j]); // ← 关键：用 format_to
}
*out++ = ']';
}
*out++ = ']';
return out;
}
};}</vector></typename></vector>
关键约束：
-
parse()不能偷懒返回ctx.end()，否则{:x}这类非法说明符会被静默吞掉，后续可能崩溃 -
format()必须声明为const，参数为const T&，返回类型要匹配FormatContext::iterator - 所有调用点都必须
#include这个头文件 —— 模板特化不可分离编译
递归调用必须用 format_to，禁用嵌套 std::format
在自定义 format() 函数里调用 std::format("{}", inner) 是高危操作：它会触发新一轮模板查找与实例化。若 inner 类型也有自定义 formatter，极易导致无限展开、内存爆满或编译卡死。
安全做法只有一条：复用当前输出迭代器 ctx.out()，用 format_to 直接写入：
- 对内层容器：用
format_to(out, "{}", inner_vec)—— 它会自动走std::formatter<vector>, char></vector>（如果你已特化） - 对叶节点值（如
int）：仍用format_to(out, "{}", value)—— 它走内置 formatter，无额外开销 - 绝对避免：
auto s = std::format("{}", value); *out++ = ...—— 拼字符串丢失格式控制，且多一次内存分配
泛型递归方案需靠 ADL 或 SFINAE，但不能覆盖 std::string
若想支持任意深度（如 vector<map vector>>></map>），需借助 ADL 或 std::ranges::range 概念构建泛型入口。核心是：检测 T 是否为容器，若是则递归，否则终止。
典型实现要点：
- 定义自由函数
format_container，接收迭代器范围与缩进层级参数 - 在
std命名空间外、对应容器所在命名空间中提供std::formatter全特化，其format()委托给该函数 - 用
requires std::ranges::range<t></t>+!std::is_same_v<t std::string></t>排除非容器类型（std::string是最常误入递归的坑） - 缩进通过传参控制（如每层加两个空格），避免静态/全局变量污染
真正难的不是写递归逻辑，而是确保每层都用 format_to 向同一输出端写入，且所有中间类型（包括用户自定义结构体）都已有对应 std::formatter 特化 —— 少一个，整条链就断。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
