C++推断嵌套异常的类型

Question

简介:

给出:

struct X : std::runtime_error {
  using std::runtime_error::runtime_error;
};

当我们调用 std::throw_with_nested(X("foo")) 时，实际抛出的不是 X。它是从 X 和 std::nested_exception 派生的某种类型。

因此，下面的断言将失败:

const std::type_info *a = nullptr, *b = nullptr;
try
{
  throw X("1");
}
catch(X& x) {
  a = std::addressof(typeid(x));
  try {
    std::throw_with_nested(X("2"));
  }
  catch(X& x) {
    b = std::addressof(typeid(x));
  }
}
assert(std::string(a->name()) == std::string(b->name()));

我想做的是推断这两个异常是相关的。

第一次尝试:

        std::type_index
        deduce_exception_type(const std::exception* pe)
        {
            if (auto pnested = dynamic_cast<const std::nested_exception*>(pe))
            {
                try {
                    std::rethrow_exception(pnested->nested_ptr());
                }
                catch(const std::exception& e)
                {
                    return deduce_exception_type(std::addressof(e));
                }
            }
            else {
                return typeid(*pe);
            }
        }

这会失败，因为 std::nested_exception::nested_ptr() 返回指向下一个异常的指针，而不是当前异常的 X 接口(interface)。

我正在寻找(可移植的)想法和解决方案，使我能够从标准库在 std::rethrow_exception 期间抛出的“名称未知的异常”中恢复 typeid(X)。

c++14 和 c++1z 都可以。

为什么？

因为我希望能够解开一个完整的异常层次结构并通过 rpc session 传输它，完成异常类型名称。

理想情况下，我不想编写一个包含系统中所有异常类型的 catch block ，这必须按派生深度进行弱排序。

预期功能的进一步示例(以及为什么我的方法不起作用的说明):

const std::type_info *b = nullptr;
try
{
  throw std::runtime_error("1");
}
catch(std::exception&) {
  try {
    std::throw_with_nested(X("2"));
  }
  catch(X& x) {
    // PROBLEM HERE <<== X& catches a std::_1::__nested<X>, which 
    //                is derived from X and std::nested_exception
    b = std::addressof(typeid(x));
  }
}
assert(std::string(typeid(X).name()) == std::string(b->name()));

Answer 1

改编自 http://en.cppreference.com/w/cpp/error/nested_exception 的 print_exception :

const std::type_info&
deduce_exception_type(const std::exception& e)
{
    try {
        std::rethrow_if_nested(e);
    } catch(const std::exception& inner_e) {
        return deduce_exception_type(inner_e);
    } catch(...) {
    }
    return typeid(e);
}

Demo