C++11新特性:Lambda函数(匿名函数)

简介: 声明:本文参考了Alex Allain的文章http://www.cprogramming.com/c++11/c++11-lambda-closures.html 加入了自己的理解,不是简单的翻译   C++11终于知道要在语言中加入匿名函数了。

声明:本文参考了Alex Allain的文章http://www.cprogramming.com/c++11/c++11-lambda-closures.html

加入了自己的理解,不是简单的翻译

 

C++11终于知道要在语言中加入匿名函数了。匿名函数在很多时候可以为编码提供便利,这在下文会提到。很多语言中的匿名函数,如C++,都是用Lambda表达式实现的。Lambda表达式又称为lambda函数。我在下文中称之为Lambda函数。

为了明白Lambda函数的用处,请务必先搞明白C++中的自动类型推断:http://blog.csdn.net/srzhz/article/details/7934483

 

基本的Lambda函数

 
我们可以这样定义一个Lambda函数:
 
[cpp]  view plain copy
 
  1. #include <iostream>  
  2.   
  3. using namespace std;  
  4.   
  5. int main()  
  6. {  
  7.     auto func = [] () { cout << "Hello world"; };  
  8.     func(); // now call the function  
  9. }  

其中func就是一个lambda函数。我们使用auto来自动获取func的类型,这个非常重要。定义好lambda函数之后,就可以当这场函数来使用了。
其中 [ ] 表示接下来开始定义lambda函数,中括号中间有可能还会填参数,这在后面介绍。之后的()填写的是lambda函数的参数列表{}中间就是函数体了。
正常情况下,只要函数体中所有return都是同一个类型的话,编译器就会自行判断函数的返回类型。也可以显示地指定lambda函数的返回类型。这个需要用到函数返回值后置的功能,比如这个例子:
[cpp]  view plain copy
 
  1. [] () -> int { return 1; }  
 
所以总的来说lambda函数的形式就是:
 
[cpp]  view plain copy
 
  1. [captures] (params) -> ret {Statments;}  

Lambda函数的用处

 
假设你设计了一个地址簿的类。现在你要提供函数查询这个地址簿,可能根据姓名查询,可能根据地址查询,还有可能两者结合。要是你为这些情况都写个函数,那么你一定就跪了。所以你应该提供一个接口,能方便地让用户自定义自己的查询方式。在这里可以使用lambda函数来实现这个功能。
[cpp]  view plain copy
 
  1. #include <string>  
  2. #include <vector>  
  3.   
  4. class AddressBook  
  5. {  
  6.     public:  
  7.     // using a template allows us to ignore the differences between functors, function pointers   
  8.     // and lambda  
  9.     template<typename Func>  
  10.     std::vector<std::string> findMatchingAddresses (Func func)  
  11.     {   
  12.         std::vector<std::string> results;  
  13.         for ( auto itr = _addresses.begin(), end = _addresses.end(); itr != end; ++itr )  
  14.         {  
  15.             // call the function passed into findMatchingAddresses and see if it matches  
  16.             if ( func( *itr ) )  
  17.             {  
  18.                 results.push_back( *itr );  
  19.             }  
  20.         }  
  21.         return results;  
  22.     }  
  23.   
  24.     private:  
  25.     std::vector<std::string> _addresses;  
  26. };  

从上面代码可以看到,findMatchingAddressses函数提供的参数是Func类型,这是一个泛型类型。在使用过程中应该传入一个函数,然后分别对地址簿中每一个entry执行这个函数,如果返回值为真那么表明这个entry符合使用者的筛选要求,那么就应该放入结果当中。那么这个Func类型的参数如何传入呢?
 
[cpp]  view plain copy
 
  1. AddressBook global_address_book;  
  2.   
  3. vector<string> findAddressesFromOrgs ()  
  4. {  
  5.     return global_address_book.findMatchingAddresses(   
  6.         // we're declaring a lambda here; the [] signals the start  
  7.         [] (const string& addr) { return addr.find( ".org" ) != string::npos; }   
  8.     );  
  9. }  

可以看到,我们在调用函数的时候直接定义了一个lambda函数。参数类型是
[cpp]  view plain copy
 
  1. const string& addr  
返回值是bool类型。
如果用户要使用不同的方式查询的话,只要定义不同的lambda函数就可以了。
 

Lambda函数中的变量截取

 
 
在上述例子中,lambda函数使用的都是函数体的参数和它内部的信息,并没有使用外部信息。我们设想这样的一个场景,我们从键盘读入一个名字,然后用lambda函数定义一个匿名函数,在地址簿中查找有没有相同名字的人。那么这个lambda函数势必就要能使用外部block中的变量,所以我们就得使用变量截取功能(Variable Capture)。
[cpp]  view plain copy
 
  1. // read in the name from a user, which we want to search  
  2. string name;  
  3. cin>> name;  
  4. return global_address_book.findMatchingAddresses(   
  5.     // notice that the lambda function uses the the variable 'name'  
  6.     [&] (const string& addr) { return name.find( addr ) != string::npos; }   
  7. );  
从上述代码看出,我们的lambda函数已经能使用外部作用域中的变量name了。这个lambda函数一个最大的区别是[]中间加入了&符号。这就告诉了编译器,要进行变量截取。这样lambda函数体就可以使用外部变量。如果不加入任何符号,编译器就不会进行变量截取。
 
下面是各种变量截取的选项:
  • [] 不截取任何变量
  • [&} 截取外部作用域中所有变量,并作为引用在函数体中使用
  • [=] 截取外部作用域中所有变量,并拷贝一份在函数体中使用
  • [=, &foo]   截取外部作用域中所有变量,并拷贝一份在函数体中使用,但是对foo变量使用引用
  • [bar]   截取bar变量并且拷贝一份在函数体重使用,同时不截取其他变量
  • [this]            截取当前类中的this指针。如果已经使用了&或者=就默认添加此选项。

Lambda函数和STL

 
 
lambda函数的引入为STL的使用提供了极大的方便。比如下面这个例子,当你想便利一个vector的时候,原来你得这么写:
[cpp]  view plain copy
 
  1. vector<int> v;  
  2. v.push_back( 1 );  
  3. v.push_back( 2 );  
  4. //...  
  5. for ( auto itr = v.begin(), end = v.end(); itr != end; itr++ )  
  6. {  
  7.     cout << *itr;  
  8. }  
现在有了lambda函数你就可以这么写
[cpp]  view plain copy
 
  1. vector<int> v;  
  2. v.push_back( 1 );  
  3. v.push_back( 2 );  
  4. //...  
  5. for_each( v.begin(), v.end(), [] (int val)  
  6. {  
  7.     cout << val;  
  8. } );  
而且这么写了之后执行效率反而提高了。因为编译器有可能使用”循环展开“来加速执行过程(计算机系统结构课程中学的)。
http://www.nwcpp.org/images/stories/lambda.pdf 这个PPT详细介绍了如何使用lambda表达式和STL
目录
相关文章
|
6月前
|
程序员 编译器 C++
【实战指南】C++ lambda表达式使用总结
Lambda表达式是C++11引入的特性,简洁灵活,可作为匿名函数使用,支持捕获变量,提升代码可读性与开发效率。本文详解其基本用法与捕获机制。
231 53
|
9月前
|
编译器 C++ 容器
【c++11】c++11新特性(上)(列表初始化、右值引用和移动语义、类的新默认成员函数、lambda表达式)
C++11为C++带来了革命性变化,引入了列表初始化、右值引用、移动语义、类的新默认成员函数和lambda表达式等特性。列表初始化统一了对象初始化方式,initializer_list简化了容器多元素初始化;右值引用和移动语义优化了资源管理,减少拷贝开销;类新增移动构造和移动赋值函数提升性能;lambda表达式提供匿名函数对象,增强代码简洁性和灵活性。这些特性共同推动了现代C++编程的发展,提升了开发效率与程序性能。
368 12
|
7月前
|
人工智能 机器人 编译器
c++模板初阶----函数模板与类模板
class 类模板名private://类内成员声明class Apublic:A(T val):a(val){}private:T a;return 0;运行结果:注意:类模板中的成员函数若是放在类外定义时,需要加模板参数列表。return 0;
197 0
|
10月前
|
安全 C++
【c++】继承(继承的定义格式、赋值兼容转换、多继承、派生类默认成员函数规则、继承与友元、继承与静态成员)
本文深入探讨了C++中的继承机制,作为面向对象编程(OOP)的核心特性之一。继承通过允许派生类扩展基类的属性和方法,极大促进了代码复用,增强了代码的可维护性和可扩展性。文章详细介绍了继承的基本概念、定义格式、继承方式(public、protected、private)、赋值兼容转换、作用域问题、默认成员函数规则、继承与友元、静态成员、多继承及菱形继承问题,并对比了继承与组合的优缺点。最后总结指出,虽然继承提高了代码灵活性和复用率,但也带来了耦合度高的问题,建议在“has-a”和“is-a”关系同时存在时优先使用组合。
531 6
|
编译器 程序员 定位技术
C++ 20新特性之Concepts
在C++ 20之前,我们在编写泛型代码时,模板参数的约束往往通过复杂的SFINAE(Substitution Failure Is Not An Error)策略或繁琐的Traits类来实现。这不仅难以阅读,也非常容易出错,导致很多程序员在提及泛型编程时,总是心有余悸、脊背发凉。 在没有引入Concepts之前,我们只能依靠经验和技巧来解读编译器给出的错误信息,很容易陷入“类型迷路”。这就好比在没有GPS导航的年代,我们依靠复杂的地图和模糊的方向指示去一个陌生的地点,很容易迷路。而Concepts的引入,就像是给C++的模板系统安装了一个GPS导航仪
370 59
|
算法 编译器 C++
【C++11】lambda表达式
C++11 引入了 Lambda 表达式,这是一种定义匿名函数的方式,极大提升了代码的简洁性和可维护性。本文详细介绍了 Lambda 表达式的语法、捕获机制及应用场景,包括在标准算法、排序和事件回调中的使用,以及高级特性如捕获 `this` 指针和可变 Lambda 表达式。通过这些内容,读者可以全面掌握 Lambda 表达式,提升 C++ 编程技能。
578 3
|
安全 编译器 C++
【C++11】新特性
`C++11`是2011年发布的`C++`重要版本,引入了约140个新特性和600个缺陷修复。其中,列表初始化(List Initialization)提供了一种更统一、更灵活和更安全的初始化方式,支持内置类型和满足特定条件的自定义类型。此外,`C++11`还引入了`auto`关键字用于自动类型推导,简化了复杂类型的声明,提高了代码的可读性和可维护性。`decltype`则用于根据表达式推导类型,增强了编译时类型检查的能力,特别适用于模板和泛型编程。
171 2
|
程序员 C++ 容器
在 C++中,realloc 函数返回 NULL 时,需要手动释放原来的内存吗?
在 C++ 中,当 realloc 函数返回 NULL 时,表示内存重新分配失败,但原内存块仍然有效,因此需要手动释放原来的内存,以避免内存泄漏。
|
存储 前端开发 C++
C++ 多线程之带返回值的线程处理函数
这篇文章介绍了在C++中使用`async`函数、`packaged_task`和`promise`三种方法来创建带返回值的线程处理函数。
548 6
|
C++
C++ 多线程之线程管理函数
这篇文章介绍了C++中多线程编程的几个关键函数,包括获取线程ID的`get_id()`,延时函数`sleep_for()`,线程让步函数`yield()`,以及阻塞线程直到指定时间的`sleep_until()`。
327 0
C++ 多线程之线程管理函数