在C語言中，就有了auto關鍵字，它被當作是一個變量的存儲類型修飾符，表示自動變量(局部變量)。它不能被單獨使用，否則編譯器會給出警告。在C++11標準中，添加了新的類型推導特性。在C ++11中，使用auto定義的變量不能使用其它類型修飾符修飾，該變量的類型由編譯器根據初始化數據自動確定。

C++中類型檢查是在編譯階段。動態類型語言能做到在運行時決定類型，主要歸功于一技術，這技術是類型推導。在C++11中，可以通過重定義auto關鍵字來實現類型推導。

???????? 在C++11中，使用auto關鍵字可以要求編譯器對變量的類型進行自動推導。

???????? auto關鍵字：類型推導，從該關鍵字的初始化表達式中推導變量的類型。

???????? 在塊作用域、命名空間作用域、for循環的初始化語句內聲明變量的時候，變量的類型可以被省略，使用關鍵字auto來代替。

???????? auto聲明的變量必須被初始化，以使編譯器能夠從其初始化表達式中推導出其類型。

???????? 聲明為auto的變量在編譯時期就分配了內存，而不是到了運行時期，所以使用auto不再引發任何速度延遲，這也意味著使用auto的時候，這個變量不初始化會報錯，因為編譯器無法知道這個變量的類型。

???????? auto使用時需注意：

???????? (1)、可以使用const、volatile、pointer(*)、reference(&)、rvalue reference(&&)等說明符和聲明符來修飾auto關鍵字；

???????? (2)、用auto聲明的變量必須初始化；

???????? (3)、auto不能與其它任何類型說明符一起使用；

???????? (4)、方法、參數或模板參數不能被聲明為auto；

???????? (5)、定義在堆上的變量，使用了auto的表達式必須被初始化；

???????? (6)、auto是一個占位符，不是類型，不能用于類型轉換或其它一些操作，如sizeof、typeid；

???????? (7)、auto關鍵字內聲明的聲明符列表的所有符號必須解析為同一類型；

???????? (8)、auto不能自動推導成CV-qualifiers(constant& volatile qualifiers)，除非被聲明為引用類型；?????

???????? (9)、auto會退化成指向數組的指針，除非被聲明為引用；

???????? (10)、auto不能作為函數的返回類型，在C++14中是可以的。

???????? 建議：大多數情況使用關鍵字auto，除非非常需要轉換。

下面是從其他文章中copy的測試代碼，詳細內容介紹可以參考對應的reference：

#include "auto.hpp"
#include <iostream>
#include <cmath>
#include <typeinfo>
#include <string>
#include <map>
#include <list>
#include <deque>
#include <vector>//
// reference: http://en.cppreference.com/w/cpp/language/auto
template<class T, class U>
auto add(T t, U u) -> decltype(t + u) // the return type is the type of operator+(T, U)
{return t + u;
}auto get_fun(int arg) -> double(*)(double) // same as: double (*get_fun(int))(double)
{switch (arg) {case 1: return std::fabs;case 2: return std::sin;default: return std::cos;}
}int test_auto1()
{auto a = 1 + 2;std::cout << "type of a: " << typeid(a).name() << '\n'; // type of a: intauto b = add(1, 1.2);std::cout << "type of b: " << typeid(b).name() << '\n'; // type of b: doubleauto c = { 1, 2 };std::cout << "type of c: " << typeid(c).name() << '\n'; // type of c: class std::initializer_list<int>auto my_lambda = [](int x) { return x + 3; };std::cout << "my_lambda: " << my_lambda(5) << '\n'; // my_lambda: 8auto my_fun = get_fun(2);std::cout << "type of my_fun: " << typeid(my_fun).name() << '\n'; // type of my_fun: double (__cdecl*)(double)std::cout << "my_fun: " << my_fun(3) << '\n'; // my_fun: 0.14112// auto int x; // error as of C++11: "auto" is no longer a storage-class specifier // error C3530: “auto”不能與任何其他類型說明符組合return 0;
}// reference: https://msdn.microsoft.com/zh-cn/library/dd293667(v=vs.120).aspx
int f(int x) { return x; }int test_auto2()
{int count = 10;int& countRef = count;auto myAuto = countRef;countRef = 11;std::cout << count << " " << std::endl; // 11myAuto = 12;std::cout << count << std::endl; // 11// 1. 下面的聲明等效。 在第一個語句中，聲明 j 變量為類型 int。 在第二個語句，因為初始化表達式 (0) 是整數，所以變量 k 推導為 int 類型int j = 0;  // Variable j is explicitly type int.auto k = 0; // Variable k is implicitly type int because 0 is an integer.// 2. 以下聲明等效，但第二個聲明比第一個簡單std::map<int, std::list<std::string>> m;std::map<int, std::list<std::string>>::iterator i = m.begin();auto i_ = m.begin();// 3. 聲明 iter 和 elem 變量類型std::deque<double> dqDoubleData(10, 0.1);for (auto iter = dqDoubleData.begin(); iter != dqDoubleData.end(); ++iter) { /* ... */}// prefer range-for loops with the following information in mind// (this applies to any range-for with auto, not just deque)for (auto elem : dqDoubleData) // COPIES elements, not much better than the previous examples { /* ... */ }for (auto& elem : dqDoubleData) // observes and/or modifies elements IN-PLACE{ /* ... */ }for (const auto& elem : dqDoubleData) // observes elements IN-PLACE{ /* ... */ }// 4. 使用 new 運算符double x = 12.34;auto *y = new auto(x), **z = new auto(&x);// 5. 所有符號解析為同一類型auto x_ = 1, *y_ = &x_, **z_ = &y_; // Resolves to int.auto a(2.01), *b(&a);         // Resolves to double.auto c = 'a', *d(&c);          // Resolves to char.auto m_ = 1, &n_ = m_;            // Resolves to int.// 6. 使用條件運算符 (?:)int v1 = 100, v2 = 200;auto e = v1 > v2 ? v1 : v2;// 7. 將變量 x7 初始化類型 int，將引用的變量 y7 初始化為類型 const int，及將變量 fp 初始化為指向返回類型 int 的函數的指針auto x7 = f(0);const auto & y7 = f(1);int(*p)(int x7);p = f;auto fp = p;return 0;
}/
// reference: http://www.learncpp.com/cpp-tutorial/4-8-the-auto-keyword/
int add_3(int x, int y)
{return x + y;
}int test_auto3()
{auto d = 5.0; // 5.0 is a double literal, so d will be type doubleauto i = 1 + 2; // 1 + 2 evaluates to an integer, so i will be type intauto sum = add_3(5, 6); // add_3() returns an int, so sum will be type intreturn 0;
}

GitHub：https://github.com/fengbingchun/Messy_Test