26. 模板与Lambda：泛型Lambda、模板化的函数对象
Lambda表达式是C++11引入的语法糖，它让我们可以就地定义匿名函数对象。到了C++14，泛型Lambda的出现，更是把这种便利性和模板的灵活性结合在了一起。今天我们就来聊聊，Lambda和模板到底能碰撞出什么火花。
从普通Lambda到泛型Lambda
先看一个最简单的Lambda：
auto add = [](int a, int b) { return a + b; };这个Lambda只能处理int类型。如果你传两个double进去，编译器会报错。嗯，这很合理——因为它的参数类型被固定死了。
C++14引入了泛型Lambda，写法很简单：
auto add = [](auto a, auto b) { return a + b; };这里的auto不是运行时类型推导，而是编译期的模板参数。说白了，编译器会为每个不同的参数类型组合，生成一个对应的函数实例。我个人习惯把这种写法叫做「隐式模板」。
泛型Lambda的本质
你想想看，Lambda本质上是一个匿名的函数对象。编译器会把它展开成一个类，这个类重载了operator()。对于泛型Lambda，这个operator()就是一个模板函数。
举个例子：
auto lambda = [](auto x, auto y) { return x + y; };
// 编译器大致会生成这样的代码：
struct __lambda {
template<typename T1, typename T2>
auto operator()(T1 x, T2 y) const {
return x + y;
}
};我在项目中遇到过一个问题：有人用泛型Lambda处理不同类型的容器，结果因为隐式类型转换导致性能下降。后来我建议他显式指定模板参数，问题就解决了。
模板化的函数对象
除了泛型Lambda，我们还可以手动编写模板化的函数对象。这两种方式各有优劣。
| 特性 | 泛型Lambda | 模板函数对象 |
|---|---|---|
| 代码简洁性 | 高，一行搞定 | 低，需要定义类 |
| 可复用性 | 低，只能局部使用 | 高，可以到处引用 |
| 模板参数控制 | 有限，只能用auto | 完全控制，支持非类型模板参数 |
| 可读性 | 简单场景好 | 复杂场景更清晰 |
举个例子，如果你需要一个函数对象，它接受两个参数并返回它们的乘积，但其中一个参数是编译期常量：
// 模板函数对象
template<int Factor>
struct Multiplier {
template<typename T>
T operator()(T a, T b) const {
return a * b * Factor;
}
};
// 使用
Multiplier<2> mul;
auto result = mul(3, 4); // 结果是 24这种场景下，泛型Lambda就无能为力了。因为Lambda的捕获列表只能捕获运行时变量，不能捕获编译期常量作为模板参数。
泛型Lambda的捕获技巧
泛型Lambda的捕获列表和普通Lambda一样，可以按值或按引用捕获。但有一个细节需要注意：捕获的变量类型是固定的，而参数类型是泛型的。
int offset = 10;
auto lambda = [offset](auto x) { return x + offset; };
std::cout << lambda(5) << std::endl; // 15
std::cout << lambda(3.14) << std::endl; // 13.14这里offset是int类型，当x是double时，offset会被隐式转换为double。大多数情况下没问题，但如果你对精度有要求，就要小心了。
泛型Lambda与完美转发
泛型Lambda配合decltype和std::forward，可以实现完美转发：
auto forwarder = [](auto&& x) -> decltype(auto) {
return std::forward<decltype(x)>(x);
};这个Lambda可以接受任意类型的参数，并保持它的值类别（左值还是右值）。我在写一些通用工具函数时，经常用这种模式。
但要注意，这里的auto&&不是右值引用，而是转发引用（也叫万能引用）。它根据传入的参数类型，推导出对应的引用类型。
泛型Lambda与变参模板
C++14的泛型Lambda不支持变参模板，但C++17开始支持了：
// C++17 及以上
auto sum = [](auto... args) {
return (args + ...);
};
std::cout << sum(1, 2, 3, 4) << std::endl; // 10这个特性在C++17中被称为「折叠表达式」。配合泛型Lambda，可以写出非常简洁的变参函数。
实际项目中的应用
我在一个数据处理框架中，大量使用了泛型Lambda。比如，我们需要一个通用的排序比较器：
template<typename Container, typename Comparator>
void sort_with_log(Container& c, Comparator comp) {
std::cout << "排序前: ";
for (const auto& v : c) std::cout << v << " ";
std::cout << std::endl;
std::sort(c.begin(), c.end(), comp);
std::cout << "排序后: ";
for (const auto& v : c) std::cout << v << " ";
std::cout << std::endl;
}
// 调用时传入泛型Lambda
std::vector<int> vec = {3, 1, 4, 1, 5};
sort_with_log(vec, [](auto a, auto b) { return a > b; });这个泛型Lambda可以用于任何支持>运算符的类型。如果以后我们增加了自定义类型，只要重载了>，这个Lambda就能直接用。
性能考量
很多人担心泛型Lambda的性能。其实不用担心，因为它是编译期展开的。每个不同的参数类型组合，都会生成独立的函数实例。这和手写模板函数对象的性能是一样的。
但有一个例外：如果Lambda捕获了大型对象，并且被频繁调用，那么捕获的开销可能会成为瓶颈。我曾经优化过一个系统，把按值捕获改成按引用捕获，性能提升了30%。
总结
泛型Lambda让C++的模板编程变得更加平易近人。它把模板的威力封装在简洁的语法中，让我们可以快速写出通用的代码。但也要记住，它不是万能的。当你需要精细控制模板参数时，手写模板函数对象仍然是更好的选择。
嗯，最后说一句：不要为了用泛型Lambda而用。如果你的Lambda只在一种类型上使用，普通的Lambda更清晰。泛型Lambda的真正价值，在于处理多种类型时的代码复用。
选择泛型Lambda还是模板函数对象，取决于你的具体需求。简单场景用Lambda，复杂场景用模板类。两者都是C++模板工具箱里的利器，用好了能让你的代码既简洁又强大。