1. 基本概念与动机
在 C++ 并发编程中，线程安全是指多个线程并发访问同一数据时，不会导致数据损坏或不可预期的行为。通过合理使用 互斥机制，可以把对共享资源的访问变成原子性操作的组合。
互斥锁的核心作用是把对临界区的访问序列化，确保同一时刻只有一个线程进入关键代码块。
1.1 线程安全的定义与目标
在设计并发组件时，明确的目标是避免 数据竞争、避免 可见性问题，以及确保在异常或中断时也能保持一致性。
通过把对共享状态的修改放入受保护的区域，并借助编译期/运行时机制实现一致性，可以达到稳定的并发行为。
1.2 std::mutex 的角色与基本行为
标准库中的 std::mutex 提供了最常用的互斥原语。它本身并不负责执行条件等待，而是作为一个锁的对象来保护资源。
在使用时，务必结合 RAII 设计思路，即把锁的获取放在一个对象的构造阶段、解锁放在析构阶段，从而降低遗漏解锁的风险。
2. mutex 的使用要点
2.1 锁的粒度与性能
锁的粒度直接影响并发度。锁粒度越细，潜在并发越高，但也可能带来更多的锁管理开销。
设计时应尽量把对共享资源的操作缩小到只包含必要的代码段，利用 RAII 将锁放在作用域范围内，避免意外的锁未释放。
2.2 避免死锁的常见策略
死锁通常由多把锁的交叉获取引起。使用固定的锁序、避免在同一时刻同时持有多把锁，是最常见的防死锁手段。
此外，尽量避免在锁内执行耗时操作，避免锁的长期占用带来的系统阻塞。同时可以考虑将部分计算移出临界区，降低锁竞争。
3. lock_guard 的正确姿势
3.1 RAII 与异常安全
RAII原则把资源生命周期绑定到对象的作用域内，lock_guard利用这个特性，在构造时锁定、在析构时解锁，确保在异常抛出时也能正确释放锁。
使用 std::lock_guard<std::mutex> 的唯一职责就是管理锁的生存期，因此代码更简洁、错误率更低。
3.2 unique_lock 与场景对比
std::lock_guard在语义上简单且高效，适用于大多数“锁定-解锁”场景。若需要条件变量、可手动解锁或延时上锁，则应考虑 std::unique_lock。
在对性能敏感的路径上，通常优先使用 lock_guard，减少不必要的开销。
4. 完整代码示例：使用 mutex 与 lock_guard 实现线程安全
4.1 示例场景与实现要点
以下示例展示一个简单的线程安全计数器，多个线程通过 std::mutex 和 std::lock_guard 保护对共享状态的写入与读取。
重点在于确保对共享变量的修改具有原子性，并通过 RAII 风格的锁管理实现异常安全。
#include <iostream>
#include <thread>
#include <vector>
#include <mutex>class SafeCounter {
private:int value;std::mutex m;
public:SafeCounter() : value(0) {}// 使用 lock_guard 来管理锁的生命周期，确保异常情况下也能解锁void increment() {std::lock_guard<std::mutex> guard(m);++value;}int get() {std::lock_guard<std::mutex> guard(m);return value;}
};int main() {SafeCounter counter;const int num_threads = 8;const int increments_per_thread = 1000;std::vector<std::thread> threads;for (int i = 0; i < num_threads; ++i) {threads.emplace_back([&counter, increments_per_thread]() {for (int j = 0; j < increments_per_thread; ++j) {counter.increment();}});}for (auto &t : threads) {t.join();}std::cout << "Final counter value: " << counter.get() << std::endl;return 0;
}
这段代码示例提供了一个可编译运行的完整程序，演示了如何通过 std::mutex 保护共享数据以及如何使用 std::lock_guard 实现自动解锁，确保在退出作用域时释放锁，避免死锁及泄露。
