*上面对于 lambda 的引入是如下描述的:
在标准 C++,特别是当使用 C++ 标准程序库算法函数诸如 sort 和 find。用户经常希望能够在算法函数调用的附近定义一个临时的述部函数(又称谓词函数,predicate function)。由于语言本身允许在函数内部定义类型,可以考虑使用函数对象,然而这通常既麻烦又冗赘,也阻碍了代码的流程。此外,标准 C++ 不允许定义于函数内部的类型被用于模板,所以前述的作法是不可行的。C++11 对lambda的支持可以解决上述问题。
lambda 表达式的简单语法如下:[capture] (parameters) -> return value { body }
1、最简单的例子:
#include <iostream>
using namespace std;
int main()
{
auto func = [] () { cout << "Hello world"; };
func();
}
上面的 lambda 表达式 func 没有传入任何参数,也没有返回值,甚至我们可以对其简写成:auto func = [] { cout << "Hello world"; } 。并且配合 C++11标准加入的 auto 自动类型判断,省去了以前定义函数指针冗杂繁琐的过程,程序看上去如何优雅、简洁。
2、更加深入的示范:
假设我们有一个存放书籍地址的类,需要传入一个“搜索满足条件地址”的函数,并且将类定义成如下模样:
class AddressBook
{
public:
template<typename Func>
std::vector<std::string> findMatchingAddresses (Func func)
{
std::vector<std::string> results;
for ( auto itr = _addresses.begin(), end = _addresses.end(); itr != end; ++itr )
{
if ( func( *itr ) )
{
results.push_back( *itr );
}
}
return results;
}
private:
std::vector<std::string> _addresses;
};
类 AddressBook 封装了 findMatchingAddresses 函数,返回满足我们需要的书目,下面我们看看 lambda 表达式如何实现这一过程:
AddressBook global_address_book;
vector<string> findAddressesFromOrgs ()
{
return global_address_book.findMatchingAddresses(
[] (const string& addr) { return addr.find( ".org" ) != string::npos; }
);
}
上面函数返回满足地址中带有 ".org" 字样的书籍条目,lambda 表达式虽然没有定义返回类型,但是编译器可以根据我们的 return 语句自动判断返回值是 boolean 类型。我们的 lambda 表达式中 [] 并没有 capture 任何变量,再下面的例子中将展示 [&] :
string name;
cin >> name;
return global_address_book.findMatchingAddresses(
[&] (const string& addr) { return addr.find( name ) != string::npos; }
);
再次注意到,类 global_address_book 竟然能够访问到我们定义的局部变量 name 字符串,这正是 lambda 表达式的强大之处,[&] 代表 lambda body 中用到的变量都以“reference”的方式使用,还有更多的 capture 用法这里就不再叙述,有兴趣进一步了解的同学可以自行搜索。
3、Lambda 表达式使 STL 更加强大:
传统的情况下,我们会用下面的方式去访问容器里面的数据:
vector<int> v;
v.push_back( 1 );
v.push_back( 2 );
//...
for ( auto itr = v.begin(), end = v.end(); itr != end; itr++ )
{
cout << *itr;
}
但是当我们有了 Lambda 之后,利用 STL 里面的 for_each ,将会变成下面的代码:
vector<int> v;
v.push_back( 1 );
v.push_back( 2 );
//...
for_each( v.begin(), v.end(), [] (int val)
{
cout << val;
});
你可能会想,上面的 for_each 循环,会不会使我们的程序有性能上的损耗?答案是否定的:for_each 的效率和迭代的效率是一致的,甚至加上 Lambda 之后,for_each 会利用 "loop unrolling" 机制使程序运行的更快。
Lambda 的引入给我们带来了一种全新的编程体验,它可以让我们把 "function" 当做是 "data" 一样传递,并且使我们从繁琐的语法中解放出来,更加关注于 "算法" 本身。我们也称 Lambda 为 Closure(闭包),顾名思义,这使我们的函数变得更加私有,所以限制了别人的访问,同时我们也可以更加方便的编程。
4、Lambda 与 资源管理:
前面在我的 「理解智能指针」一文中提到,智能指针可以利用 C++ 的 RAII(Resource acquisition is initialization) 特性,在类型(class)的析构函数时来完成自动释放指针所指向对象的目的。同样,在 Lambda 中,又把 RAII 这一特性体现的淋漓尽致:
class ScopeGuard
{
public:
explicit ScopeGuard(std::function<void()> onExitScope)
: onExitScope_(onExitScope)
{ }
~ScopeGuard()
{
onExitScope_();
}
private:
std::function<void()> onExitScope_;
private: // noncopyable
ScopeGuard(ScopeGuard const&);
ScopeGuard& operator=(ScopeGuard const&);
};
int main() {
HANDLE h = CreateFile(...);
ScopeGuard onExit([&] { CloseHandle(h); });
...
return 0;
}
看到上面的代码,我已经被 C++11 引入 Lambda 之后所带来的强大功能所折服了。我们不必担心何时去释放资源,并且连释放资源的方式「如 CloseHandle(h)」也与我们的代码紧密的融合在了一起,这将是十分美妙的一件事情。
5、Lambda 到底是什么类型:
auto func = [] () { cout << "hello world"; };
std::function<void ()> func = [] () { cout << "hello world"; }; auto func = [] (int val) { cout << val; return false; };
std::function<bool (int)> func = [] (int val) { cout << val; return false; };
上面的上下 2 行代码效果是等效的,看到这里是否有种似曾相识的感觉?那 Lambda 和 我们定义的函数指针有什么区别呢:
typedef int (*func)();
func f = [] () -> int { return 2; };
f();
没错,这段代码是可以正常运行的,因为 Lambda 表达式中并没有 capture 任何本地变量,因此会被编译成普通的函数指针。最后采用 coolshell 里面 Lambda 的 2 点总结: 1)可以定义匿名函数,2)编译器会把其转成函数对象。
6、 使用 Lambda 进行代码委托(调用):
「参考资料」
http://zh.wikipedia.org/wiki/C%2B%2B11
http://mindhacks.cn/2012/08/27/modern-cpp-practices/
http://www.cprogramming.com/c++11/c++11-lambda-closures.html