为何在使用reference_wrapper的RAII场景下，clang-tidy的deadcode.DeadStores会触发警告？

嘿，这个场景我太熟了——明明用了std::cref把details的引用绑给了RAII的OnExit对象，结果clang-tidy的deadcode.DeadStores还跳出来说这个变量没被使用，简直离谱对吧？

先把你的代码补全成可运行的完整版本方便分析：

#include <functional>
#include <iostream>

class OnExit {
public:
    explicit OnExit(const std::function<void()>& f):f_(f){}
    ~OnExit(){f_();}
private:
    std::function<void()> f_;
};

void finish(const bool& details) {
    std::cout << "foo finished with " << std::boolalpha << details << std::endl;
}

int foo(int i) {
    bool details = false;
    OnExit action{std::bind(&finish, std::cref(details))};
    
    if (i < 0) {
        throw 0;
    }
    if (i < 10) {
        details = true;
    }
    return i;
}

int main() {
    try {
        foo(5);
    } catch(...) {}
    return 0;
}

核心原因：clang-tidy静态分析的“盲区” #

说白了就是clang-tidy的静态分析能力有限，没法穿透std::bind和std::cref的组合去追踪引用的最终使用：

• 当你调用std::cref(details)时，会生成一个std::reference_wrapper<bool>的临时对象，这个对象确实持有details的引用，但clang-tidy不会深入分析std::bind内部是怎么把这个引用包装起来，最终传递给finish函数的。
• 在静态分析的视角里，details除了初始化和可能的赋值操作，没有直接被其他代码访问——它完全没意识到这个变量的引用被存在了OnExit的std::function里，会在foo函数退出时，通过OnExit的析构函数被finish读取。

额外因素：RAII的延迟使用藏得太深 #

OnExit是典型的RAII类，它的逻辑是“对象销毁时执行绑定的函数”，这种“延迟到析构时的间接使用”，clang-tidy的静态分析器目前还没法完美识别。它只会盯着当前函数里的代码流，看不到“对象销毁时会触发的后续操作”，所以就误判details是个没被用到的死变量。

怎么搞定这个警告？ #

如果确定代码逻辑没问题，有两种简单的解决方式：

• 直接抑制警告：用clang-tidy的注释忽略这条警告：

  // NOLINTNEXTLINE(deadcode.DeadStores)
  bool details = false;
  

• 换用lambda捕获：clang-tidy对lambda的捕获识别得更好，把绑定换成lambda捕获引用，警告就会消失：

  OnExit action{[&details]() { finish(details); }};
  

  这种写法下，分析器能清晰看到details被lambda捕获并在后续使用，自然不会再误报。

内容的提问来源于stack exchange，提问作者rafal_rr