C++类型推导

1、auto类型推导
auto varname = value;
auto 根据=右边的初始值value推导出变量的类型

int a = 10,b = 11;
auto c = a + b;

2、decltype类型推导
decltype(exp) varname = value;
decltype根据exp表达式推导出变量的类型，跟=右边的value没有关系。

int a = 10,b = 11;
decltype(a + b) d ;

auto推导变量依赖于初始化它的表达式，并且auto声明的变量必须初始；而decltype是直接通过某一个表达式来获取数据类型，从而定义d的类型。
和auto不同，decltype会保留const属性和引用属性:

const int ci = 0, &cj = ci;

decltype(ci) x = 0;//x的类型为const int
decltype(cj) y = x; //y的类型为const int&
decltype(cj) z; //错误，因为z的类型为const int&，必须初始化

auto w = ci;//w的类型是int
w = 9;
auto n = cj;//n的类型是int

decltype表达式时，返回的类型根据表达式的结果不同而不同：expr返回左值，得到该类型的左值引用；expr返回右值，得到该类型。
表达式做右值

int i = 42, &r = i;
decltype(r + 0) b; //b类型是int，而不是int&

尽管r是引用类型，但是r+0是一个具体的值，只能做右值，值对应的类型是int型，所以b为int类型
表达式做左值
表达式做左值，推导为类型的引用

int ii = 42, *p = ⅈ
	decltype(*p) c;//错误，c是int&，必须初始化
	decltype((ii)) d;//错误，d是int&，必须初始化

对于解引用*p， 它代表的是p指向地址中的值，同时我们可以给这个值赋值，即为左值。所以，decltype(*p)是int& ，这样才能有给绑定变量的值赋值的特点。
ii是一个变量，加上括号后变为表达式，即(ii)是一个表达式，又我们可以ii赋值，即为左值。所以，decltype((var))永远是一个引用类型，decltype((ii))声明变量d时，d就为int&类型。
decltype 函数

template <typename T>
T add(T a, T b)
{ 
   
	return a+b;
}

decltype(add(1,2)) m = 10; //m的类型是int
decltype(add(1.0,2.0)) m2 = 20; //m2的类型是double

注意：若是函数的返回值为void，编译报错
decltype(f)

int add_to(int a, int b)
{ 
   
	return a + b;
}

decltype(add_to) *pf = add_to; //pf就是一个函数指针，类型为int (int,int)
pf(1,2);

decltype(add_to)直接返回函数类型，所以pf是一个函数指针。
那么可以返回模板函数的函数指针吗？如下，显然是不行的，因为模板函数依赖于参数列表，只根据函数名是无法推断函数类型的，所以说函数指针pf的类型无法确认

template <typename T>
T add_to(T a, T b)
{ 
   
	return a + b;
}

decltype(add_to) *pf = add_to; 
pf(1,2);

和模板函数一样，如果函数是重载的，也无法通过函数名来推断返回的函数类型，那么也无法返回函数指针，如下面的例子中声明pf为函数指针是错误的。

int add_to(int a, int b)
{ 
   
	return a + b;
}
int add_to(int a, int b,int c)
{ 
   
	return a + b +c;
}
decltype(add_to) *pf = add_to; 
pf(1,2);

C++ 11 中decltype的主要作用
Decltype在C++11中的主要作用是用于申明返回值类型依赖于其参数类型的模板函数。

template <typename _Tx, typename _Ty>
auto multiply(_Tx x, _Ty y)->decltype(x*y)
{ 
   
    return x*y;
}