C++11之auto和decltype

auto自动类型推断，用于从初始表达式中推断出变量的类型。

auto a;// 错误，没有初始化表达式，无法推断出a的类型

autoint a =10;// 错误，auto临时变量的语义在C++ 11中已不存在

auto a =10;

auto c ='A';

auto s("hello");

vector<int> vctTemp;

auto it = vctTemp.begin();

auto ptr =[](){ cout <<"hello world"<< endl;};

auto返回值占位,主要与decltype配合使用,用于返回值类型后置时的占位。

template<class T,class U>

autoMultiply(T t, U u)->decltype(t*u)

{

typedefdecltype(t*u)NewType;

NewType*pResult =newNewType(t*u);

return*pResult;

}

decltype相关用法说明

类似于sizeof操作符，decltype也不需对其操作数求值(而auto会执行表达式)。粗略来说，decltype(e)返回类型前，进行了如下推导：

若表达式e指向一个局部变量、命名空间作用域变量、静态成员变量或函数参数，那么返回类型即为该变量（或参数）的“声明类型”；

若e是一个左值（lvalue，即“可寻址值”），则decltype(e)将返回T&，其中T为e的类型；

若e是一个x值（xvalue），则返回值为T&&；

若e是一个纯右值（prvalue），则返回值为T。

1、表达式根据其值的类型可分为以下三类：

lvalue：左值，即传统意义上的左值。

xvalue(expiring value)：x值（中间值？），指通过“右值引用”产生的对象。
这里x可以理解为即将消失(expiring)，也可理解为中间（横跨左值和右值）。

prvalue(pure rvalue)：纯右值，即传统意义上的右值。

2、两种复合类型：

glvalue(general lvalue)：泛左值，由左值和x值构成。泛左值具有动态的类型和对象属性。

rvalue：右值，由x值和纯右值构成。右值具有潜在的可移动性。

3、关于右值引用：

具名右值引用被视为左值。

无名右值引用被视为x值。

对函数的右值引用无论具名与否都将被视为左值。

decltype(fun()) sum = x;//sum的类型就是函数fun的返回值类型

constint ci =0,&cj = ci;

decltype(ci) x =0;//x的类型是const int型

decltype(cj) y = x;//y的类型是const int&，y绑定到变量x

decltype(cj) z;//错误，引用类型必须被初始化

int i =42,*p =&i,&r = i;

decltype(r +0) b;//r+0的结果是int型

//通过解引用可以给指针指向的对象赋值，说明解引用操作返回的是引用类型的

decltype(*p) c;//错误，c是int&，必须被初始化

//decltype结果类型与表达式形式密切相关

decltype((i)) d;//错误，d是int&类型，必须初始化

decltype(i) e;//正确，e是一个int类型

来自为知笔记(Wiz)