六、语言特性之＜decltype、lambda＞

目录

一、新关键字decltype

1 decltype定义

2 decltype三种用法

2.1 decltype三种用法之一：用来声明函数的返回值类型，一种新的指定函数返回值类型的方式

2.2 decltype三种用法之二：模板之间的应用

2.3 decltype三种用法之三：用来求lambda表达式的类型

3 decltype 推导规则

二、lambda

1 lambda语法以及调用方式

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

3 lambda和函数对象（仿函数）的对比使用

---

---

---

---

一、新关键字decltype

1 decltype定义

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

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

• typedef：定义一种类型的别名，而不只是简单的宏替换；

• define：简单的宏替换。

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

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

2 decltype三种用法

2.1 decltype三种用法之一：用来声明函数的返回值类型，一种新的指定函数返回值类型的方式

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

2.2 decltype三种用法之二：模板之间的应用

注意：

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

2.3 decltype三种用法之三：用来求lambda表达式的类型

• lambda是匿名的函数对象或仿函数，每一个都是独一无二的；
• 如果需要声明一个这种对象的话，需要用模板或者auto；
• 如果需要lambda表达式的类型type，可以使用decltype；
• lambda没有默认构造函数和析构函数。

3 decltype 推导规则

当程序员使用 decltype(exp) 获取类型时，编译器将根据以下三条规则得出结果：

• 如果 exp 是一个不被括号( )包围的表达式，或者是一个类成员访问表达式，或者是一个单独的变量，那么 decltype(exp) 的类型就和 exp 一致，这是最普遍最常见的情况。
• 如果 exp 是函数调用，那么 decltype(exp) 的类型就和函数返回值的类型一致。
• 如果 exp 是一个左值，或者被括号( )包围，那么 decltype(exp) 的类型就是 exp 的引用；假设 exp 的类型为 T，那么 decltype(exp) 的类型就是 T&。

为了更好地理解 decltype 的推导规则，下面来看几个实际的例子。

【实例1】exp 是一个普通表达式：

#include <string>
using namespace std;

class Student{
public:
    static int total;
    string name;
    int age;
    float scores;
};

int Student::total = 0;

int  main(){
    int n = 0;
    const int &r = n;
    Student stu;

    decltype(n) a = n;  //n 为 int 类型，a 被推导为 int 类型
    decltype(r) b = n;     //r 为 const int& 类型, b 被推导为 const int& 类型
    decltype(Student::total) c = 0;  //total 为类 Student 的一个 int 类型的成员变量，c 被推导为 int 类型
    decltype(stu.name) url = "http://c.biancheng.net/cplus/";  //total 为类 Student 的一个 string 类型的成员变量， url 被推导为 string 类型

    return 0;
}

这段代码很简单，按照推导规则 1，对于一般的表达式，decltype 的推导结果就和这个表达式的类型一致。

【实例2】exp 为函数调用：

//函数声明
int& func_int_r(int, char);  //返回值为 int&
int&& func_int_rr(void);  //返回值为 int&&
int func_int(double);  //返回值为 int

const int& fun_cint_r(int, int, int);  //返回值为 const int&
const int&& func_cint_rr(void);  //返回值为 const int&&

//decltype类型推导
int n = 100;
decltype(func_int_r(100, 'A')) a = n;  //a 的类型为 int&
decltype(func_int_rr()) b = 0;  //b 的类型为 int&&
decltype(func_int(10.5)) c = 0;   //c 的类型为 int

decltype(fun_cint_r(1,2,3))  x = n;    //x 的类型为 const int &
decltype(func_cint_rr()) y = 0;  // y 的类型为 const int&&

需要注意的是，exp 中调用函数时需要带上括号和参数，但这仅仅是形式，并不会真的去执行函数代码。

【实例3】exp 是左值，或者被( )包围：

using namespace std;

class Base{
public:
    int x;
};

int main(){
    const Base obj;

    //带有括号的表达式
    decltype(obj.x) a = 0;  //obj.x 为类的成员访问表达式，符合推导规则一，a 的类型为 int
    decltype((obj.x)) b = a;  //obj.x 带有括号，符合推导规则三，b 的类型为 int&。

    //加法表达式
    int n = 0, m = 0;
    decltype(n + m) c = 0;  //n+m 得到一个右值，符合推导规则一，所以推导结果为 int
    decltype(n = n + m) d = c;  //n=n+m 得到一个左值，符号推导规则三，所以推导结果为 int&

    return 0;
}

这里我们需要重点说一下左值和右值：左值是指那些在表达式执行结束后依然存在的数据，也就是持久性的数据；右值是指那些在表达式执行结束后不再存在的数据，也就是临时性的数据。有一种很简单的方法来区分左值和右值，对表达式取地址，如果编译器不报错就为左值，否则为右值。

二、lambda

1 lambda语法以及调用方式

定义：lambda是一组功能的组合定义，lambda可以定义为内联函数，可以被当做一个参数或者一个对象，类似于仿函数。

（1）lambda最简单形式：   

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

（2）lambda一般形式：

• [] : lambda导入器，取用外部变量。
• ()：类似函数参数
• mutable：[]中的导入数据是否可变
• throwSpec：抛出异常
• retType：类似函数返回值
• {} : 类似函数体

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

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

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

3 lambda和函数对象（仿函数）的对比使用