C++17中如何优雅通知带非阻塞循环的工作线程退出？

我来帮你理清楚C++17里非阻塞循环工作线程的退出通知方案，顺便聊聊你关心的共识和各方案优劣：

1. std::atomic_bool 方案 #

这是最直接的实现方式，工作线程通过轮询原子布尔值判断是否退出：

#include <atomic>
#include <thread>

std::atomic_bool should_exit{false};

void worker_thread() {
    while (!should_exit) {
        // 执行你的任务逻辑
        // 注意：如果没有sleep，线程会高频轮询，占用较多CPU
    }
}

int main() {
    std::thread t(worker_thread);
    // 主线程处理自身工作...
    should_exit = true; // 发送退出信号
    t.join();
    return 0;
}

优缺点：

• 优点：代码极简，不需要额外的同步原语，上手成本极低。
• 缺点：如果循环内没有天然的延迟（比如sleep_for或者耗时任务），线程会持续轮询原子变量，导致CPU使用率偏高，属于比较“传统”的实现方式。

2. std::condition_variable + bool 方案 #

这个方案通过条件变量让线程休眠，降低CPU占用，只有在超时或收到信号时才检查退出条件：

#include <condition_variable>
#include <mutex>
#include <thread>

std::mutex mtx;
std::condition_variable cv;
bool should_exit{false};

void worker_thread() {
    std::unique_lock<std::mutex> lock(mtx);
    while (!should_exit) {
        // 释放锁并进入休眠，超时或被唤醒后重新检查退出条件
        if (cv.wait_for(lock, std::chrono::milliseconds(100), []{ return should_exit; })) {
            break;
        }
        // 执行任务前先解锁，避免持有锁做耗时操作
        lock.unlock();
        // 你的任务逻辑
        lock.lock();
    }
}

int main() {
    std::thread t(worker_thread);
    // 主线程处理自身工作...
    {
        std::lock_guard<std::mutex> lock(mtx);
        should_exit = true;
    }
    cv.notify_all(); // 唤醒工作线程
    t.join();
    return 0;
}

优缺点：

• 优点：彻底解决了CPU占用问题，线程大部分时间处于休眠状态，还能灵活调整等待超时时间，甚至可以复用条件变量做其他任务唤醒。
• 缺点：复杂度高，需要同时管理互斥量、条件变量和布尔变量，稍不注意就可能出现死锁或虚假唤醒的问题（不过标准库的wait_for已经处理了虚假唤醒的重试逻辑，只要谓词写对就没问题）。

3. std::future + std::promise 方案 #

这个方案利用promise和future的就绪状态作为退出信号，内部封装了同步逻辑：

#include <future>
#include <thread>

void worker_thread(std::future<void> exit_future) {
    while (true) {
        // 等待退出信号，超时后继续执行任务
        auto status = exit_future.wait_for(std::chrono::milliseconds(100));
        if (status == std::future_status::ready) {
            break;
        }
        // 你的任务逻辑
    }
}

int main() {
    std::promise<void> exit_promise;
    std::future<void> exit_future = exit_promise.get_future();
    std::thread t(worker_thread, std::move(exit_future));
    // 主线程处理自身工作...
    exit_promise.set_value(); // 触发退出信号
    t.join();
    return 0;
}

优缺点：

• 优点：兼顾了简洁性和低CPU占用，不需要手动管理互斥量和条件变量，代码量少且不易出错。虽然promise/future原本设计用于跨线程传值，但用void类型作为通知信号完全合理，底层效率和条件变量方案相当。
• 缺点：功能相对单一，主要适合单一的退出通知场景，如果需要线程响应多种信号，不如条件变量灵活。

关于“标准/最优”方案的共识 #

在C++17的范围内，并没有绝对的“最优”或被普遍认可的“现代标准方案”，选择哪一种完全取决于你的场景需求：

• 若响应速度优先，且能接受一定CPU开销（比如线程循环本身有耗时任务）：选std::atomic_bool。
• 若CPU占用优先，且需要灵活的线程调度（比如还要用条件变量唤醒任务）：选std::condition_variable方案。
• 若追求代码简洁，只需要单一退出通知：std::future + std::promise是非常理想的选择，也是很多现代C++项目中偏好的实现方式。

补充一句：C20引入了std::stop_token和std::stop_source，这是专门为线程取消设计的标准机制，不过这已经超出了C17的范畴。

内容的提问来源于stack exchange，提问作者void.pointer