29. 常见错误与最佳实践：捕获过多、默认捕获模式的风险、可读性平衡

Lambda 表达式用起来确实爽，但爽过头就容易翻车。我见过不少项目，Lambda 写得飞起，结果代码跑着跑着就崩了，或者性能莫名其妙地下降。说白了，问题大多出在捕获上——要么捕获太多，要么用了默认捕获模式却没意识到风险。

今天咱们就来聊聊这些坑，以及怎么绕过去。

29.1 捕获过多：你根本不需要那么多

先看一个我实际遇到过的例子。有个同事写了一段代码，大概长这样：

std::vector<int> data = {1, 2, 3, 4, 5};
int threshold = 3;
int offset = 1;
int multiplier = 2;
int base = 10;

auto lambda = [&]() {
    for (auto& v : data) {
        v = (v + offset) * multiplier + base;
    }
    return data.size() > threshold;
};

你发现问题了吗？[&] 捕获了所有局部变量。但 lambda 里真正用到的只有 data、offset、multiplier、base 和 threshold。如果后面有人不小心把 threshold 的值改了，lambda 的行为就会受影响——而且这种 bug 特别难查。

我个人习惯是：显式列出需要捕获的变量。上面的代码改成这样：

auto lambda = [&data, offset, multiplier, base, threshold]() {
    // ...
};

这样一眼就能看出 lambda 依赖哪些外部变量。代码的可读性和可维护性都上去了。

29.2 默认捕获模式的风险

默认捕获模式有两个：[&] 和 [=]。它们看起来方便，但暗藏杀机。

29.2.1 [&] 的风险：悬空引用

我记得有一次，一个同事在回调函数里用了 [&]，结果 lambda 执行时，捕获的引用已经失效了。程序直接崩溃。

std::function<void()> callback;

void setup() {
    int local_var = 42;
    callback = [&]() {
        std::cout << local_var << std::endl; // 危险！
    };
} // local_var 在这里销毁

void run() {
    callback(); // 访问已销毁的变量
}

为什么会这样？因为 [&] 捕获的是引用，而引用的生命周期必须比 lambda 长。一旦局部变量销毁，引用就变成了悬空引用。

29.2.2 [=] 的风险：意外复制

[=] 看起来安全，因为它捕获的是副本。但副本也有代价——尤其是当变量很大时。

我曾经优化过一个模块，里面有个 lambda 捕获了一个巨大的 std::vector：

std::vector<BigObject> big_data = loadBigData();

auto lambda = [=]() {
    // 使用 big_data
}; // big_data 被完整复制了一份！

这一下子就多占了几十 MB 内存。改成引用捕获后，内存占用立刻降下来了。

29.3 可读性平衡：别让 Lambda 变成天书

Lambda 写得太长、太复杂，可读性就会直线下降。我见过有人把整个业务逻辑塞进一个 lambda 里，结果代码比普通函数还难懂。

29.3.1 捕获列表太长怎么办？

如果 lambda 需要捕获十几个变量，捕获列表会变得很长。这时候我建议：

• 考虑提取成普通函数：如果 lambda 的逻辑比较复杂，不如直接写一个函数，把需要的变量作为参数传进去。
• 使用结构体打包：把相关的变量放到一个结构体或类里，然后捕获这个对象的引用。

struct Context {
    int offset;
    int multiplier;
    int base;
    int threshold;
    std::vector<int>* data;
};

Context ctx{offset, multiplier, base, threshold, &data};
auto lambda = [&ctx]() {
    for (auto& v : *ctx.data) {
        v = (v + ctx.offset) * ctx.multiplier + ctx.base;
    }
    return ctx.data->size() > ctx.threshold;
};

这样捕获列表就干净了，而且逻辑也更清晰。

29.3.2 Lambda 体太长怎么办？

如果 lambda 体超过 5 行，我建议把它拆出来。比如：

auto processItem = [](int& v, int offset, int multiplier, int base) {
    v = (v + offset) * multiplier + base;
};

auto lambda = [&data, offset, multiplier, base, threshold]() {
    for (auto& v : data) {
        processItem(v, offset, multiplier, base);
    }
    return data.size() > threshold;
};

这样每个部分都短小精悍，读起来不费劲。

29.4 知识体系总览

下面这张图总结了本章的核心内容：

29.5 避坑指南

最后，分享几个我踩过的坑，希望能帮你少走弯路。

嗯，这些坑其实都不难避免。只要记住一句话：捕获列表要显式，生命周期要匹配，Lambda 体要短小。做到这三点，你的 Lambda 代码就会既安全又易读。

好了，今天就聊到这里。记住这些原则，你的 Lambda 代码会干净很多。