17370845950

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 格式化子字段

例如，为一个简单坐标结构体添加支持：

之后即可直接使用：std::format("p={:x}", Point{255, 10}) → "p=(ff,a)"。

复用内置 formatter 处理字段

不要手动拼接字符串或调用 std::to_string —— 那会丢失类型安全和格式控制。正确做法是用 std::formatter::format() 或更方便的 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{}.parse(ctx) 等来复用解析逻辑（C++23 更完善，C++20 可手动提取）
• 实际对齐填充需在 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 struct std::formatter>），需对每个实例单独特化或借助 ADL + format_as
• 若只想要简单字符串转换，可定义 format_as(const T&) 函数（非成员、位于 T 所在命名空间），std::format 会自动调用它转成可格式化的类型（如 std::string），无需写完整 formatter

基本上就这些。写 formatter 看似繁琐，但一次写好，后续所有 std::format、std::print、std::format_to 都能无缝支持，比老式 operator 更灵活、更安全。