在 C++ 中，Lambda 表達(dá)式和泛型 Lambda 的核心區(qū)別在于 參數(shù)類型的聲明方式 和 適用場(chǎng)景。

1. 普通 Lambda（C++11 起）

參數(shù)類型必須顯式聲明，類似于普通函數(shù)。

適用場(chǎng)景：處理已知具體類型的參數(shù)。

語(yǔ)法示例：

auto lambda = [](int a, double b) { 
    return a + b; 
};

特點(diǎn)：

• 參數(shù)類型固定（如 int 和 double）。
• 只能處理類型嚴(yán)格匹配的輸入。
• 無法直接處理未知類型或模板化參數(shù)。

普通 Lambda 的局限性：

auto print_int = [](int x) { 
    std::cout << x << std::endl; 
};
print_int(42);      // 合法
print_int(3.14);    // 隱式轉(zhuǎn)換（丟失精度，可能產(chǎn)生警告）
print_int("hello"); // 編譯錯(cuò)誤：類型不匹配

2. 泛型 Lambda（C++14 起）

參數(shù)類型用 auto 聲明，支持類型推導(dǎo)，類似于函數(shù)模板。

適用場(chǎng)景：處理未知類型或需要通用代碼的場(chǎng)合。

語(yǔ)法示例：

auto generic_lambda = [](auto a, auto b) { 
    return a + b; 
};

特點(diǎn)：

• 參數(shù)類型由編譯器推導(dǎo)（相當(dāng)于模板參數(shù)）。
• 可以處理任意類型（只要操作合法，如支持 a + b）。
• 本質(zhì)上會(huì)生成一個(gè) 函數(shù)對(duì)象模板。

泛型 Lambda 的通用性：

auto print_generic = [](auto x) { 
    std::cout << x << std::endl; 
};
print_generic(42);       // 合法
print_generic(3.14);     // 合法
print_generic("hello");  // 合法

3. 關(guān)鍵區(qū)別對(duì)比

4. 泛型 Lambda 的高級(jí)用法

結(jié)合 decltype 和返回類型推導(dǎo)：

auto add = [](auto a, auto b) -> decltype(a + b) {
    return a + b;
};
auto result1 = add(3, 4);       // int 類型
auto result2 = add(3.5, 4.2);    // double 類型
auto result3 = add(std::string("hello"), " world"); // std::string 類型

5. 性能與底層實(shí)現(xiàn)

普通 Lambda：生成一個(gè)普通的函數(shù)對(duì)象，類似手動(dòng)定義的類：

class __Lambda_1 {
public:
    int operator()(int a, double b) const { 
        return a + b; 
    }
};

泛型 Lambda：生成一個(gè)模板化的函數(shù)對(duì)象：

class __Lambda_2 {
public:
    template <typename T1, typename T2>
    auto operator()(T1 a, T2 b) const { 
        return a + b; 
    }
};

6. 何時(shí)選擇哪種 Lambda？

普通 Lambda：

• 明確知道參數(shù)類型。
• 需要強(qiáng)制類型安全（例如避免隱式轉(zhuǎn)換）。

泛型 Lambda：

• 需要處理多種類型。
• 編寫通用代碼（如容器操作、數(shù)學(xué)計(jì)算）。
• 結(jié)合 decltype 或 if constexpr 實(shí)現(xiàn)編譯時(shí)分派。

7.總結(jié)

泛型 Lambda 是普通 Lambda 的擴(kuò)展，通過 auto 參數(shù)實(shí)現(xiàn)了類似模板的泛型能力。