C++20标准正式引入了format库，这是C++在字符串格式化领域的一次重要升级，为开发者提供了类型安全、语法简洁、功能丰富的字符串格式化新方案，能够有效解决传统格式化方式存在的诸多问题。
C++传统字符串格式化的痛点
在C++20之前，开发者常用的字符串格式化方式主要有两种，分别是C风格的printf系列函数和C++标准库的stringstream，这两种方式都存在明显的不足。
printf系列函数的问题
printf是C语言延续下来的格式化函数，核心问题包括类型不安全，格式说明符和实际参数类型不匹配时不会在编译期报错，运行时可能出现未定义行为；格式字符串和参数分离，当参数较多时可读性很差，容易写错格式说明符；不支持自定义类型的直接格式化，需要额外编写转换逻辑。
下面是一个典型的printf使用问题示例：
#include <cstdio>
int main() {
int num = 10;
// 格式说明符是%s，实际参数是int，编译不报错，运行输出错误
printf("数字是：%sn", num);
return 0;
}
stringstream的问题
stringstream虽然类型安全，但是语法繁琐，需要多次调用<<运算符拼接内容，代码冗长；格式化控制能力弱，比如设置小数位数、对齐方式等操作需要调用多个成员函数，可读性差；性能表现不如printf系列函数，频繁使用时会有额外开销。
使用stringstream的示例：
#include <iostream>
#include <sstream>
#include <iomanip>
int main() {
int num = 10;
double pi = 3.1415926;
std::stringstream ss;
ss << "数字：" << num << "，圆周率：" << std::fixed << std::setprecision(2) << pi;
std::string result = ss.str();
std::cout << result << std::endl;
return 0;
}
C++20 format库的核心优势
C++20 format库结合了printf的简洁语法和stringstream的类型安全特性，同时提供了更强大的格式化能力，主要优势如下：
- 类型安全：格式说明符和参数类型不匹配时，会在编译期或运行期给出明确错误，避免未定义行为
- 语法简洁：采用类似Python format的语法，格式字符串和参数对应关系清晰，可读性强
- 功能丰富：支持对齐、填充、精度控制、数字进制转换等多种格式化操作，还支持自定义类型的格式化
- 性能优异：标准库实现通常做了优化，性能接近甚至超过
printf系列函数
format库的基础用法
使用format库需要包含<format>头文件，核心函数是std::format，基本语法为std::format(格式字符串, 参数列表)，返回一个格式化后的std::string对象。
基础格式化示例
下面是使用format库完成基础字符串拼接和格式化的示例：
#include <iostream>
#include <format>
int main() {
int age = 25;
std::string name = "张三";
double score = 92.5;
// 基础格式化，{}是占位符，按顺序对应后面的参数
std::string info = std::format("姓名：{}，年龄：{}，成绩：{}", name, age, score);
std::cout << info << std::endl;
return 0;
}
指定参数位置
如果需要在格式字符串中多次使用同一个参数，或者调整参数的对应顺序，可以在占位符中指定参数的索引，索引从0开始：
#include <iostream>
#include <format>
int main() {
std::string hello = "你好";
std::string world = "世界";
// {1}对应第二个参数，{0}对应第一个参数
std::string msg = std::format("{1}，{0}，{1}！", hello, world);
std::cout << msg << std::endl; // 输出：世界，你好，世界！
return 0;
}
format库的高级格式化特性
format库支持在占位符中添加格式说明符，实现更复杂的格式化需求，格式说明符的语法为{索引:格式说明}。
数字格式化
可以控制数字的进制、宽度、对齐方式、填充字符、小数精度等：
#include <iostream>
#include <format>
int main() {
int num = 255;
double pi = 3.1415926;
// 十六进制，大写，宽度10，右对齐，填充0
std::string hex_num = std::format("十六进制：{:#010X}", num);
// 小数精度2位，宽度8，左对齐，填充*
std::string pi_str = std::format("圆周率：{:*<8.2f}", pi);
std::cout << hex_num << std::endl; // 输出：十六进制：0X000000FF
std::cout << pi_str << std::endl; // 输出：圆周率：3.14****
return 0;
}
自定义类型格式化
如果需要让自定义类型支持format格式化，需要特化std::formatter模板，实现parse和format两个方法：
#include <iostream>
#include <format>
// 自定义类型
struct Point {
int x;
int y;
};
// 特化std::formatter for Point
template <>
struct std::formatter<Point> {
// 解析格式说明，这里不需要额外格式，直接返回迭代器
constexpr auto parse(auto& ctx) {
return ctx.begin();
}
// 执行格式化
auto format(const Point& p, auto& ctx) {
return std::format_to(ctx.out(), "({},{})", p.x, p.y);
}
};
int main() {
Point p{3, 4};
std::string point_str = std::format("坐标：{}", p);
std::cout << point_str << std::endl; // 输出：坐标：(3,4)
return 0;
}
format库的实际应用建议
在实际项目中应用format库时，可以参考以下建议：
- 如果项目已经升级到支持C++20的编译器（如GCC 13+、Clang 14+、MSVC 2019 16.10+），优先使用format库替代传统格式化方式
- 对于需要兼容C++20之前标准的旧项目，可以暂时保留原有格式化方式，待项目升级后再逐步替换
- 格式化复杂自定义类型时，提前做好
std::formatter的特化，提升代码复用性 - 注意format库的异常行为，当格式字符串错误或者参数不匹配时，
std::format会抛出std::format_error异常，实际使用时可以根据需要添加异常处理逻辑
异常处理示例：
#include <iostream>
#include <format>
#include <stdexcept>
int main() {
try {
// 格式说明符错误，会抛出std::format_error
std::string wrong = std::format("{:z}", 10);
} catch (const std::format_error& e) {
std::cout << "格式化错误：" << e.what() << std::endl;
}
return 0;
}