c++ - C++ 最简单的 RTTI 实现是什么？

Question

我正在尝试为嵌入式操作系统实现异常处理，但我被困在如何检测抛出的“异常”的类型（以选择适当的处理程序）。

异常处理的保存和恢复上下文部分已经完成，但我不能有特定的句柄，因为我无法检测到抛出的“异常”的类型。c++ 的标准 RTTI 实现过于依赖其他库，因此我目前认为它不可用。

考虑到我的目标是嵌入式系统，因此我无法创建太多代码，我可以获得（或制作）的“运行时类型信息”的最小实现是什么？

- 编辑 -

我不在编译器上工作，它是一个 ia32-g++。

score 11 · Accepted Answer

当您在嵌入式环境中工作时，您可能喜欢极少的解决方案，并且您可以利用有关编译器的非标准或不可移植的事实。

如果一个类在 C++ 中是多态的（至少有一个自己的虚函数），它可能有一个指向嵌入其中某处的 vtable 的指针。可能是 vtable 指针出现在内存中对象布局的开头。

许多编译器都是如此，那些使用 C++ ABI 的编译器 -这里是一个相关的 SO 问题。

如果是这样，您也许可以像这样访问 vtable：

void *get_vtable(void *obj)
{
    return *(reinterpret_cast<void **>(obj));
}

然后你可以比较两个指向对象的指针的vtables，看看它们是否指向相同类型的对象。

所以一个“类型开关”（这就是 catch 基本上是）会做这样的事情：

P p;
Q q;
if (get_vtable(caught) == get_vtable(&p))
{
    // it's a P...
}
else if (get_vtable(caught) == get_vtable(&q))
{
    // it's a Q...
}

您可以在 CATCH 宏中隐藏该模式。

重要的一点- 如果您从基类派生一个类，但派生类没有覆盖任何虚函数或添加任何新的虚函数，那么编译器可以想象为派生类重用基类的 vtable。这意味着为了区分两种异常类型，它们必须各自覆盖一个虚函数，以确保它们有自己的 vtable。

请注意，这只是异常处理所涉及的一小部分。还有展开堆栈的小问题！当您跳转到处理程序时，您需要调用堆栈上所有对象的析构函数。这不仅仅是执行 setjmp/longjmp 的问题。

score 2 · Accepted Answer

我能想到的最简单的 RTTI 是从具有纯虚拟“GetType()”函数的公共基础派生所有类。要么让它返回一个字符串，要么创建一个包含所有类型的巨大枚举。它非常简单，快速且内存开销低。但是，不是特别灵活。

2 回答 2