C++中的std--format 如何实现编译期格式检查.docx

第

C++中的std::format?如何实现编译期格式检查

C++20的std::format是一个很神奇、很实用的工具，最神奇的地方在于它能在编译期检查字符串的格式是否正确，而且不需要什么特殊的使用方法，只需要像使用普通函数那样传参即可。

#includeformat

inta=1;

std::strings1=std::format(a:{},a);//OK

std::strings2=std::format(a:{},b:{},a);//编译错误

C++20的std::format来自一个著名的开源库{fmt}。在C++20之前，fmt需要为每个字符串字面量创建不同的类型才能实现编译期格式检查。fmt提供了一个FMT_STRING宏以简化使用的流程。

#includefmt/format.h

inta=1;

std::strings1=fmt::format(FMT_STRING(a:{}),a);//OK

std::strings2=fmt::format(FMT_STRING(a:{},b:{}),a);//编译错误

C++20有了consteval后就不用这么别扭了。consteval函数与以前的constexpr函数不同，constexpr函数只有在必须编译期求值的语境下才会在编译期执行函数，而consteval函数在任何情况下都强制编译期求值。std::format就是利用consteval函数在编译期执行代码，来检查字符串参数的格式。

然而std::format自身不能是consteval函数，只好曲线救国，引入一个辅助类型std::format_string，让字符串实参隐式转换为std::format_string。只要这个转换函数是consteval函数，并且把格式检查的逻辑写在这个转换函数里面，照样能实现编译期的格式检查。

这里我们实现了一个极简版的format，可以检查字符串中{}的数量是否与参数的个数相同。format_string的构造函数就是我们需要的隐式转换函数，它是一个consteval函数。若字符串中{}的数量不对，则代码会执行到throw这一行。C++的throw语句不能在编译期求值，因此会引发编译错误，从而实现了在编译期检查出字符串的格式错误。

namespacemy{

templateclass...Args

classformat_string{

private:

std::string_viewstr;

public:

templateclassT

requiresstd::convertible_toconstT,std::string_view

constevalformat_string(constTs)

:str(s)

std::size_tactual_num=0;

for(std::size_ti=0;i+1str.length();i++){

if(str[i]=={str[i+1]==}){

actual_num++;

constexprstd::size_texpected_num=sizeof...(Args);

if(actual_num!=expected_num){

throwstd::format_error(incorrectformatstring);

std::string_viewget()const{returnstr;}

templateclass...Args

std::stringformat(format_stringstd::type_identity_tArgs...fmt,Args...args){

//省略具体的格式化逻辑

}

有一个细节，此处format函数的参数写的是format_stringstd::type_identity_tArgs...，直接写format_stringArgs...是无法隐式转换的，因为模板实参推导(templateargumentdeduction)不会考虑隐式转换，C++20提供了一个工具std::type_identity可以解决这个问题。std::type_identity其实就是一个关于类型的恒等函数，但是这么倒腾一下就能在模板实参推导中建立非推导