c++ 异常处理（1）(四)
ibstdc++.so.6
#3 0x08048979 in test_func3 () at exc.cc:6
#4 0x080489ac in test_func2 () at exc.cc:16
#5 0x08048a52 in test_func1 () at exc.cc:29
#6 0x08048ad1 in main () at exc.cc:39
(gdb)
复制代码
从这个调用栈可以看出，异常抛出后，我们的程序都做了些什么。如果你觉得好玩，你甚至可以尝试去hook掉其中某些函数，从而改变异常处理的行为，这种hack的技巧在某些时候是很有用的，比如说我现在用到的一个场景：
我们使用了一个第三库，这个库里有一个消息循环，它是放在一个try/catch里面的。
复制代码
void wxEntry()
{
try
{
call_user_func();
}
catch(...)
{
unhandled_exception();
}
}
复制代码
call_user_func()会调用一系列的函数，其中涉及我们自己写的代码，在某些时候我们的代码抛异常了，而且我们没有捕捉住，因此wxEntry里最终会catch住，调用unhandled_exception(), 这个函数默认调用一些清理函数，然后把程序abort，而在调用清理函数的时候，由于我们的代码已经行为不正常了，在种情况下去清理通常又会引出很多其它的奇奇怪怪的错误，最后就算得到了coredump也很难判断出我们的程序哪里出了问题。所以我们希望当我们的代码抛出异常且没有被我们自己处理而在wxEntry()中被捕捉了的话，我们可以把抛异常的地方的调用栈给打出来。
一开始我们尝试把__cxa_throw给hook了，也就是每当有人一抛异常，我们就把当时的调用栈给打出来，这个方案可以解决问题，但是问题很明显，它影响了所有抛异常的代码的执行效率，毕竟收集调用栈相对来说是比较费时的。
其实我们并没必要对每个throw都去处理，问题的关键就在于我们能不能识别出我们所想要处理的异常。
在这个案例中，我们恰恰可以，因为所有没被处理的异常，最终都会统一上抛到wxEntry中，那么我们只要hook一下personality routine，看看当前unwind的是不是wxEntry不就可以了吗！
复制代码
#include
#include
#include
#include
#include
using namespace std;
void test_func1();
static personality_func gs_gcc_pf = NULL;
static void hook_personality_func()
{
gs_gcc_pf = (personality_func)dlsym(RTLD_NEXT, "__gxx_personality_v0");
}
static int print_call_stack()
{
//to do.
}
extern "C" _Unwind_Reason_Code
__gxx_personality_v0 (int version,
_Unwind_Action actions,
_Unwind_Exception_Class exception_class,
struct _Unwind_Exception *ue_header,
struct _Unwind_Context *context)
{
_Unwind_Reason_Code code = gs_gcc_pf(version, actions, exception_class, ue_header, context);
if (_URC_HANDLER_FOUND == code)
{
//找到了catch所有的函数
//当前函数内的指令的地址
void* cur_ip = (void*)(_Unwind_GetIP(context));
Dl_info info;
if (dladdr(cur_ip, &info))
{
if (info.dli_saddr == &test_func1)
{
// 当前函数是目标函数
print_call_stack();
}
}
}
return code;
}
void test_func3()
{
char* p = new char[2222222222222];
cout << "test func3" << endl;
}
void test_func2()
{
cout << "test func2" << endl;
try
{
test_func3();
}
catch (int)
{
cout << "catch 2" << endl;
}
}
void test_func1()
{
cout << "test func1" << endl;
try
{
test_func2();
}
catch (...)
{
cout << "catch 1" << endl;
}
}
int main()
{
hook_personality_func();
test_func1();
return 0;
}