要让std::format支持自定义类型，需特化std::formatter并实现parse和format方法。以Point结构体为例，首先在全局或std命名空间中特化std::formatter<Point>，定义parse函数解析格式说明符（如"{:x}"中的'x'），保存格式选项；然后实现format函数，根据保存的格式符使用std::format_to将对象格式化为字符串。完成后即可用std::format格式化Point对象，如std::format("{}", p)输出"Point(10, 20)"，支持自定义格式如":x"或":X"。注意需包含<format>头文件，parse应正确处理格式上下文迭代器，format通过输出迭代器写入结果。此机制使用户类型能无缝集成到C++20格式化体系中。
在 C++20 中，std::format 提供了类型安全且高效的格式化方式。要让 std::format 支持用户自定义类型，你需要特化 std::formatter 模板，并实现相应的解析和格式化逻辑。
1. 特化 std::formatter 以支持自定义类型
假设你有一个简单的结构体 Point：
struct Point {
int x, y;
};
为了让 std::format 能够格式化 Point 类型，需要为它特化 std::formatter<Point>：
#include <format>
template<>
struct std::formatter<Point> {
// 解析格式说明符（例如 "{}" 或 "{:x}"）
constexpr auto parse(std::format_parse_context& ctx) {
auto it = ctx.begin();
if (it != ctx.end() && *it != '}') {
format_spec = *it++; // 保存格式字符
}
return it;
}
// 格式化值到输出
template<typename FormatContext>
auto format(const Point& p, FormatContext& ctx) {
if (format_spec == 'x') {
return std::format_to(ctx.out(), "({}, {})", p.x, p.y);
} else if (format_spec == 'X') {
return std::format_to(ctx.out(), "[x={}, y={}]", p.x, p.y);
} else {
return std::format_to(ctx.out(), "Point({}, {})", p.x, p.y);
}
}
private:
char format_spec = 0; // 存储格式说明符
};
2. 使用自定义格式化类型
现在你可以像使用内置类型一样使用 std::format 来格式化 Point：
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
int main() {
Point p{10, 20};
std::cout << std::format("{}\n", p); // 输出: Point(10, 20)
std::cout << std::format("{:x}\n", p); // 输出: (10, 20)
std::cout << std::format("{:X}\n", p); // 输出: [x=10, y=20]
}
3. 注意事项与建议
- 必须包含头文件 <format>
- 特化的 std::formatter 必须在全局命名空间或 std 的同名空间中（通常推荐在全局）
- parse() 函数负责处理格式字符串中的选项，应跳过无效字符并返回正确位置
- format() 使用 std::format_to 将内容写入输出迭代器
- 支持的格式说明符可以自由设计，如数字、字符、字符串等
基本上就这些。只要正确实现 parse 和 format 方法，任何用户定义类型都可以无缝集成进 std::format 体系。
