C++11中的lambda表达式是什么?我什么时候用?他们解决了哪类在介绍之前不可能解决的问题?
一些示例和用例将是有用的。
C++11中的lambda表达式是什么?我什么时候用?他们解决了哪类在介绍之前不可能解决的问题?
一些示例和用例将是有用的。
当前回答
Lambda表达式通常用于封装算法,以便将它们传递给另一个函数。但是,可以在定义后立即执行lambda:
[&](){ ...your code... }(); // immediately executed lambda expression
在功能上等同于
{ ...your code... } // simple code block
这使得lambda表达式成为重构复杂函数的强大工具。首先在lambda函数中包装一个代码段,如上所示。然后,显式参数化过程可以在每个步骤之后通过中间测试逐步执行。一旦代码块完全参数化(如删除&所示),就可以将代码移动到外部位置并使其成为正常函数。
类似地,您可以使用lambda表达式根据算法的结果初始化变量。。。
int a = []( int b ){ int r=1; while (b>0) r*=b--; return r; }(5); // 5!
作为划分程序逻辑的一种方法,您甚至可能会发现将lambda表达式作为参数传递给另一个lambda表达式是有用的。。。
[&]( std::function<void()> algorithm ) // wrapper section
{
...your wrapper code...
algorithm();
...your wrapper code...
}
([&]() // algorithm section
{
...your algorithm code...
});
Lambda表达式还允许您创建命名的嵌套函数,这是避免重复逻辑的一种方便方法。当将一个非平凡函数作为参数传递给另一个函数时,使用命名的lambdas看起来也容易一些(与匿名内联lambdas相比)。注意:不要忘记右大括号后面的分号。
auto algorithm = [&]( double x, double m, double b ) -> double
{
return m*x+b;
};
int a=algorithm(1,2,3), b=algorithm(4,5,6);
如果后续的分析揭示了函数对象的大量初始化开销,您可以选择将其作为普通函数重写。
其他回答
Lambda表达式通常用于封装算法,以便将它们传递给另一个函数。但是,可以在定义后立即执行lambda:
[&](){ ...your code... }(); // immediately executed lambda expression
在功能上等同于
{ ...your code... } // simple code block
这使得lambda表达式成为重构复杂函数的强大工具。首先在lambda函数中包装一个代码段,如上所示。然后,显式参数化过程可以在每个步骤之后通过中间测试逐步执行。一旦代码块完全参数化(如删除&所示),就可以将代码移动到外部位置并使其成为正常函数。
类似地,您可以使用lambda表达式根据算法的结果初始化变量。。。
int a = []( int b ){ int r=1; while (b>0) r*=b--; return r; }(5); // 5!
作为划分程序逻辑的一种方法,您甚至可能会发现将lambda表达式作为参数传递给另一个lambda表达式是有用的。。。
[&]( std::function<void()> algorithm ) // wrapper section
{
...your wrapper code...
algorithm();
...your wrapper code...
}
([&]() // algorithm section
{
...your algorithm code...
});
Lambda表达式还允许您创建命名的嵌套函数,这是避免重复逻辑的一种方便方法。当将一个非平凡函数作为参数传递给另一个函数时,使用命名的lambdas看起来也容易一些(与匿名内联lambdas相比)。注意:不要忘记右大括号后面的分号。
auto algorithm = [&]( double x, double m, double b ) -> double
{
return m*x+b;
};
int a=algorithm(1,2,3), b=algorithm(4,5,6);
如果后续的分析揭示了函数对象的大量初始化开销,您可以选择将其作为普通函数重写。
lambda函数是您在线创建的匿名函数。它可以捕获一些已经解释过的变量(例如。http://www.stroustrup.com/C++11FAQ.html#lambda),但存在一些限制。例如,如果有这样的回调接口,
void apply(void (*f)(int)) {
f(10);
f(20);
f(30);
}
您可以当场编写一个函数来使用它,就像下面传递给应用程序的函数一样:
int col=0;
void output() {
apply([](int data) {
cout << data << ((++col % 10) ? ' ' : '\n');
});
}
但你不能这样做:
void output(int n) {
int col=0;
apply([&col,n](int data) {
cout << data << ((++col % 10) ? ' ' : '\n');
});
}
由于C++11标准的限制。如果您想使用捕获,则必须依赖库和
#include <functional>
(或其他类似STL库的算法来间接获取),然后使用std::function,而不是像这样传递普通函数作为参数:
#include <functional>
void apply(std::function<void(int)> f) {
f(10);
f(20);
f(30);
}
void output(int width) {
int col;
apply([width,&col](int data) {
cout << data << ((++col % width) ? ' ' : '\n');
});
}
它解决了一个问题:对于使用输出参数函数初始化常量成员的构造函数调用,代码比lambda简单
您可以通过调用一个函数来初始化类的常量成员,该函数通过将其输出作为输出参数返回来设置其值。
嗯,我发现的一个实际用途是减少锅炉板代码。例如:
void process_z_vec(vector<int>& vec)
{
auto print_2d = [](const vector<int>& board, int bsize)
{
for(int i = 0; i<bsize; i++)
{
for(int j=0; j<bsize; j++)
{
cout << board[bsize*i+j] << " ";
}
cout << "\n";
}
};
// Do sth with the vec.
print_2d(vec,x_size);
// Do sth else with the vec.
print_2d(vec,y_size);
//...
}
如果没有lambda,您可能需要为不同的bsize情况做一些事情。当然,你可以创建一个函数,但如果你想将使用限制在soul用户函数的范围内呢?lambda的性质满足这一要求,我将其用于这种情况。
C++作者Bjarne Stroustrup在其著作《C++编程语言》第11章(ISBN-13:978-0321563842)中给出了lambda表达式的最佳解释之一:
什么是lambda表达式?
lambda表达式,有时也称为lambda函数或(严格地说不正确,但口语上)作为lambda是定义和使用匿名函数对象的简化符号。而不是用运算符()定义一个命名类,然后创建该类的对象,最后调用它,我们可以使用速记。
我什么时候用?
当我们希望将操作作为算法的参数。在图形用户界面的上下文中(和其他地方),此类操作通常被称为回调。
他们解决了哪类在介绍之前不可能解决的问题?
在这里,我想用lambda表达式完成的每个操作都可以在没有它们的情况下解决,但需要更多的代码和更大的复杂性。Lambda表达式这是对代码进行优化的方法,也是使其更具吸引力的方法。正如Stroustup所言:
优化的有效途径
一些示例
通过lambda表达式
void print_modulo(const vector<int>& v, ostream& os, int m) // output v[i] to os if v[i]%m==0
{
for_each(begin(v),end(v),
[&os,m](int x) {
if (x%m==0) os << x << '\n';
});
}
或通过功能
class Modulo_print {
ostream& os; // members to hold the capture list int m;
public:
Modulo_print(ostream& s, int mm) :os(s), m(mm) {}
void operator()(int x) const
{
if (x%m==0) os << x << '\n';
}
};
甚至
void print_modulo(const vector<int>& v, ostream& os, int m)
// output v[i] to os if v[i]%m==0
{
class Modulo_print {
ostream& os; // members to hold the capture list
int m;
public:
Modulo_print (ostream& s, int mm) :os(s), m(mm) {}
void operator()(int x) const
{
if (x%m==0) os << x << '\n';
}
};
for_each(begin(v),end(v),Modulo_print{os,m});
}
如果需要,可以将lambda表达式命名如下:
void print_modulo(const vector<int>& v, ostream& os, int m)
// output v[i] to os if v[i]%m==0
{
auto Modulo_print = [&os,m] (int x) { if (x%m==0) os << x << '\n'; };
for_each(begin(v),end(v),Modulo_print);
}
或者假设另一个简单的样本
void TestFunctions::simpleLambda() {
bool sensitive = true;
std::vector<int> v = std::vector<int>({1,33,3,4,5,6,7});
sort(v.begin(),v.end(),
[sensitive](int x, int y) {
printf("\n%i\n", x < y);
return sensitive ? x < y : abs(x) < abs(y);
});
printf("sorted");
for_each(v.begin(), v.end(),
[](int x) {
printf("x - %i;", x);
}
);
}
将生成下一个
01.01.01.01.01.0排序x-1;x-3;x-4;x-5;x-6;x-7;x-33;
[]-这是捕获列表或lambda导入器:如果lambda不需要访问其本地环境,我们可以使用它。
书中引用:
lambda表达式的第一个字符始终是[.a lambda介绍人可以采取各种形式:•[]:空捕获列表。这暗示不能使用周围上下文中的本地名称在lambda车身中。对于此类lambda表达式,数据从参数或来自非局部变量。•[&]:隐式捕获参考可以使用所有本地名称。所有局部变量均为通过引用访问。•[=]:按值隐式捕获。所有本地可以使用名称。所有名称都引用本地变量的副本在lambda表达式的调用点获取。•[捕获列表]:显式捕获;捕获列表是要通过引用或值捕获(即存储在对象中)的本地变量的名称列表。名称前面带有&的变量由捕获参考其他变量由值捕获。捕获列表可以还包含this和后跟…的名称。。。作为元素。•[&,capture-list]:通过引用隐式捕获列表中未列出名称的所有局部变量。捕获列表可以包含此内容。列出的名称不能以&开头。中命名的变量捕获列表按值捕获。•[=,捕获列表]:通过值隐式捕获列表中未提及名称的所有局部变量。捕获列表不能包含此内容。列出的名称必须以&开头。捕获列表中命名的变量是通过引用捕获的。请注意,以&开头的本地名称总是由引用和本地名称不是由预先放弃的&总是由捕获价值仅通过引用捕获允许修改呼叫环境。
附加的
Lambda表达式格式
其他参考:
维基open-std.org,第5.1.2章