clang-tidy报bugprone-exception-escape警告：lambda捕获对象拷贝构造抛异常

警告原因分析 #

clang-tidy的bugprone-exception-escape检查用于捕获异常从被期望不抛出异常的函数中逃逸的情况。在你的代码中，警告触发的核心逻辑如下：

• 当你用[=]按值捕获test_obj时，lambda对象的构造过程会调用MyClass的拷贝构造函数，而该构造函数明确抛出异常。
• 由于lambda的函数体仅调用不抛异常的do_stuff()，编译器会自动推断lambda的调用运算符operator()为noexcept(true)。clang-tidy错误地将lambda构造阶段的异常，关联到了这个被标记为不抛异常的operator()上，认为存在异常从该函数逃逸的风险（尽管实际异常发生在lambda创建阶段，而非调用阶段）。
• 只有当lambda被std::move传入inner_func（即转换为std::function<void()>）时触发警告，是因为此时clang-tidy会将lambda与std::function的上下文绑定，默认检查所有潜在异常路径；若lambda仅局部存储，工具不会触发该检查。

解决或规避方案 #

1. 显式声明lambda允许抛出异常 #

通过给lambda添加noexcept(false)修饰符，明确告知clang-tidy该lambda相关过程可能抛出异常，消除误判：

auto the_lambda = [=]() noexcept(false) { test_obj.do_stuff(); };

2. 修正MyClass的拷贝构造函数（推荐） #

遵循C++最佳实践，让拷贝构造函数不抛出异常（尤其当对象需要绑定到std::function或存入容器时）：

MyClass(const MyClass& rhs) noexcept {
    // 替换为不抛异常的拷贝逻辑
}

3. 在lambda构造阶段捕获异常 #

若必须保留拷贝构造的异常，可以在创建lambda的代码块中捕获异常，阻止其向外逃逸：

void outer_func() {
    MyClass test_obj;
    try {
        auto the_lambda = [=]() { test_obj.do_stuff(); };
        inner_func(std::move(the_lambda));
    } catch (const std::exception& e) {
        // 自定义异常处理逻辑
    }
}

4. 临时禁用特定位置的警告 #

若确认是工具误报，可通过注释禁用该位置的bugprone-exception-escape检查：

auto the_lambda = [=]() { test_obj.do_stuff(); }; // NOLINTNEXTLINE(bugprone-exception-escape)

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