C ++运行时如何确定抛出异常的类型？

Question

如果我执行以下操作，运行时如何确定抛出异常的类型？ 它是否使用RTTI？

try
{
  dostuff(); // throws something
}
catch(int e)
{
  // ..
}
catch (const char * e)
{
  // ..
}
catch (const myexceptiontype * e)
{
  // ..
}
catch (myexceptiontype e) // is this the same as the previous handler?
{
  // ..
}

---

也可以看看：

如何实现C ++异常处理运行时？

Answer 1

与其他问题中提出的问题不同，这个问题的答案可以完全通过标准来回答。 这是规则

处理程序是E类型的异常对象的匹配项

• 处理程序的类型为cv T或cv T＆，E和T的类型相同（忽略顶级cv限定符），或者
• 处理程序的类型为cv T或cv T＆T是E的明确公共基类，或
• 处理程序的类型为cv1 T * cv2，E是一种指针类型，可以通过其中一个或两个转换为处理程序的类型
  • 标准指针转换（4.10），不涉及到指向私有或受保护或模糊类的指针的转换
  • 资格转换

[注意：throw-expression是整数类型的整数常量表达式，其计算结果为零，与指针类型的处理程序不匹配; 也就是说，空指针常量转换（4.10,4.11）不适用。 ]

由于我不太确定你对标准的理解水平，我会留下无法解释的，并按你的要求回答。

关于它是否使用RTTI - 好吧，抛出的异常对象的类型是你移交给throw语句的表达式的静态类型 （前一段时间，我很高兴在GCC中解决这个问题）。 所以它不需要做运行时类型识别。 因此，使用g++ ，在throw出现的那一侧，它会移交一个std::type_info对象，表示异常对象的类型，对象本身和析构函数。

然后抛出它，并搜索帧以寻找匹配的处理程序。 使用大表（位于名为.eh_frame的部分）中找到的信息，并使用返回地址，它查看哪个函数负责下一次处理。 该函数将安装一个个性例程，以确定它是否可以处理异常。 整个过程在由@PaV链接的Itanium C ++ ABI（由G ++实现）中描述（当然更详细）。

所以，总结一下

myexceptiontype e

和

const myexceptiontype *e

当然，不要处理相同的类型。

Answer 2

没有实施规范。 实现必须遵循标准，并且对其实现方式没有限制。 并且有一个以上的实现，即使对于一个编译器也是如此。

您可以在此处阅读其中一个此类实现的示例：

Itanium C ++ ABI：异常处理