C++2.0新特性(四)——<decltype、lambda>

一、关键字decltype

引入新关键字decltype可以让编译器找出表达式的类型，为了区别typeof，以下做一个概念区分：

• typeof 是一个一元运算，放在一个运算数之前，运算数可以是任意类型，非常依赖平台已过时，由decltype代替；
  理解为：我们根据typeof（）括号里面的变量，自动识别变量类型并返回该类型；
• typedef：定义一种类型的别名，而不只是简单的宏替换；
• define：简单的宏替换。

比如我想知道别人传给我testVec的类型是什么（前提是我只知道他是一个容器），因为容器都有value_type这一个属性，我可以下面这么写

std::vector<int> testVec;
decltype(testVec)::value_type type;

1.1 decltype用法：

• 申明函数的返回类型，一种新的指定函数返回类型的方式

template<typename T1, typename T2>
auto Add(T1 x, T2 y) ->decltype(x + y);

注意：下图中的typename，因为编译器编译到这并不知道obj是什么，这里加：：前面就必须要加上typename告诉编译器这就是一个类型，不然编译器会犹豫不决

• 用于传递lambda的类型

二、lambda

2.1 lambda语法以及调用方式

注意：加括号不是所谓的构造临时对象，而是直接就调用(相对于其他用法的特殊形式)

2.2 lambda里面对应的是一个匿名的函数对象

　　定义一个lambda相当于定义一个函数对象（即仿函数：一个普通类并重载类的“()”运算符），但是由于lambda的奇特写法，标准库没有提供默认构造函数和赋值函数的，并且里面有一个括号运算符重载函数，mutable（该关键字表示该函数是no-const，没有该关键字表示是const类型）

上图说明：如果没有mutable，进行++id是编译不通过的，因为你是以value形式传进来的参数

2.3 lambda和函数对象的对比使用