为什么C++ Lambda捕获变量无需进行类型声明？

这问题问得太到位了！其实Lambda表达式的底层逻辑和你手写的SizeComp仿函数是一致的——只不过编译器悄悄帮你做了自动类型推导的工作，咱们来拆解清楚：

1. Lambda本质是编译器生成的匿名仿函数类 #

当你写下这段Lambda代码：

auto wc = find_if(words.begin(), words.end(), [sz](const string &a) { 
    return a.size() >= sz; 
});

编译器会在后台自动生成一个类似SizeComp的匿名类，只不过这个类的细节是编译器帮你填充的：

• 它会自动从你捕获的sz的实际类型（这里是size_t）推导出类成员的类型，生成一个和原变量同类型的私有成员；
• 自动生成构造函数，用捕获的sz的值初始化这个成员；
• 自动重载operator()方法，逻辑和你写的Lambda函数体完全一致。

简单说，编译器替你完成了SizeComp里需要手动写的size_t sz;和构造函数的类型声明部分。

2. 手写仿函数必须显式声明类型的原因 #

而你自己写SizeComp类时，必须显式声明size_t sz;，是因为编译器没法自动推断你想要的成员类型：

• 你可能本来想把sz存成int，但传入的参数是size_t；
• 或者你想做类型转换（比如把size_t转成int）；
  这时候编译器不能替你做决定，必须由你明确指定成员变量的类型，避免歧义。

3. 捕获的类型推导规则 #

Lambda的类型推导遵循和模板参数推导类似的规则：

• 如果是值捕获，编译器会创建一个与原变量同类型的成员变量，并用原变量的值初始化；
• 如果是引用捕获，则创建一个与原变量同类型的引用成员，绑定到原变量上。

不管哪种捕获方式，你都不用手动写类型——编译器会精准匹配原变量的类型，帮你完成声明。

总结一下：Lambda的设计初衷就是简化仿函数的编写，把类型声明这种重复、机械的工作交给编译器处理，让代码更简洁易读～

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