C++11新特性-----类型推导（auto、decltype、强弱类型语言）

for(vector::const_iterator it = v.begin(); it != v.end(); ++it);
// 可以改写为
for(auto it = v.begin(); it != v.end(); ++it);

虽然写起来和动态语⾔（如 JavaScript 的 var ）很像，但 C++ 仍然是强类型的，会执⾏静态类型检查的语⾔。这只是语法上的简化，并未改变C++ 的静态类型检查。

强类型语言也称为强类型定义语言。是一种总是强制类型定义的语言，要求变量的使用要严格符合定义，所有变量都必须先定义后使用。

java、.NET、C/C++等都是强制类型定义的。也就是说，一旦一个变量被指定了某个数据类型，如果不经过强制转换，那么它就永远是这个数据类型了。

例如你有一个整数，如果不显式地进行转换，你不能将其视为一个字符串。

与其相对应的是弱类型语言：数据类型可以被忽略的语言。它与强类型定义语言相反, 一个变量可以赋不同数据类型的值

1.若 e 为⼀个⽆括号的变量、函数参数、类成员，则返回类型为该变量/参数/类成员在源程序中的声明类型；

2.否则的话，根据表达式的值分类（value categories），设 T 为 e 的类型：

• 若 e 是⼀个左值（lvalue，即“可寻址值”），返回 T& ；
• 若 e 是⼀个临终值（xvalue），则返回值为 T&& ；
• 若 e 是⼀个纯右值（prvalue），则返回值为 T

const std::vector v(1);
const int&& foo(); // 返回临终值：⽣命周期已结束但内存还未拿⾛
auto a = v[0]; // a 为 int
decltype(v[0]) b = 0; // b 为 const int&
 // 即 vector::operator[](size_type) const 的返回值类型
auto c = 0; // c, d 均为 int
auto d = c; 
decltype(c) e; // e 为 int，即 c 的类型
decltype((c)) f = e; // f 为 int&，因为 c 是左值
decltype(0) g; // g 为 int，因为 0 是右值