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

I'm trying to create an exception class that uses a parameter pack constructor in c++

本文关键字：c++ 参数 异常 构造函数 一个 创建      更新时间：2023-10-16

我正在创建名为app_exception的自定义异常类，该异常类派生自runtime_exception。我想在构造函数中放置多个参数，但我无法弄清楚为什么代码无法编译。我通常将va_start与...一起使用，但我正在尝试使用参数包执行此操作。

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."};

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

return std::to_string(args);

没有扩展args....

但不能展开args...std::to_string()因为只能接受一个参数。

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

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)...)}
{ }
};
相关文章：