C++ Lambda 表達式提升代碼性能與可讀性實戰

從手寫循環到聲明式並行

傳統 for 循環

std::vector<int> v = {1, 5};
int total = 0;
for (int i = 0; i < v.size(); ++i) {
    total += v[i];
}

意圖明確，但編譯器難以自動並行化。

OpenMP 指示輔助並行

int total = 0;
#pragma omp parallel for reduction(+:total)
for (int i = 0; i < v.size(); ++i) {
    total += v[i];
}

需掌握 OpenMP 語法，侵入性強。

STL for_each + 函數對象

class Adder {
    int _total = 0;
public:
    void operator()(int& i) { _total += i; }
    operator int() { return _total; }
};

int total = std::for_each(v.begin(), v.end(), Adder());

樣板代碼過多，僅為求和不值得定義類。

Lambda 表達式：零樣板的函數對象

std::vector<int> v = {1, 5};
int total = 0;
std::for_each(v.begin(), v.end(),
    [&total](int x) { total += x; }
);

語法解析

[捕獲列表](參數列表) -> 返回類型 { 函數體 }

• [&total]：引用捕獲 total，保證循環後結果可用
• (int x)：參數，對應元素類型
• { total += x; }：函數體
• 返回類型可省略（單一 return 或 void 時自動推導）

捕獲模式

混合捕獲示例

int total = 0;
bool display = true;
std::for_each(v.begin(), v.end(),
    [&total, display](int x) {
        total += x;
        if (display) std::cout << x << '\n';
    }
);

display 值捕獲（只讀），total 引用捕獲（需修改）。若在 lambda 中修改值捕獲變量，需加 mutable：[=]() mutable { display = false; }。

顯式指定返回類型

std::for_each(v.begin(), v.end(),
    [&](int x) -> void { total += x; }
);

複雜邏輯（多返回路徑、遞歸）時建議顯式聲明，避免推導失敗。

性能優勢：編譯器優化友好

• Lambda 就是匿名函數對象，**內聯極易**，編譯器可消除函數調用開銷
• 配合 std::execution::par (C++17) 一鍵並行：

#include <execution>
#include <numeric>

int total = std::reduce(std::execution::par, v.begin(), v.end(), 0);

無需手寫線程池、鎖、原子操作，標準庫實現自動負載均衡。

適用場景與最佳實踐

避坑指南

1. 引用捕獲懸垂：lambda 生命週期超過捕獲變量作用域 → 未定義行為。長生命週期用值捕獲或 shared_ptr
2. 隱式捕獲 [=] 導致拷貝開銷大：大對象顯式引用捕獲或移動捕獲 (C++14 [ptr=std::move(ptr)])
3. 遞歸 lambda：需 std::function 包裝或 C++23 auto f = [&](auto self, int n) { ... self(self, n-1); }
4. mutable 只影響 lambda 內部副本，不影響外部變量

總結

Lambda 讓「將計算邏輯作為數據傳遞」變得零成本，配合 STL 算法與並行執行策略，是現代 C++ 寫出高性能、可讀、可維護代碼的關鍵工具。