c++ - 保持函数参数的 consteval-ness

Question

我正在使用整洁的 fmt 库，如果编译器支持相关功能，它在其版本 8 中会对其格式字符串进行编译时检查。

在某些时候，我想编写以下代码：

throw my_exception("error: {}", 123);

可悲的是，天真的实现：

struct my_exception : std::runtime_error {
  template<typename... Args>
  my_exception(Args&&... args)
    : std::runtime_error{fmt::format(std::forward<Args>(args)...)} 
  { }
};

失败，因为这失去了字符串文字参数的“consteval-ness”，这是fmt::format. 目前，我选择了以下内容：

template<std::size_t N>
struct literal {
  constexpr literal(const char (&str)[N]) noexcept {
    std::copy_n(str, N, this->str);
  }

  char str[N];
};

template<literal lit>
struct exception : std::runtime_error {
  template<typename... Args>
  exception(Args&&... args)
    : std::runtime_error{fmt::format(lit.str, std::forward<Args>(args)...)}
  {

  }
};

被称为

throw my_exception<"foo {}">(123);

如何在保持编译时检查的同时恢复正常的函数调用语法？

Answer 1

在 {fmt} 8.0 及更高版本中，您可以使用format_string模板来执行此操作，顾名思义，该模板表示格式字符串 ( https://godbolt.org/z/bqvvMMnjG )：

struct my_exception : std::runtime_error {
  template <typename... T>
  my_exception(fmt::format_string<T...> fmt, T&&... args)
    : std::runtime_error(fmt::format(fmt, std::forward<T>(args)...)) {}
};