c++ 异常处理（1）(二)
码中写下"throw xxx"时，编译器会分配一个结构来表示该异常，该异常有一个头部，定义如下：
复制代码
struct __cxa_exception
{
std::type_info * exceptionType;
void (*exceptionDestructor) (void *);
unexpected_handler unexpectedHandler;
terminate_handler terminateHandler;
__cxa_exception * nextException;
int handlerCount;
int handlerSwitchValue;
const char * actionRecord;
const char * languageSpecificData;
void * catchTemp;
void * adjustedPtr;
_Unwind_Exception unwindHeader;
};
复制代码
注意其中最后一个变量：_Unwind_Exception unwindHeader，就是前面Itanium接口里提到的接口内部用的结构体。当用户throw一个异常时，编译器会帮我们调用相应的函数分配出如下一个结构：
其中_cxa_exception就是头部，exception_obj则是"throw xxx"中的xxx，这两部分在内存中是连续的。
异常对象由函数__cxa_allocate_exception()进行创建，最后由__cxa_free_exception()进行销毁。
当我们在程序里执行了抛出异常后，编译器为我们做了如下的事情：
1）调用__cxa_allocate_exception函数，分配一个异常对象。
2）调用__cxa_throw函数，这个函数会将上面分配的异常对象做一些初始化。
3）__cxa_throw() 会被用Itanium ABI里的_Unwind_RaiseException()从而开始unwind.
4) 找到对应的catch代码，调用__cxa_begin_catch()
5) 执行catch中的代码。
6）调用__cxa_end_catch().
7) 调用_Unwind_Resume().
从c++的角度看，一个完整的异常处理流程就完成了，当然，其中省略了很多的细节。
Unwind的过程
unwind的过程是从__cxa_throw()里开始的，请看如下源码：
复制代码
extern "C" void
__cxxabiv1::__cxa_throw (void *obj, std::type_info *tinfo,
void (_GLIBCXX_CDTOR_CALLABI *dest) (void *))
{
PROBE2 (throw, obj, tinfo);
// Definitely a primary.
__cxa_refcounted_exception *header = __get_refcounted_exception_header_from_obj (obj);
header->referenceCount = 1;
header->exc.exceptionType = tinfo;
header->exc.exceptionDestructor = dest;
header->exc.unexpectedHandler = std::get_unexpected ();
header->exc.terminateHandler = std::get_terminate ();
__GXX_INIT_PRIMARY_EXCEPTION_CLASS(header->exc.unwindHeader.exception_class);
header->exc.unwindHeader.exception_cleanup = __gxx_exception_cleanup;
#ifdef _GLIBCXX_SJLJ_EXCEPTIONS
_Unwind_SjLj_RaiseException (&header->exc.unwindHeader);
#else
_Unwind_RaiseException (&header->exc.unwindHeader);
#endif
// Some sort of unwinding error. Note that terminate is a handler.
__cxa_begin_catch (&header->exc.unwindHeader);
std::terminate ();
}
复制代码
如前面所说，unwind分为两个阶段，一个用来搜索catch，一个用来清理调用栈：
复制代码
/* Raise an exception, passing along the given exception object. */
_Unwind_Reason_Code
_Unwind_RaiseException(struct _Unwind_Exception *exc)
{
struct _Unwind_Context this_context, cur_context;
_Unwind_Reason_Code code;
uw_init_context (&this_context);
cur_context = this_context;
/* Phase 1: Search. Unwind the stack, calling the personality routine
with the _UA_SEARCH_PHASE flag set. Do not modify the stack yet. */
while (1)
{
_Unwind_FrameState fs;
code = uw_frame_state_for (&cur_context, &fs);
if (code == _URC_END_OF_STACK)
/* Hit end of stack with no handler found. */
return _URC_END_OF_STACK;
if (code != _URC_NO_REASON)
/* Some error encountered. Ususally the unwinder doesn't
diagnose these and merely crashes. */