decltype含义和举例
decltype用于推导类型。decltype：对于一个给定的变量名或者表达式，decltype能够告诉你该名字或表达式的类型，在c++11中，decltype(操作数)，主要作用：返回操作数的数据类型
decltype特点：
1. decltype的自动类型推断发生在编译期(和auto一样)
2.decltype不会真正计算表达式的值
a)decltype后的圆括号中是个变量
const int i=0;
decltype(i) j2 = 15; //j2的类型为 const int
const int&iy=i;
decltype(iy) j3 =j2; //j3的类型为const int&
如果decltype中是个变量，则变量的const属性以及引用属性都会被保留。
class CT {
public:
int i{};
int j{};
};
int main()
{
decltype(CT::i) j = 10; //j的类型为int
CT tmpct;
decltype(tmpct) tmpct2; //tmpct2的类型为CT
decltype(tmpct2.i) mv = 5;//mv的类型为int
int x=1,y=2;
auto&&z = x; //z的类型为int&
decltype(z)&&h=y; //这里用到了引用折叠，h的类型为int&
}
b)decltype后的圆括号中是个非变量(是表达式)
decltype(8) kkk = 5;//kkk的类型为int
int i = 0;
int& iy = i;
decltype(iy+1) h=i; //h的类型为int，因为iy+1得到一个整形表达式1
int * pi = &i;
decltype(pi) k;// k = int*
decltype(*pi) k2=i; //k2的类型为int&，*pi是表达式不是个变量，如果表达式结果能够作为赋值语句=左边的值，那么decltype返回的类型就是一个左值引用
decltype((i)) iy3==i; //iy3的类型为int&，因为如果在变量名外额外增加了一层或多层括号，那么编译器就会把这个变量当成一个表达式，又因为这个表达式可以作为等号左边的内容，那么decltype返回的类型就是一个左值引用
此时，decltype会返回表达式的结果对应的类型
c)decltype后的圆括号中是个函数
int test(){return 10;}
int main()
{
decltype(test()) tmpv = 14; //tmpv的类型就是test()的返回类型int
//这里编译器没有去调用test()这个函数。只是使用test()函数的返回值类型作为tmpv的类型
decltype(test) tmpv2; //tmpv2=int(void)，这个有返回类型，有参数类型，代表一种可调用对象，可用来做function的模板类型参数
return 0;
}
decltype的主要用途
一般decltype主要用途还是应用于模板编程中。decltype(sizeof(int)) a，a的类型为unsigned long long。
auto结合decltype构成返回类型后置语法
auto add(int a,int b)->decltype(a+b)
{
return a+b;
}
注意，auto在这里并没有自动类型推断的含义， 这里它只是返回类型后置语法的组成部分。
decltype(auto)用法(注：c++14)，c++14中auto也可以推导函数返回类型
template<typename T>
auto func(T& v1)
{
return v1;
}
在这个函数中，我期望func返回一个引用类型，就是v1本身的类型，但auto推导会把引用类型和const修饰符抛弃，所以和本意不符，这时，如果想v1本身是什么类型，就返回什么类型，就可以使用decltype(auto)
template<typename T>
decltype(auto) func(T&v1) //我们可以把auto理解成要推导的类型，推导过程我们采用decltype
{
return v1;
}
我们也可以把decltype(auto)用在变量声明中，由于auto推导会把引用类型和const修饰符丢弃掉，而decltype(auto)什么也不丢弃，所以，当你就想和等号右边的值类型一样时，就可以使用decltype(auto)。也可以理解为，auto丢掉的东西，可以通过decltype(auto)捡回来。
int x = 1;
const int &y =x;
auto a = y; //a的类型为int
decltype(auto) b = y; //b的类型和y类型相同，为const int &
