关于C++异常处理的第19篇文章:我们已经编写了一个personality函数。目前为止,它通过读LSDA,能够在正确的栈帧上选择正确的着陆垫以处理抛出异常,但在一个着陆垫里找出正确的catch有些困难。为了最终得到一个合适的personality合适,我们需要仔细查阅.gcc_except_table里的所有活动表,查看异常可以处理的所有类型。
记得活动表吗?让我们再来看它,不过这次对一个带有多个catch块的try。
|
|
如果我们旨在上面的例子里读着陆垫支持的异常(顺便提一下,就是catchit函数的LSDA),我们需要像这样做:
- 从调用表获取活动偏移,2:记住你将实际读偏移加1,因此0意味着没有活动。
- 去往活动偏移2,获取类型索引1。类型表以反序索引(即我们有一个指向它末尾的指针,我们需要使用-1 * index来访问每个元素)。
- 去到types_table[-1];对Fake_Exception你讲得到一个指向type_info的指针。
- Fake_Exception不是要抛出的当前异常;得到我们当前活动(0x7d)下一个活动的偏移
- 以uleb128读0x7d实际产生-3;从我们读这个偏移的位置回退3字节找到下一个活动
- 读类型索引2
- 这次得到Exception的type_infp;它匹配要抛出的当前异常,因此我们可以设置着陆垫
这听起来复杂,因为每一步有许多间接成分,但你可以在我的github repo里查看这个项目的完整代码。
在上面的链接里你还将看到一个红利:修改personality函数正确地检测及使用catch(…)块。这是一个简单的改变,因为personality函数知道如何读类型表:带有一个空指针的类型(即在这个表里的位置不是保存std::type_info的有效指针,而是空指针)表示一个catch all块。这有一个有趣的副作用:catch(T)将能够仅处理原生(即来自C++)异常,而catch(…)也能捕捉不是从C++里抛出的异常。
最终我们知道异常如何抛出,栈如何回滚,personality函数如何选择正确的栈帧来处理异常,以及如何选择着陆垫里正确的catch,但我们仍然有更多的问题要解决:运行析构函数。下次我们将修改personality函数来支持RAII对象。