C++Builder安卓平台嵌套try块引发Segmentation fault问题求助

问题复现 #

使用C++Builder开发时，嵌套__finally块的代码在第一个__finally执行后触发Segmentation Fault，复现代码如下：

void __fastcall foo()
{
    int a = 123;
    try {
        try {
            throw Exception(L"asd");
        } __finally {
            int q = 7899;
        }
    } __finally {
        int b = 12;
    }
    int c = 123;
}

另外，尝试在__finally块中通过ExceptObject()重新抛出异常的代码，仅在单线程环境正常，多线程下会捕获到其他线程的异常：

Exception* e = (Exception*)ExceptObject();          
if (0 != e && e->HelpContext != HelpContextIgnoreError) 
   throw Exception(e->Message, e->HelpContext);

问题分析 #

1. 异常传播未被正确处理：内层try抛出异常后，内层__finally执行完毕，但异常未被任何catch块捕获，导致异常上下文在传递过程中被破坏，触发段错误。C++Builder的__finally属于结构化异常处理（SEH）范畴，未处理的异常会直接终止进程或引发内存错误。
2. ExceptObject()的线程安全问题：ExceptObject()依赖线程全局存储返回当前线程的异常对象，多线程环境下线程切换时，可能获取到其他线程正在处理的异常，导致逻辑错误。

解决方案 #

1. 添加异常捕获块，终止异常传播 #

在外层try块后添加catch块，显式处理异常，避免无处理的异常破坏上下文：

void __fastcall foo()
{
    int a = 123;
    try {
        try {
            throw Exception(L"asd");
        } __finally {
            int q = 7899;
        }
    } catch (Exception& e) {
        // 按需处理异常，比如写入日志、提示用户等
        ShowMessage(L"捕获异常：" + e.Message);
    } __finally {
        int b = 12;
    }
    int c = 123;
}

2. 线程安全的异常重抛方案 #

如果需要在__finally中处理并重新抛出异常，通过局部变量保存当前线程的异常，避免依赖ExceptObject()的全局线程存储：

void __fastcall foo()
{
    Exception* currentThreadException = nullptr;
    int a = 123;
    try {
        try {
            throw Exception(L"asd");
        } catch (Exception& e) {
            // 保存当前线程的异常副本
            currentThreadException = new Exception(e.Message, e.HelpContext);
            throw; // 继续抛出，确保内层__finally执行
        } __finally {
            int q = 7899;
        }
    } __finally {
        int b = 12;
        // 处理保存的异常
        if (currentThreadException) {
            try {
                // 按需重新抛出或处理
                throw currentThreadException;
            } catch (Exception& e) {
                ShowMessage(L"__finally中处理异常：" + e.Message);
                delete currentThreadException;
            }
        }
    }
    int c = 123;
}

3. 检查并升级C++Builder版本 #

部分旧版本的C++Builder在嵌套SEH块的异常处理逻辑中存在bug，升级到最新稳定版（如11 Alexandria或更高）可能直接解决该段错误问题。

内容的提问来源于stack exchange，提问作者Levon Zurnachyan