在 c + + 11 及更高版本中，lambda 表达式（通常称为 " lambda"）是一种定义匿名函数对象的简便方法， (关闭) 在调用的位置或作为自变量传递给函数的位置。 通常，lambda 用于封装传递到算法或异步函数的几行代码。
Lambda 表达式的组成部分 ISO C++ 标准展示了作为第三个参数传递给 std::sort() 函数的简单 lambda：
#include
#include void abssort(float* x, unsigned n) {
std::sort(x, x + n,
// Lambda expression begins
[](float a, float b) {
return (std::abs(a) < std::abs(b));
} // end of lambda expression
);
} 此图显示了 lambda 的组成部分：
文章图片
- 捕获子句 (也称为 c + + 规范中的 引导 。 )
- 参数列表 可有可无. (也称为 lambda 声明符)
- 可变规范 可有可无.
- 异常规范 可有可无.
- 尾随-返回类型 可有可无.
- lambda 体。
&) 前缀的变量通过引用访问，不包含它的变量通过值访问。空 capture 子句
[ ] 指示 lambda 表达式的主体不访问封闭范围中的变量。您可以使用捕获-默认模式来指示如何捕获 lambda 体中引用的任何外部变量：表示引用的
[&] 所有变量都按引用捕获， [=] 这意味着它们是通过值捕获的。 可以使用默认捕获模式，然后为特定变量显式指定相反的模式。 例如，如果 lambda 体通过引用访问外部变量 total 并通过值访问外部变量 factor，则以下 capture 子句等效：[&total, factor]
[factor, &total]
[&, factor]
[factor, &]
[=, &total]
[&total, =]使用捕获默认值时只捕获 lambda 主体中提到的变量。
如果捕获子句包含一个捕获-默认值
& ，则该捕获子句捕获中的任何标识符都不能具有该格式 &identifier 。 同样，如果捕获子句包括捕获默认值 = ，则该捕获子句的捕获不能具有格式 =identifier 。 标识符或 this 在捕获子句中不能出现多次。 下面的代码段演示了一些示例：struct S { void f(int i);
};
void S::f(int i) {
[&, i]{};
// OK
[&, &i]{};
// ERROR: i preceded by & when & is the default
[=, this]{};
// ERROR: this when = is the default
[=, *this]{ };
// OK: captures this by value. See below.
[i, i]{};
// ERROR: i repeated
}后跟省略号的捕获是包扩展，如以下 可变参数模板 示例所示
template
void f(Args... args) {
auto x = [args...] { return g(args...);
};
x();
} 若要在类成员函数的主体中使用 lambda 表达式，请将
this 指针传递给捕获子句，以提供对封闭类的成员函数和数据成员的访问。Visual Studio 2017 版本15.3 及更高版本 (提供 /std： c + + 17) ：可以通过
this *this 在 capture 子句中指定来按值捕获指针。 按值捕获会将整个结束时间复制到调用了 lambda 的每个调用站点。 (闭包是封装 lambda 表达式的匿名函数对象。当 lambda 在并行或异步操作中执行时，) 按值捕获会很有用。 它在某些硬件体系结构（如 NUMA）上特别有用。有关演示如何将 lambda 表达式用于类成员函数的示例，请参阅 lambda 表达式的示例中的"示例：在方法中使用 lambda 表达式"。
当你使用 capture 子句时，建议你记住这些要点，尤其是在将 lambda 用于多线程时：
- 引用捕获可用于修改外部变量，但值捕获不能。 (
mutable允许修改副本，而不是原始副本。 )
- 引用捕获会反映外部变量的更新，而值捕获则不会。
- 引用捕获引入生存期依赖项，而值捕获却没有生存期依赖项。 当 lambda 异步运行时，这一点尤其重要。 如果在异步 lambda 中按引用捕获本地，则在运行 lambda 时，可以轻松地实现本地。 你的代码在运行时可能会导致访问冲突。
std::unique_ptr 来自周围范围的) 并在 lambda 中使用它们。pNums = make_unique>(nums);
//...
auto a = [ptr = move(pNums)]()
{
// use ptr
};
参数列表
Lambda 既可以捕获变量，也可以接受输入参数。 标准语法) (lambda 声明符 的参数列表是可选的，在大多数情况中，与函数的参数列表类似。
auto y = [] (int first, int second)
{
return first + second;
};
在 c + + 14 中，如果参数类型为泛型，则可以使用
auto 关键字作为类型说明符。 此关键字指示编译器将函数调用运算符作为模板来创建。 参数列表中的每个实例 auto 都等效于不同的类型参数。auto y = [] (auto first, auto second)
{
return first + second;
};
Lambda 表达式可以将另一个 Lambda 表达式作为其自变量。 有关详细信息，请参阅 lambda 表达式的示例中的 "高阶 Lambda 表达式"。
由于参数列表是可选的，因此，如果不将参数传递给 lambda 表达式，并且其 lambda 声明符不包含 异常规范、 尾随返回类型 或，则可以省略空括号
mutable 。可变规范
通常，lambda 的函数调用运算符是按值常数值，但使用
mutable 关键字会取消此操作。它不会生成可变的数据成员。 该 mutable 规范使 lambda 表达式的主体可以修改通过值捕获的变量。 本文后面的一些示例演示如何使用 mutable 。异常规范
您可以使用
noexcept 异常规范来指示 lambda 表达式不会引发任何异常。 与普通函数一样，如果 lambda 表达式声明 noexcept 异常规范且 lambda 体引发异常，Microsoft c + + 编译器将生成警告 C4297，如下所示：// throw_lambda_expression.cpp
// compile with: /W4 /EHsc
int main() // C4297 expected
{
[]() noexcept { throw 5;
}();
}返回类型
将自动推导 Lambda 表达式的返回类型。
auto除非指定 尾随返回类型，否则不需要使用关键字。 尾随返回类型 类似于普通函数或成员函数的返回类型部分。 但是，返回类型必须跟在参数列表的后面，并且必须在返回类型前面包含尾随返回类型关键字 -> 。【C++ 中的 Lambda 表达式】如果 lambda 主体只包含一个返回语句，则可以省略 lambda 表达式的返回类型部分。 如果表达式不返回值，则为或。 如果 lambda 体包含单个返回语句，编译器将从返回表达式的类型推导返回类型。 否则，编译器会将返回类型推导为
void 。 请考虑以下示例代码片段，它们阐释了这一原则：auto x1 = [](int i){ return i;
};
// OK: return type is int
auto x2 = []{ return{ 1, 2 };
};
// ERROR: return type is void, deducing
// return type from braced-init-list isn't validambda 表达式可以生成另一个 lambda 表达式作为其返回值。 有关详细信息，请参阅 lambda 表达式的示例中的"高阶 lambda 表达式"。
Lambda 体
Lambda 表达式的 lambda 主体是一个复合语句。 它可以包含普通函数或成员函数的主体中允许的任何内容。 普通函数和 lambda 表达式的主体均可访问以下变量类型：
- 从封闭范围捕获变量，如前所述。
- 参数。
- 本地声明的变量。
- 类数据成员（在类中声明时）并
this捕获。
- 具有静态存储持续时间的任何变量（例如，全局变量）。
n 并通过引用隐式捕获变量 m 的 lambda 表达式：// captures_lambda_expression.cpp
// compile with: /W4 /EHsc
#include
using namespace std;
int main()
{
int m = 0;
int n = 0;
[&, n] (int a) mutable { m = ++n + a;
}(4);
cout << m << endl << n << endl;
}//output
5
0 由于变量
n 是通过值捕获的，因此在调用 lambda 表达式后，变量的值仍保持 0 不变。 该 mutable 规范允许在 n lambda 中修改。Lambda 表达式只能捕获具有自动存储持续时间的变量。 但是，你可以在 lambda 表达式的主体中使用具有静态存储持续时间的变量。 以下示例使用
generate 函数和 lambda 表达式为 vector 对象中的每个元素赋值。 lambda 表达式将修改静态变量以生成下一个元素的值。void fillVector(vector& v)
{
// A local static variable.
static int nextValue = https://www.it610.com/article/1;
// The lambda expression that appears in the following call to
// the generate function modifies and uses the local static
// variable nextValue.
generate(v.begin(), v.end(), [] { return nextValue++;
});
//WARNING: this isn't thread-safe and is shown for illustration only
} 有关详细信息，请参阅 生成。
下面的代码示例使用上一示例中的函数，并添加了使用 c + + 标准库算法的 lambda 表达式的示例
generate_n 。 该 lambda 表达式将 vector 对象的元素指派给前两个元素之和。 mutable 使用关键字，以便 lambda 表达式的主体可以修改其外部变量的副本 x 和 y lambda 表达式通过值捕获的副本。 由于 lambda 表达式通过值捕获原始变量 x 和 y，因此它们的值在 lambda 执行后仍为 1。// compile with: /W4 /EHsc
#include
#include
#include
#include using namespace std;
template void print(const string& s, const C& c) {
cout << s;
for (const auto& e : c) {
cout << e << " ";
}cout << endl;
}void fillVector(vector& v)
{
// A local static variable.
static int nextValue = https://www.it610.com/article/1;
// The lambda expression that appears in the following call to
// the generate function modifies and uses the local static
// variable nextValue.
generate(v.begin(), v.end(), [] { return nextValue++;
});
//WARNING: this isn't thread-safe and is shown for illustration only
}int main()
{
// The number of elements in the vector.
const int elementCount = 9;
// Create a vector object with each element set to 1.
vector v(elementCount, 1);
// These variables hold the previous two elements of the vector.
int x = 1;
int y = 1;
// Sets each element in the vector to the sum of the
// previous two elements.
generate_n(v.begin() + 2,
elementCount - 2,
[=]() mutable throw() -> int { // lambda is the 3rd parameter
// Generate current value.
int n = x + y;
// Update previous two values.
x = y;
y = n;
return n;
});
print("vector v after call to generate_n() with lambda: ", v);
// Print the local variables x and y.
// The values of x and y hold their initial values because
// they are captured by value.
cout << "x: " << x << " y: " << y << endl;
// Fill the vector with a sequence of numbers
fillVector(v);
print("vector v after 1st call to fillVector(): ", v);
// Fill the vector with the next sequence of numbers
fillVector(v);
print("vector v after 2nd call to fillVector(): ", v);
}
//output
vector v after call to generate_n() with lambda: 1 1 2 3 5 8 13 21 34
x: 1 y: 1
vector v after 1st call to fillVector(): 1 2 3 4 5 6 7 8 9
vector v after 2nd call to fillVector(): 10 11 12 13 14 15 16 17 18 constexpr lambda 表达式 Visual Studio 2017 版本15.3 及更高版本 (随) 提供：可以将 /std:c++17 lambda 表达式声明为 (，或在常量表达式中 constexpr 使用它，) 在常量表达式中允许对每个捕获或引入的数据成员进行初始化。int y = 32;
auto answer = [y]() constexpr
{
int x = 10;
return y + x;
};
constexpr int Increment(int n)
{
return [n] { return n + 1;
}();
}如果 lambda 的
constexpr 结果满足函数的要求，则隐式 constexpr ：auto answer = [](int n)
{
return 32 + n;
};
constexpr int response = answer(10);
如果隐式或显式 lambda
constexpr ，则转换为函数指针将产生一个 constexpr 函数：auto Increment = [](int n)
{
return n + 1;
};
constexpr int(*inc)(int) = Increment;
推荐阅读
- C/C++|C++四种强制类型转换总结
- c/c++|c++四种强制类型转换
- C/C++|C++四种类型转换运算符详解
- c/c++|华东理工某ACMer总结
- C|C语言深度解剖篇——关键字&&补充内容
- C/C++详解如何实现文件备份
- 数据结构|【数据结构周周练】008 二叉树的链式创建及测试
- C/C++如何合并PDF文件在一起（详细源码）
- linux C/C++编程之库-动态库,静态库创建及使用