C++中的Lambda表达式

1. Lambda语法

下面介绍的是Lambda的四种书写形式，不管怎么变，Lambda的书写形式总逃不出这四种形式。

1. [captures] <tparams> (prams) lambda-specifiers {body}
2. [captures] (params) trailing-return-type {body}
3. [captures] (params) {body}
4. [captures] lambda-specifiers {body}

Lambda表达式各个成员的解释如下

1. captures: 捕获列表，Lambda可以把上下文变量以值或引用的方式捕获，在body中直接使用。
2. tparams: 模板参数列表（C++20引入），让Lambda可以像模板函数一样被调用。
3. params: 参数列表，在C++14之后允许使用auto参数类型。
4. lambda-specifiers: Lambda说明符，可选的参数，常见的是mutable和noexcept。
5. trailing-return-type: 返回值类型，一般可省略，由编译器来推导。

关于上面介绍的Lambda表达式各成员的含义，关于[captures]、[tparams]、[lambda-specifiers]可能了解不深，下面着重介绍这三个成员。

2. [captures]

（1）值捕获

int x = 42;
[x]()
{
	// Lambda函数体，通过值捕获外部变量x
	std::cout << a << endl;
};

（2）引用捕获

int y = 10;
[&y]()
{
	// Lambda函数体，通过引用捕获外部变量y
	y++;
};

(3)按值的方式捕获所有变量

int a = 5;
int b = 10;
[=] ()
{
	std::cout << a << " " << b << endl;
};

使用该捕获方式，可省略捕获列表，Lambda默认以值的方式捕获外部所有变量。

（4）混合捕获

int a = 5;
int b = 10;

[=, &b]()
{
	// Lambda函数体，通过值捕获外部变量a，通过引用捕获外部变量b
	std::cout << a << endl;
	b++;
};

（5）初始化捕获列表

int count = 0;
auto lambda = [count = count + 1]()
{
	// Lambda函数体，通过初始化捕获列表将外部变量count的值加1并捕获
	std::cout << count << endl;
};

（6）隐式捕获所有外部局部变量

auto lambda = [=, &] () {
};

在C++14及以上版本中，使用该方法隐式捕获所有局部变量。

（7）捕获this指针

class MyClass {
public:
    MyClass(int value) : memberVar(value) {};
    void printValue() const {
        // Lambda表达式捕获this指针，可以访问成员变量和成员函数
        auto lambda = [this]() {
            std::cout << "Value from MyClass: " << memberVar << std::endl;
            // 调用成员函数
            printHello();
        };

        // 调用Lambda表达式
        lambda();
    }

private:
    int memberVar;

    void printHello() const {
        std::cout << "Hello from MyClass!" << std::endl;
    }
};

在该例子中，Lambda表达式捕获了当前对象的this指针，使得Lambda中可以访问myClass对象的私有成员变量和私有成员函数。

3. [tparams]

Lambda表达式中的模板参数列表是C++20引入的一项特性，它允许在Lambda表达式内部使用参数。这样可以在Lambda表达式中定义并使用模板参数，使Lambda表达式更加通用和灵活。

#include <iostream>

template <typename T>
void exampleFunction(T value)
{
	// Lambda表达式内的模板参数列表
	auto lambda = [](auto x){
		std::cout << "Lambda Value: " << x << std::endl;
	};
	// 在Lambda表达式中调用模板函数
	lambda(value);
}

int main()
{
	exampleFunction(42);	    // 使用整数调用模板函数
	exampleFunction("Hello");	// 使用字符串调用模板函数
	
	return 0;
}

4. [lambda-specifiers]说明符

(1)mutable说明符

允许在Lambda表达式中修改被捕获的变量，即使Lambda表达式本身是被const修饰的。如果省略mutable说明符，那么默认情况下Lambda表达式是对被捕获的变量只读的。

int x = 10;
auto lambda = [x]()mutable {
	x++;	// 允许修改x
	return x;
};

(2)noexcept说明符

表示Lambda表达式不会抛出异常。这有助于提高编译器的优化机会，并且可以在函数指针等需要noexcept标志的上下文中使用。

auto lambda = []() noexcept {
	// Lambda体
};