C++11多线程核心特性包括std::thread、std::mutex、std::condition_variable、std::atomic和std::future/std::promise，构成可移植并发基础设施；std::thread需显式join或detach以防析构崩溃，std::mutex应配合RAII（如lock_guard）避免死锁，std::condition_variable必须与std::unique_lock配合并用while循环防虚假唤醒，std::atomic提供单变量原子操作但不保证多变量原子性或内存序安全，各组件须严格遵循责任边界与内存模型契约。
std::thread、std::mutex、std::condition_variable、std::atomic、std::future/std::promise 这五类是 C++11 多线程最核心的新特性，不是“补充”，而是首次标准化的并发基础设施。它们共同构成了一套可移植、不依赖 pthread 或 Windows API 的原生支持。
std::thread 构造和析构必须显式处理生命周期
std::thread 对象不是“启动即忘”的句柄，它绑定着一个真实线程的所有权。
- 如果构造后既没调用 join() 也没调用 detach()，其析构函数会直接调用 std::terminate() —— 程序崩溃，不是警告。
- join() 是阻塞等待；detach() 是彻底放手，之后无法再与该线程交互（比如无法再 join，也无法检查是否完成）。
- std::thread 不可拷贝（拷贝构造和赋值被 = delete），但可移动：用 std::move(t) 转移所有权后，原对象变为不可 joinable() 状态。
常见错误现象：std::thread 对象在作用域末尾自动析构却未 join 或 detach，程序闪退且无堆栈提示。
std::mutex 必须配对使用，推荐用 RAII 封装
裸调用lock() / unlock() 极易出错：异常路径下可能漏解锁，导致死锁。
- std::lock_guard<:mutex></:mutex> 是最简方案：构造即加锁，析构即解锁，作用域一退出就安全释放。
- std::unique_lock<:mutex></:mutex> 更灵活（支持延迟锁定、条件变量配合、可移动），但开销略大，非必要不替代 lock_guard。
- std::recursive_mutex 允许同一线程多次加锁，但它是性能陷阱：实现复杂、缓存行竞争更严重，且掩盖了设计缺陷 —— 真正需要递归锁的场景，通常说明临界区划分不合理。
参数差异：std::timed_mutex 提供 try_lock_for() 和 try_lock_until()，适合避免无限等待，但需自行处理超时逻辑。
std::condition_variable 必须和 std::unique_lock 搭配使用
std::condition_variable 不能单独存在，它不保护数据，只负责“通知+等待”；真正的数据保护仍靠 std::unique_lock。
- wait() 内部会自动解锁传入的 unique_lock，挂起线程；被唤醒后重新加锁才返回 —— 这个“解锁→挂起→唤醒→加锁”原子性由标准库保证。
- 必须用 while 循环检查条件（不是 if），因为存在虚假唤醒（spurious wakeup）：线程可能无原因被唤醒，此时条件未必成立。
- notify_one() 唤醒一个等待线程；notify_all() 唤醒全部 —— 后者在高并发下可能引发“惊群”，需评估实际负载。
容易踩的坑：把 std::mutex 和 std::lock_guard 传给 wait()，编译失败；或用 std::lock_guard 替代 std::unique_lock，因前者不可移动、不支持 wait() 接口。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
std::atomic 提供无锁基础，但不等于“绝对线程安全”
std::atomic 解决的是单个变量的读-改-写原子性（如 fetch_add、compare_exchange_weak），它不保证多变量操作的原子性，也不解决内存重排问题。
- 默认内存序是 std::memory_order_seq_cst（最强一致），性能开销最大；高频场景可降级为 relaxed、acquire、release，但需精确理解同步语义。
- 对指针、结构体等类型，std::atomic 仅当底层硬件支持原子操作时才有效（例如，x86 支持 8 字节原子操作，但某些 ARM 需要 LDXR/STXR 指令配合）；否则退化为内部互斥锁，失去无锁意义。
- std::atomic<bool></bool> 和 std::atomic_flag 是唯二保证“无锁”（lock-free）的类型，其余类型需用 is_lock_free() 运行时确认。
性能影响：滥用 seq_cst 会强制全局内存屏障，在多核 NUMA 系统上显著拖慢缓存一致性协议。
C++11 多线程不是“加个头文件就能并发”，它的每个组件都带着明确的责任边界和协作契约。最容易被忽略的，是内存模型隐含的可见性约束 —— 即使用了 std::mutex 或 std::atomic，若没理解 happens-before 关系，仍可能写出看似正确、实则偶发崩溃的代码。
