转自：C++ auto 关键字 - c&z - 博客园 (cnblogs.com)
在C++ 98 中，auto 的作用是让变量成为自动变量（拥有自动的生命周期），但是该作用是多余的，变量默认拥有自动的生命周期，在C++ 11 中，已经删除了该用法，取而代之的作用是：自动推断变量的类型。
举例：
int32_t a = 1;
auto b = a;
std::cout <<typeid(b).name() << std::end; // 输出结果：int typeid运算符可以输出变量的类型
auto 在实际编程中的用法
对于上面的情形，在实际编程中不推荐，因为不便于他人阅读，直接写出变量的类型会更加的清晰易懂。
1、auto 主要用于代替冗长复杂，变量使用范围专一的变量声明，比如：
std::vector<std::string> vec;
for (auto iter = vec.begin(); iter != vec.end(); ++iter) {}
2、auto 在定义函数模板时，用于声明依赖模板参数的变量类型
模板函数依赖于模板参数的返回值，比如：
template<typename Tx, typename Ty>
auto multiply(Tx x, Ty y)
{
return x * y;
}
注意事项：
（1）auto 变量必须在定义时进行初始化操作（这很好理解，如果不进行初始化操作，那么 auto 关键字就不能进行变量类型的推导了）//这个我理解是：auto 声明的变量，并不是执行到auto 这里的时候才去推导，而是在编译阶段就要完成推导。编译时，编译器需要根据初始化的类型来推导auto类型，所以写代码的时候auto声明的地方必须初始化，这个是为了编译时做推导用的。
（2）定义一个 auto 序列的变量时，必须是同一种类型，如：
auto a = 1, b = 2, c = 3; // 正确
auto a = 1, b = 2.2, c = 'c'; // 错误（这个道理和第一点注意事项相同）//这个我理解是：遇到auto时就做推导，即简单理解就是 类似于宏定义的展开。auto根据第一个变量的初始化就完成推导了，后面的变量声明，是auto已经确定类型之后的动作。所以，后面变量初始化的类型需要与第一个变量一致，不然声明就不对了。auto a = 1 就推导出auto是int型，那么声明语句其实展开后就是 int a = 1, b = 2.2, c = 'c'; 这样写肯定就不对了。编译时就会报错。
（3）如果表达式是引用，则去除引用语义
int32_t a = 1;
int32_t& b = a;
auto c = b; // 此时c的类型被推导为 int32_t，而不是int32_t&
auto& c = b; // 此时c的类型才是int32_t&（自我理解，定义一个引用，那么就直接操作的是b，而b的类型是int32_t&，所以这里的类型是int32_t&）
（4）如果表达式是const或volatile（或两者都有），则去除const/volatile语义
（5）如果auto关键字带上&号，则不去除const语义
（6）如果表达式为数组，auto关键字推导类型为指针，如：
int32_t a[3] = {};
auto arr = a;
std::cout << typeid(arr).name() << std::end; // 这里输出 int *
（7）如果表达式为数组，且auto带上&，则推导出的类型为数组类型，如：
int32_t a[3] = {};
auto& arr = a;
std::cout <<typeid(arr).name() std::endl; // 这里输出int [3]
但是auto 关键字不能定义数组，比如下面的例子就是错误的：
char url[] = "http://c.biancheng.net/";
auto str[] = url; //str 为数组，所以不能使用 auto
（8）函数或模板参数不能被声明为auto
（9）auto不是一个真正的类型，仅仅是一个占位符，不能使用一些以类型为操作数的操作符，如sizeof或typeid
std::cout << sizeof(auto) std::endl; // 错误
std::cout << typeid(auto).name() std::endl; // 错误