{fmt}：始终编译时检查函数中的格式字符串

如何解决{fmt}：始终编译时检查函数中的格式字符串

我正在尝试创建一个自定义错误类，其构造函数通过将参数传递给 fmt::format() 来创建错误消息。我希望它始终在编译时根据参数检查格式字符串，而不必在每次抛出时显式使用 FMT_STRING()。类似的东西：

class Err : public std::exception 
{
private:
    std::string m_text;
public: 
    template <typename S,typename... Args>
    Err(const S& format,Args&&... args) {
        m_text = fmt::format(FMT_STRING(format),args...);
    }
    
    virtual const char* what() const noexcept {return m_text.c_str();}
};

// ------------------------ 

throw Err("Error {:d}",10);     // works
throw Err("Error {:d}","abc");  // cause Compile-time error

使用前面的代码，我在 FMT_STRING() 宏上出错：

error C2326: 'Err::{ctor}::<lambda_1>::()::FMT_COMPILE_STRING::operator fmt::v7::basic_string_view<char>(void) const': function cannot access 'format' 
message : see reference to function template instantiation 'Err::Err<char[11],int>(const S (&),int &&)' being compiled with [ S=char [11] ]

我对模板编程的经验很少。如何在不每次都显式使用 FMT_STRING() 的情况下始终在编译时检查格式字符串？

解决方法

您只能使用 this github issue 中说明的方法在 C++20 中执行此类编译时检查：

#include <fmt/format.h>

template <typename... Args>
struct format_str {
  fmt::string_view str;

  template <size_t N>
  consteval format_str(const char (&s)[N]) : str(s) {
    using checker = fmt::detail::format_string_checker<
      char,fmt::detail::error_handler,Args...>;
    fmt::detail::parse_format_string<true>(
      fmt::string_view(s,N),checker(s,{}));
  }
};

template <class... Args>
std::string format(
    format_str<std::type_identity_t<Args>...> fmt,const Args&... args) {
  return fmt::format(fmt.str,args...);
}

int main() {
  auto s = format("{:d}",42);
  fmt::print("{}\n",s);
}

Godbolt 演示：https://godbolt.org/z/qrh3ee