1

我正在创建名为的自定义异常类app_exception，它派生自runtime_exception. 我想在构造函数中放置多个参数，但我不知道为什么代码无法编译。我通常使用va_startwith ...，但我正在尝试使用 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."};
4

1 回答 1

2

问题出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)...)}
       { }
 };
于 2019-12-08T20:10:33.277 回答