Когда я работал над своей курсовой про то, как передавать С++ исключения из ядра ОС пользовательским программам, я изучал, как работают исключения в С++ и в этом мне очень помогла эта серия статей с Хабра. Теперь я хочу дополнить некоторые моменты, которые недостают в этой серии статей.
Запуск кода автора изначальной серии статей
Первое, что вы заметите, если будете изучать работу исключений С++ по той серии - это то, что код, приведённый там, падает с Segmentation Fault, если вы используете 64-ёх битный процессор.
Дело в том, что в 64-ёх битном режиме компилятор g++ пишет указатель на структуру std::type_info в совершенно диком виде. Чтобы его раскодировать, нужен такой код:
void* read_int_tbltype(const int* ptr, uint8_t type_encoding) {
if (type_encoding == 3) {
return (void *) *ptr; // случай кодировки здорового человека
// так было в 32-ух битном gcc и в clang
} else if (type_encoding == 0x9b) { // 64-ёх битный режим курильщика (gcc)
uintptr_t result = *ptr;
if (result == 0) {
return nullptr;
}
result += (uintptr_t) ptr;
result = *((uintptr_t*)result);
return (void *)result;
} else {
exit(0);
}
}Дополнения к функциям C++ ABI, чтобы сделать реализацию более корректной
В репозитории автора изначальной серии статей функции __cxa_begin_catch и __cxa_end_catch не делают ничего, кроме отладочного вывода.
В реальности у этих двух функций две задачи: во-первых,__cxa_begin_catch должна получить по указателю структуру _Unwind_Exception и вернуть указатель на выброшенное исключение, чтобы код catch блока мог получить к нему доступ - иначе читать его он не сможет. Во-вторых, эти две функции должны обеспечить вызов деструктора выброшенного исключения и освобождение памяти, выделенной для исключения и информацию об исключении. Для этого первая функция должна положить это исключение на стек исключений, а вторая - вызвать его деструктор, если надо, а потом осводобить память. Стек исключений нужен на случай, если одновременно в обработке будут два исключения. Он должен быть thread_local. Итоговый код получается такой:
// for freeing exceptions
thread_local __cxa_exception* last_exception;
void* __cxa_begin_catch(void* raw_unwind_exception) throw() {
auto unwind_exception = (_Unwind_Exception *)raw_unwind_exception;
__cxa_exception* exception_header = (__cxa_exception*)(unwind_exception + 1) - 1;
exception_header->nextException = last_exception;
last_exception = exception_header;
return exception_header + 1;
}
void __cxa_end_catch() {
// we need do destroy the last exception
__cxa_exception* exception_header = last_exception;
last_exception = exception_header->nextException;
if (exception_header->exceptionDestructor) {
(*exception_header->exceptionDestructor)(exception_header + 1);
}
free(exception_header->exceptionTypeName);
__cxa_free_exception((char *)(exception_header + 1));
}Ещё есть функция __cxa_get_exception_ptr она вызывается в том случае, если исключение ловится по ссылке, поэтому код из репозитория автора оригинальной статьи компилируется без неё. Эта функция в основном аналогична функции __cxa_begin_catch и возвращает указатель на оригинальное исключение.
void* __cxa_get_exception_ptr(_Unwind_Exception* unwind_exception) {
__cxa_exception* exception_header = (__cxa_exception*)(unwind_exception + 1) - 1;
return exception_header + 1;
}Кажется, это всё, что я дополнил к реализации из репозитория автора оригинальной статьи. Мой код можно посмотреть здесь. Единственное (кажется), что там не реализовано - это то, что catch блок может поймать не только то исключение, которое указано у него, но и те, что от него унаследованы.
Если интересно, в следующий раз я могу написать про реализацию поддержки thread_local переменных.
