我正在尝试创建一个使用 C++ 中的参数包构造函数的异常 class
I'm trying to create an exception class that uses a parameter pack constructor in c++
我正在创建名为 app_exception
的自定义异常 class,它派生自 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()
只接受一个参数
我想你可以用不同的名称重命名第一个 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), ...);
题外话:当你没有转发参考时避免完美转发(如本例)
建议:在无模板 class 中转换 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)...)}
{ }
};
我正在创建名为 app_exception
的自定义异常 class,它派生自 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()
只接受一个参数
我想你可以用不同的名称重命名第一个 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), ...);
题外话:当你没有转发参考时避免完美转发(如本例)
建议:在无模板 class 中转换 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)...)}
{ }
};