为何std::atomic<bool>程序陷入无限循环？atomic<int>却正常运行

算力阿峰

2026-5-15

问题分析与解决方案

这个问题其实和std::atomic<bool>本身无关，也和vector<bool>的特化问题扯不上关系——你踩了悬空引用的经典坑！

核心原因

你在main函数里定义的std::atomic<bool> stop(false);是局部变量，而异步线程的lambda通过[&stop]捕获了它的引用。主线程执行完stop = true;后就直接结束了，此时stop作为局部变量会被立即销毁。但异步线程此时大概率还在运行，它会继续访问这个已经被销毁的变量的引用，这属于C++里的未定义行为。

为什么换成std::atomic<int>看起来正常？这只是未定义行为的一种随机表现而已——未定义行为意味着任何结果都可能发生，包括“碰巧正常退出”，但这完全是巧合，不是真正解决了问题。

关于`std::atomic<bool>`的疑问

std::atomic<bool>并没有类似vector<bool>的问题：vector<bool>是因为把多个bool值压缩到单个字节存储，导致每个元素不是独立的对象；而std::atomic<bool>是标准的原子类型，它的实现保证了原子操作的正确性，不存在这种特化带来的坑。

修复方案

最直接且规范的修复方式是让主线程等待异步线程完成，避免局部变量提前销毁。只需要在main函数末尾添加f.get();即可：

#include <algorithm>
#include <memory>
#include <utility>
#include <iostream>
#include <vector>
#include <functional>
#include <future>
#include <chrono>
using namespace std;
using namespace chrono_literals;

void send_heart_beat() {
 cout << "sending heartbeat" << endl;
}

std::future<void> f;

int main() {
 std::atomic<bool> stop(false);
 f = std::async(std::launch::async,[&stop]() {
 while(!stop) {
 send_heart_beat();
 std::this_thread::sleep_for(1s);
 }
 });
 std::this_thread::sleep_for(5s);
 stop = true;
 f.get(); // 等待异步线程结束后再销毁stop
}

另外还有其他可选方案：