ThreadSanitizer（TSan）是定位多线程数据竞争最直接有效的手段，通过运行时插桩精准报告竞态的线程、代码行和变量；需配合 -fsanitize=thread -g 和 -O0/-O1 编译，避免高优化导致漏报。
用 ThreadSanitizer 一跑就暴露数据竞争
不加锁导致读取中间状态，本质是未定义行为（UB），但编译器不会报错，运行时偶尔出错、难以复现。最直接有效的定位手段就是启用 ThreadSanitizer（TSan）。它在运行时插桩检测内存访问冲突，能精准指出哪两个线程、在哪几行代码、对哪个变量发生了竞争。
实操建议：
- Clang/GCC 编译时加
-fsanitize=thread -g，链接也需带该 flag（CMake 中设CMAKE_CXX_FLAGS即可） - 必须带
-g，否则 TSan 报错时看不到源码行号 - 不要用
-O2以上优化等级，TSan 在高优化下可能漏报或误报；开发阶段用-O1或-O0 - 运行程序，一旦触发竞争，TSan 会打印类似：
WARNING: ThreadSanitizer: data race on variable 'g_counter' at ...，并列出两个 conflicting access 的栈帧
std::atomic 不能替代锁，但能帮你快速验证是否真为竞态
如果共享变量只是简单读写（如 int 计数器），把裸变量临时换成 std::atomic<int></int> 并用 .load()/.store() 替代直接读写，可消除该变量的竞态——但这只是“绕过问题”，不是修复逻辑。它的价值在于：改完后若问题消失，基本确认原问题就是该变量的非原子访问；若问题还在，说明还有其他共享状态没覆盖到（比如结构体字段、指针所指对象、或多个变量间的逻辑耦合）。
注意点：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::atomic对struct或大对象不适用（除非 trivially copyable 且尺寸 ≤ 指令原子宽度，通常仅限小整型、指针） - 即使单个
std::atomic安全，多个原子操作之间仍可能破坏业务一致性（例如“先读 A 再读 B”，A 和 B 都 atomic，但中间 B 被改了，你读到的就是不一致快照） - 别用
memory_order_relaxed做同步逻辑判断，容易掩盖真正依赖
日志打点 + 条件断点，缩小可疑范围
当 TSan 不可用（如嵌入式环境、或第三方库闭源无法重编译），就得靠人工排查。核心思路是：让读取方记录它看到的“非法值”及其时间戳/线程 ID，再让写入方在每次修改前/后打日志，观察是否出现“读到一半”的中间值（如 struct 中部分字段已更新、部分未更新）。
实操建议：
- 在读取共享数据的入口处加日志：
LOG(INFO) - 在写入前打 “start update”，写入后打 “end update”，并在关键字段赋值后立即 log（比如
obj.x = new_x; LOG(...) ） - GDB 中对读取位置设条件断点：
break file.cpp:123 if obj.x == 42 && obj.y == 0（假设合法状态是 x/y 同步变化） - 避免用
std::cout打点——它本身是线程安全但有锁，会干扰竞态发生时机，改用无锁日志库或write(2)系统调用
检查隐式共享：std::shared_ptr、引用、容器迭代器都可能踩坑
很多人只盯着显式全局变量或类成员，却忽略更隐蔽的共享路径。比如：
-
std::shared_ptr<t></t>的引用计数是原子的，但T本身不是——多个线程通过不同shared_ptr实例访问同一T*，仍需同步T的内容 - 函数参数传
const T&，调用方和被调用方线程可能同时访问该对象 -
std::vector迭代器在另一线程push_back后失效，解引用即 UB，看起来像读到垃圾值 - lambda 捕获
[&]共享局部变量，而该 lambda 被投递到其他线程执行
这类问题不会被 TSan 直接标为“data race”，因为访问的是不同地址（如 refcount vs data），但行为一样不可预测。排查时得顺着对象生命周期和所有权转移路径画图，重点看谁构造、谁销毁、谁在何时访问。
最容易被忽略的是：你以为的“只读”访问，其实底层触发了非常规写操作（比如 std::string 的 COW 已废弃，但某些自定义容器可能有延迟计算字段；或 std::map::operator[] 在 key 不存在时会插入默认值）。
