为何std::format()因格式说明符错误在运行时抛异常而非编译时报错？

先看这段能正常编译但运行时崩溃的代码：

std::cout << std::format("{:*<{}}", 10, "Hello") << std::endl;

运行时抛出的错误信息：

terminate called after throwing an instance of 'std::format_error'
  what():  format error: argument used for width or precision must be a non-negative integer

问题根源是参数顺序错误，正确写法应该把字符串放在前面、数值宽度放在后面：std::format("{:*<{}}", "Hello", 10)。

但让人疑惑的是，std::format的第一个参数是std::format_string<...>类型，它通过consteval构造函数在编译时检查格式字符串与参数的匹配性——比如std::format("{}")会直接编译失败，因为格式字符串需要参数但未提供。那为什么上面的代码没触发编译错误？明明const char*不能作为宽度说明符。

核心原因：编译时检查的边界限制 #

std::format的编译时检查并非覆盖所有错误场景，针对宽度/精度参数的类型验证，标准并没有强制要求编译器在编译时完成：

• 宽度/精度参数的要求是可转换为std::size_t的非负值，但编译器无法在编译时验证两个关键点：一是参数能否合法转换为std::size_t（比如const char*可以隐式转换为std::size_t，但转换结果是指针地址，完全不是合法宽度）；二是参数在运行时的值是否为非负整数。
• 编译时检查主要聚焦在占位符数量与参数数量是否匹配、参数是否属于可格式化的类型这类能在编译期明确判定的规则，而宽度/精度的合法性验证被标准划归为运行时检查的范畴。

简单来说，编译器只确保你传了足够多的参数，且参数是可以被格式化的类型，但不会提前验证宽度参数的实际类型是否符合语义要求——这类检查只能在运行时执行，当发现参数无法转换为合法的非负整数时，就会抛出std::format_error。

内容的提问来源于stack exchange，提问作者Walter Svenddal