多线程与信号捕获：线程行为疑问及信号下优雅退出需求

我了解到信号会被传递给进程中的任意线程，但通过如下测试代码验证时，发现了三种不同行为：

#include <iostream>
#include <thread>
#include <vector>
#include <chrono>

void foo(int i) {
  while (true) {
    std::cout << i << std::endl;
    std::this_thread::sleep_for(std::chrono::seconds(1));
  }
}
int main() {
  std::vector<std::thread> t;
  for (int i = 0 ; i < 5 ; i++) {
    t.emplace_back([=] {
      foo(i);
    });
  }
  for (auto& v : t)
    v.join();
}

一、三种行为的原因解析 #

1. 未调用detach/join时触发abort #

这确实是未定义行为的标准表现。C明确规定：当std::thread对象处于可结合状态（既没执行join也没执行detach）时，其析构函数会调用std::terminate()终止进程，libcabi的实现就是通过触发abort来执行这个逻辑。

2. detach后主线程直接退出无输出 #

主线程执行完main函数后会直接终止整个进程，而进程终止会强制杀死所有所属线程，不管线程是否完成任务。这里主线程调用detach后没有任何阻塞逻辑，直接走到main末尾，进程立即终止，子线程还没来得及执行cout输出就被销毁，因此看不到任何内容。

3. join时信号终止所有线程 #

你的认知存在偏差：默认情况下，SIGINT（Ctrl+C）这类终止信号是发送给整个进程，而非单个随机线程。当进程收到这类信号时，操作系统会直接终止整个进程，所有线程自然都会被终止。只有通过pthread_kill这类接口显式指定线程发送信号时，才会仅终止目标线程。

二、信号触发时所有线程退出的最简实现 #

核心思路是捕获信号、设置线程安全的退出标志，让所有子线程主动检测标志并退出，最后主线程等待所有子线程完成。

#include <iostream>
#include <thread>
#include <vector>
#include <chrono>
#include <csignal>
#include <atomic>

// 原子变量保证线程间操作的可见性与原子性
std::atomic<bool> g_exit_flag = false;

void signal_handler(int sig) {
    g_exit_flag = true;
}

void foo(int i) {
    while (!g_exit_flag) {
        std::cout << i << std::endl;
        std::this_thread::sleep_for(std::chrono::seconds(1));
    }
    std::cout << "线程 " << i << " 退出..." << std::endl;
}

int main() {
    // 注册SIGINT（Ctrl+C）信号处理函数
    std::signal(SIGINT, signal_handler);

    std::vector<std::thread> threads;
    for (int i = 0; i < 5; ++i) {
        threads.emplace_back(foo, i);
    }

    // 等待所有子线程退出
    for (auto& t : threads) {
        t.join();
    }

    std::cout << "主线程退出..." << std::endl;
    return 0;
}

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