c++ - 我正在尝试创建一个使用C++中的参数包构造函数的异常类

Question

我正在创建一个自定义的异常类app_exception，它是从runtime_exception派生的。我想在构造函数中放置多个参数，但是我无法弄清楚为什么代码无法编译。我通常将va_start与...一起使用，但是我正在尝试通过Parameter Pack来做到这一点。

template <class Base, class... Args>
class app_error final : public std::runtime_error
{
auto init_base(Args... args)
{
    return std::to_string(args);
}

auto init_base(Base msg, Args... args)
{
    static std::ostringstream stream;
    stream << msg;

    stream << init_base(std::forward<Args>(args)...);
    return stream.str().c_str();
}
public:
using base = std::runtime_error;
app_error(Base msg, Args... args) : base(init_base(msg, args...)) {}
};

我认为这很可能，但是我不确定。我想这样使用它:

throw app_error{"FAILED: Exception code is ", exceptionInteger, ". Unable to create ", 5, " needed resources."};

Answer 1

问题出在您编写的第一个init_base()中

return std::to_string(args);

不扩展 args...。

但是您不能扩展 args...，因为 std::to_string()仅接受一个参数。

我想您可以使用其他名称(例如 init_base())重命名第一个 conv()，以避免与其他版本混淆，并在模板方法中对其进行修改以将 单个参数转换为字符串

template <typename T>
auto conv (T const & arg)
 { return std::to_string(arg); } 

那么您可以在 init_base()中使用模板折叠来调用带有所有参数的 conv()，并将结果添加到流中

((stream << conv(args)), ...);

但是为什么要转换为字符串？输出流可以接受 std::to_string()接受的所有类型。

因此，您可以完全避免 conv()并只需编写

((stream << args), ...);

离题:在没有转发引用的情况下避免完美转发(在这种情况下)

建议:在无模板类中转换 app_err，将模板构造为构造函数，并按如下所示使用完美的转发[编辑:来自rafix07的更正；谢谢]

class app_error final : public std::runtime_error
 {
   private: 
      template <typename... Args>
      auto init_base (Args && ... args)
       {
         static std::ostringstream stream;

         ((stream << std::forward<Args>(args)), ...);

         return stream.str();
       }

   public:

      template <typename ... Args>
      app_error (Args && ... args)
         : std::runtime_error{init_base(std::forward<Args>(args)...)}
       { }
 };