threadsanitizer（tsan）是实用的竞态检测工具，需编译和链接均加 -fsanitize=thread、关闭优化（-o0/-o1），可精准定位多线程对同一变量的未同步访问；它不适用于上线环境，报告中的 data race 提示直接指向漏锁或锁粒度问题。
用 ThreadSanitizer 快速定位竞态点
ThreadSanitizer（TSan）是目前最实用的竞态检测工具，Clang 和 GCC 都支持，编译时加 -fsanitize=thread 就能开启。它不是静态分析，而是在运行时插桩监控内存访问，能精准报告哪两个线程、哪两行代码、对哪个变量产生了未同步的并发读写。
常见错误现象：程序偶尔崩溃、结果不一致、加了 std::mutex 还出问题——这些都值得立刻跑一遍 TSan。
- 必须关闭优化（
-O0或-O1），否则 TSan 可能漏报；-O2及以上默认禁用 TSan 插桩 - 链接时不能遗漏
-fsanitize=thread，只在编译阶段加不够，链接器也要参与 - TSan 会显著拖慢运行速度（10–20 倍）、增大内存占用，仅用于开发和测试，切勿上线启用
- 报告中看到
Data race on variable 'g_counter'这类提示，直接跳转到所列的两个 stack trace 起始行，通常就是漏锁或锁粒度不对的位置
检查 std::shared_ptr 的线程安全边界
std::shared_ptr 的引用计数操作是原子的，但对象本身的访问不是。很多人误以为“用了 shared_ptr 就线程安全”，结果在多个线程里通过不同 shared_ptr 实例去调用同一个对象的非 const 成员函数，照样触发竞态。
使用场景：共享一个缓存对象、跨线程传递回调上下文、工厂模式返回对象指针。
- 引用计数增减（拷贝、赋值、析构）安全，但
ptr->do_something()中的do_something()是否线程安全，完全取决于你写的实现 - 若对象内部有状态（如缓存 map、计数器），必须额外加锁，或改用
std::atomic<t></t>+ 手动管理生命周期（更复杂，慎选） - 避免把
shared_ptr存进全局容器后，多线程反复解引用并修改其指向对象——这是竞态高发区
识别隐式共享与 move 语义陷阱
某些标准库类型（如 std::string、std::vector）在 C++11 后普遍采用写时复制（COW）的替代方案：短字符串优化（SSO）+ 移动语义。但移动后原对象进入有效但未指定状态，若仍在另一线程被访问，就构成竞态。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
错误典型：把一个 std::vector<int></int> 从主线程 std::move 给子线程 lambda，同时主线程又去读它的 size() 或调用 empty()。
-
std::move不等于“清空”，只是转移资源所有权；原对象仍可析构、可赋值，但其他操作行为未定义 - STL 容器的移动后状态只要求“可析构、可赋值”，不保证
size() == 0，也不保证数据残留与否 - 跨线程传递对象，优先用
const&+ 显式拷贝，或确保 move 发生后原线程彻底不再访问该变量（包括调试打印）
避免 std::async 默认启动策略引发的假竞态
std::async 默认使用 std::launch::async | std::launch::deferred 策略，意味着调用 get() 时可能立即执行（异步）、也可能延迟到 get() 时才执行（同步）。如果多个 async 共享同一变量，且依赖执行顺序，就会因策略不确定导致行为漂移，看起来像竞态，实则是逻辑缺陷。
性能影响：延迟执行模式下，get() 可能阻塞并完成计算，此时 CPU 利用率低；异步模式则提前开线程，增加调度开销。
- 明确指定启动策略：
std::async(std::launch::async, ...)强制异步，或std::async(std::launch::deferred, ...)强制延迟 - 不要在 lambda 中捕获局部变量的非 const 引用（
[&var]），尤其当async是异步启动时，原栈帧可能已销毁 - 若需共享状态，统一用
std::shared_ptr+ 外部锁，而不是靠async的执行时机巧合来规避冲突
真正难排查的竞态往往不出现在锁的缺失处，而出现在“我以为它不会并发”的地方：比如信号处理函数里修改全局标志、日志模块的静态缓冲区、单例的双重检查锁定（DCLP）实现有 memory_order 误用。TSan 能抓到大部分，但对信号上下文或内核态交互无能为力——这时候得结合 gdb 的 thread apply all bt 和内存断点反复验证。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
