pthread_exit能否与noexcept函数搭配使用？相关技术咨询

我设计的程序模型里，主线程只做少量工作，几乎所有任务都交给工作线程执行，核心要求是主线程永不崩溃，且始终能正常返回给操作系统。当关键资源不可用（比如malloc分配失败）时，我希望直接终止工作线程来简化错误处理，不用在每个分配或临界区里写复杂的错误分支。

示例代码 #

void BlockMainThread () noexcept; // 等待信号量
void ReleaseMainThread () noexcept; // 释放信号量

int gExitStatus = 0;
bool gShouldRun = true;

[[noreturn]]
void
KillThread (int pExitStatus) noexcept
{
    gExitStatus = pExitStatus;

    ReleaseMainThread ();

    pthread_exit (nullptr); // Linux下内部会调用__forced_unwind
}

void *
Malloc (int pSize) noexcept
{
    void * ptr = malloc (pSize);

    if (!ptr)
        KillThread (1);

    return ptr;
}

void *
ThreadFunc (void *) noexcept // 所有工作线程执行的函数
{
    printf ("Thread Started\n");

    while (gShouldRun) { // 持续工作直到退出信号

        char * ptr = (char *) Malloc (100000);

        // 直接操作ptr，无需检查是否为NULL

        free (ptr);
    }

    return nullptr;
}

int
main ()
{
    pthread_t tid1;
    pthread_t tid2; // 更多线程...

    pthread_create (&tid1, nullptr, ThreadFunc, nullptr); // 创建更多线程...

    BlockMainThread ();

    gShouldRun = false; // 让线程退出循环

    pthread_join (tid1, nullptr); // 等待所有线程结束

    if (gExitStatus == 0) // 一切正常
        return 0;

    // 根据gExitStatus记录错误信息
    printf ("Something went wrong\n");

    return gExitStatus;
}

问题场景 #

现在所有函数都标记了noexcept，理论上不会抛出异常，否则会触发std::terminate导致主线程无法正常返回。但Linux平台下pthread_exit内部会抛出abi::__forced_unwind这个特殊异常，这个异常必须沿栈帧传播不能捕获，所以会触发std::terminate，阻碍主线程记录错误信息；如果去掉noexcept标记，线程就能正常展开栈，主线程也能按预期执行。这个问题只在Linux出现，苹果和安卓平台没有这个异常抛出机制。

我现在有三个问题：

1. 调用pthread_exit时，怎么避免noexcept函数触发std::terminate？
2. 用这种线程终止模型的话，还能不能用noexcept？
3. 有没有Linux平台特定的 workaround，能实现苹果和安卓的行为？

背景补充 #

• 平台差异：Linux下pthread_exit通过__forced_unwind做栈展开和清理，会抛出异常；苹果和安卓没有这个机制。
• 异常处理：__forced_unwind是特殊异常，必须通过栈帧传播，捕获后不重新抛出会导致未定义行为。
• 资源管理目标：在不复杂化每个分配或临界区错误处理的前提下，干净地终止工作线程。

问题解答 #

1. 调用pthread_exit时避免noexcept触发std::terminate的方法 #

Linux下的abi::__forced_unwind属于编译器/运行时内部的特殊异常，C++标准未定义，但GCC和Clang会将其视为不会触发noexcept检查的异常——前提是不主动捕获它。但如果noexcept函数直接调用pthread_exit，编译器不知道内部异常的存在，还是会触发检查。

最简洁的解决办法是利用[[noreturn]]的特性，配合编译器内置函数跳过检查：

[[noreturn]]
void KillThread(int pExitStatus) noexcept {
    gExitStatus = pExitStatus;
    ReleaseMainThread();
    pthread_exit(nullptr);
    __builtin_unreachable(); // 告诉编译器此处不会返回，跳过noexcept异常检查
}

编译器看到__builtin_unreachable()后，会认定函数不会返回，因此不会执行noexcept的异常校验逻辑，也就不会触发std::terminate。

2. 这种线程终止模型下能否使用noexcept #

可以用，但要注意：

• 直接调用pthread_exit的函数（比如KillThread），要通过上述方法规避noexcept的异常检查；
• 其他业务函数（比如Malloc、ThreadFunc）依然可以标记noexcept——因为它们的异常只会来自KillThread，而KillThread是[[noreturn]]，编译器会优化掉noexcept的检查逻辑（函数不会返回，不存在异常抛出后返回的情况）；
• 要确保除了__forced_unwind之外，其他代码不会抛出异常——如果真的有意外异常，noexcept触发std::terminate反而符合设计初衷（不允许意外异常干扰主线程）。

3. Linux平台特定的Workaround #

如果想完全模拟苹果/安卓的行为（调用pthread_exit时不触发栈展开异常），可以用以下两种方式：

方式一：用pthread_cancel替代直接调用pthread_exit

设置线程为延迟取消模式，让线程在安全的系统调用点退出，不会触发C++异常机制：

[[noreturn]]
void KillThread(int pExitStatus) noexcept {
    gExitStatus = pExitStatus;
    ReleaseMainThread();
    // 设置延迟取消（默认可能就是这个类型，显式设置更稳妥）
    pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, nullptr);
    pthread_cancel(pthread_self()); // 取消当前线程
    pthread_exit(nullptr); // 兜底，实际不会执行
}

延迟取消会让线程在printf、malloc等系统调用（取消点）终止，避免异步取消导致的资源泄漏，同时不会触发__forced_unwind异常。

方式二：用无noexcept的包装函数隔离pthread_exit

把pthread_exit放到一个不标记noexcept的函数里，让KillThread调用这个包装函数：

[[noreturn]]
void pthread_exit_wrapper() {
    pthread_exit(nullptr);
}

[[noreturn]]
void KillThread(int pExitStatus) noexcept {
    gExitStatus = pExitStatus;
    ReleaseMainThread();
    pthread_exit_wrapper(); // 调用无noexcept的包装函数
}

因为pthread_exit_wrapper不标记noexcept，允许异常传播，而KillThread是[[noreturn]]，编译器会认定它不会返回，所以不会触发KillThread的noexcept检查。

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