原文链接： http://blog.csdn.net/xiejingfa/article/details/50469045
熟悉脚本语言的人都知道，很多脚本语言都引入了“类型自动推断”技术：比如python，可以直接声明变量，在运行时进行类型检查。随着C++11标准的发布，C++语言也引入了类型自动推断的功能，这就是我们今天要介绍的auto关键字。
C++是一种强类型语言，声明变量时必须明确指出其类型。但是，在实践中，优势我们很难推断出某个表达式的值的类型，尤其是随着模板类型的出现，要想弄明白某些复杂表达式的返回类型就变得更加困难。为了解决这个问题，C++11重新定义了auto关键字的语义，用于进行自动类型推断。为什么说“重新定义”呢？auto关键字在C++98中已经出现，用于自动变量的声明，但是极少被使用（关于此定义，可以查看这里）。
用法
C++引入auto关键字主要有两种用途：一是在变量声明时根据初始化表达式自动推断该变量的类型，二是在声明函数时作为函数返回值的占位符。对于自动类型推断，C++11中也有一个类似的关键字decltype，感兴趣的童鞋可以继续关注我的博客，今天我们主要来讲解一些auto关键字的用法。
自动类型推断
使用auto从初始化表达式中推断出变量的数据类型，可以大大简化我们的编程工作，特别是对于一些类型冗长复杂的变量。比如，在以前的做法中，对于vector类型的变量，如果我们需要获取它的迭代器，我们需要这样声明vector::iterator iter，而使用auto关键字后我们可以让编译器帮我们推断出迭代器的具体类型。另外，在模板函数定义时，如果变量的类型依赖于模板参数，我们也很难确定变量的类型，使用auto关键字则可以把这些“脏活累活”交给编译器完成。
下面看一些简单的例子：
#include <iostream>
#include <vector>
using namespace std;
template<class T, class U>
void add(T t, U u)
{
auto s = t + u;
cout << "type of t + u is " << typeid(s).name() << endl;
}
int main()
{
// 简单自动类型推断
auto a = 123;
cout << "type of a is " << typeid(a).name() << endl;
auto s("fred");
cout << "type of s is " << typeid(s).name() << endl;
// 冗长的类型说明（如迭代器）
vector<int> vec;
auto iter = vec.begin();
cout << "type of iter is " << typeid(iter).name() << endl;
// 使用模板技术时，如果某个变量的类型依赖于模板参数，使用auto确定变量类型
add(101, 1.1);
}函数返回值占位符
在这种情况下，auto主要与decltype关键字配合使用，作为返回值类型后置时的占位符。此时，关键字不表示自动类型检测，仅仅是表示后置返回值的语法的一部分。
示例如下：
template<class T, class U>
auto add(T t, U u) -> decltype(t + u)
{
return t + u;
}注意事项
1、使用auto关键字的变量必须有初始值。
2、可以使用valatile，*（指针类型说明符），&（引用类型说明符），&&（右值引用）来修饰auto关键字。
auto a = 10;
auto *pa = new auto(a);
auto **rpa = new auto(&a);
cout << typeid(a).name() << endl; // 输出： int
cout << typeid(pa).name() << endl; // 输出： int *
cout << typeid(rpa).name() << endl; // 输出： int **3、函数参数和模板参数不能被声明为auto。
4 、使用auto关键字声明变量的类型，不能自动推导出顶层的CV-qualifiers和引用类型，除非显示声明。例如：
- 使用auto关键字进行类型推导时，如果初始化表达式是引用类型，编译器会去除引用，除非显示声明。例如：
int i = 10;
int &r = i;
auto a = r;
a = 13; // 重新赋值
cout << "i = " << i << " a = " << a << endl; // 输出i=10，a=13
// 显式声明
auto &b = r;
b = 15; // 重新赋值
cout << "i = " << i << " b = " << b << endl; // 输出i=15，a=15- 使用auto使用auto关键字进行类型推导时，编译器会自动忽略顶层const，除非显示声明。例如：
const int c1 = 10;
auto c2 = c1;
c1 = 11; // 报错，c1为const int类型，无法修改const变量
c2 = 14; // 正确，c2为int类型
// 显示声明
const auto c3 = c1;
c3 = 15; // 报错，c3为const int类型，无法修改const变量5、对于数组类型，auto关键字会推导为指针类型，除非被声明为引用。例如：
int a[10];
auto b = a;
cout << typeid(b).name() << endl; // 输出：int *
auto &c = a;
cout << typeid(c).name() << endl; // 输出：int [10]