std::format自C++20起提供类型安全、高效、可扩展的格式化能力，需通过特化std::formatter为自定义类型添加支持，实现parse()解析格式说明符和format()执行格式化，并复用std::format_to递归处理字段，注意constexpr约束、命名空间要求及避免无限递归。
std::format 自 C++20 起正式引入，是类型安全、高效且可扩展的格式化工具。它本身不直接支持用户自定义类型“开箱即用”的格式化，但通过特化 std::formatter 模板，你可以为任意类型（包括自定义类/结构体）添加完整的格式化支持，包括对齐、宽度、精度、填充符，甚至自定义格式说明符（如 {:x}、{:upper} 等）。
为自定义类型特化 std::formatter
核心是为你的类型 T 显式特化 std::formatter（通常 CharT 是 char）。这个特化必须提供：
-
parse()：解析格式字符串（如"^10s"中的^、10、s），存入成员变量供format()使用 -
format()：执行实际格式化，调用ctx.out()输出字符，并可递归使用std::format_to格式化子字段
例如，为一个简单坐标结构体添加支持：
struct Point { int x, y; };template
struct std::formatter
char presentation = 'd'; // 默认格式：'d' 表示十进制，可扩展为 'x' 等
constexpr auto parse(format_parse_context& ctx) -> format_parse_context::iterator {
auto it = ctx.begin();
if (it != ctx.end() && *it == 'x') { presentation = 'x'; ++it; }
return it;
}
template
auto format(const Point& p, FormatContext& ctx) const -> typename FormatContext::iterator {
if (presentation == 'x') {
return format_to(ctx.out(), "({:x},{:x})", p.x, p.y);
} else {
return format_to(ctx.out(), "({},{})", p.x, p.y);
}
}
};
之后即可直接使用：std::format("p={:x}", Point{255, 10}) → "p=(ff,a)"。
立即学习“C++免费学习笔记（深入）”；
复用内置 formatter 处理字段
不要手动拼接字符串或调用 std::to_string —— 那会丢失类型安全和格式控制。正确做法是用 std::formatter 或更方便的 std::format_to 递归格式化每个字段：
- 对基本类型（
int,double,std::string_view等），直接用std::format_to(ctx.out(), "{:04}", field) - 对也实现了
std::formatter的自定义类型，同样可用std::format_to，自动触发其特化逻辑 - 注意：不能在
format()中调用std::format()（会引发无限递归），必须用format_to写入已有输出迭代器
支持对齐、宽度、填充等通用格式说明符
标准格式语法（如 {:>10}、{:*^8}）由 std::formatter 基类自动解析并提供访问接口。你只需在 parse() 中调用基类的 parse，并在 format() 中用 ctx.advance_to 和填充辅助函数处理：
- 继承
std::formatter（或空基类）可获得std::format_parse_context::parse_format_specs支持 - 更推荐：在
parse()中调用std::formatter等来复用解析逻辑（C++23 更完善，C++20 可手动提取）{}.parse(ctx) - 实际对齐填充需在
format()中手动实现：先格式化内容到临时缓冲（如std::string），再按width和fill补齐
小技巧：用 std::format_to(std::back_inserter(buf), ...) 构建内容字符串，再用 std::pad（C++23）或手写逻辑补空格/符号。
注意事项与常见陷阱
-
parse()必须是constexpr（C++20 要求），不能有运行时分支（如if (x > 0)），只能基于字符判断 - 所有 formatter 特化必须定义在命名空间
std中，且在首次使用前可见（通常放头文件中，避免 ODR 违规） - 不支持为模板类（如
MyVec）做全特化以外的泛化特化（即不能写template），需对每个实例单独特化或借助 ADL +struct std::formatter > format_as - 若只想要简单字符串转换，可定义
format_as(const T&)函数（非成员、位于 T 所在命名空间），std::format会自动调用它转成可格式化的类型（如std::string），无需写完整 formatter
基本上就这些。写 formatter 看似繁琐，但一次写好，后续所有 std::format、std::print、std::format_to 都能无缝支持，比老式 operator 更灵活、更安全。
