std::nested_exceptions
当你想要做的只是调用时很好what()
,但是访问其他异常类型的接口变得丑陋。
让我们假设我有两个存储一些附加信息的异常类:
/* CODE BLOCK 1 */
class ErrorI : public std::runtime_error {
public:
ErrorI(int a_integer) : std::runtime_error{"ErrorI"}, integer{a_integer} {}
int integer;
};
class ErrorD : public std::runtime_error {
public:
ErrorD(double a_real) : std::runtime_error{"ErrorD"}, real{a_real} {}
double real;
};
如果没有嵌套异常,我们可以访问 try/catch 块中的成员变量:
/* CODE BLOCK 2 */
int main()
{
try {
/* do stuff */;
}
catch(const ErrorI& ee){
std::cout << " Value: " << ee.integer << std::endl;
}
catch(const ErrorD& ee){
std::cout << " Value: " << ee.real << std::endl;
}
}
但是如果我们想解开 a std::nested_exception
,事情就不那么简单了。我们需要定义一个将被递归调用的函数,它应该如下所示:
/* CODE BLOCK 3 */
void process_exception(const std::exception& e, int level=0) {
try {
std::rethrow_if_nested(e);
}
catch(const std::exception& e) {
process_exception(e, level+1);
}
/* ... process the top-most (latest) exception ... */
}
不幸的是,为了处理最顶层的异常,我们不能使用代码块 2 中的 try/catch 语法:如果我们重新抛出 e,它将被截断为 std::exception,我们将丢失所有附加信息。编辑:如果使用 std::rethrow_exception 和 std::exception_ptr 则不正确。
所以我们回到了 good-ole 动态类型检查的问题,以及它所需要的一切(参见这个例子)。
从具有所需接口的公共基类中派生所有异常。这包括像访问者模式这样的方法。这很简洁,但如果异常类是由外部库提供的,那就不好了。
使用 dynamic_cast:
/* CODE BLOCK 4 */ if (auto p = dynamic_cast<ErrorI const*>(&e)) { std::cout << " Value: " << p->integer << std::endl; } else if (auto p = dynamic_cast<ErrorD const*>(&e)) { std::cout << " Value: " << p->real << std::endl; }
???
我唯一的选择似乎诉诸于 2。如果有任何其他建议,我很想听听。