C++11中引入的auto主要有兩種用途：自動型別推斷和返回值佔位。auto在C++98中的標識臨時變數的語義，由於使用極少且多餘，在C++11中已被刪除。前後兩個標準的auto，完全是兩個概念。
1. 自動型別推斷
auto自動型別推斷，用於從初始化表示式中推斷出變數的資料型別。通過auto的自動型別推斷，可以大大簡化我們的程式設計工作。下面是一些使用auto的例子。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |
#include <vector> #include <map> using namespace std; int main(int argc, char *argv[], char *env[]) { // auto a; // 錯誤，沒有初始化表示式，無法推斷出a的型別 // auto int a = 10; // 錯誤，auto臨時變數的語義在C++11中已不存在, 這是舊標準的用法。 // 1. 自動幫助推導型別 auto a = 10; auto c = 'A'; auto s("hello"); // 2. 型別冗長 map<int, map<int,int> > map_; map<int, map<int,int>>::const_iterator itr1 = map_.begin(); const auto itr2 = map_.begin(); auto ptr = []() { std::cout << "hello world" << std::endl; }; return 0; }; // 3. 使用模板技術時，如果某個變數的型別依賴於模板引數， // 不使用auto將很難確定變數的型別（使用auto後，將由編譯器自動進行確定）。 template <class T, class U> void Multiply(T t, U u) { auto v = t * u; } |
2. 返回值佔位
|
1 2 3 4 5 6 |
template <typename T1, typename T2> auto compose(T1 t1, T2 t2) -> decltype(t1 + t2) { return t1+t2; } auto v = compose(2, 3.14); // v's type is double |
3.使用注意事項
①我們可以使用valatile，pointer（*），reference（&），rvalue reference（&&） 來修飾auto
|
1 2 3 4 |
auto k = 5; auto* pK = new auto(k); auto** ppK = new auto(&k); const auto n = 6; |
②用auto宣告的變數必須初始化
|
1 |
auto m; // m should be intialized |
③auto不能與其他型別組合連用
|
1 |
auto int p; // 這是舊auto的做法。 |
④函式和模板引數不能被宣告為auto
|
1 2 3 4 |
void MyFunction(auto parameter){} // no auto as method argument template<auto T> // utter nonsense - not allowed void Fun(T t){} |
⑤定義在堆上的變數，使用了auto的表示式必須被初始化
|
1 2 3 4 5 6 7 |
int* p = new auto(0); //fine int* pp = new auto(); // should be initialized auto x = new auto(); // Hmmm ... no intializer auto* y = new auto(9); // Fine. Here y is a int* auto z = new auto(9); //Fine. Here z is a int* (It is not just an int) |
⑥以為auto是一個佔位符，並不是一個他自己的型別，因此不能用於型別轉換或其他一些操作，如sizeof和typeid
|
1 2 3 4 |
int value = 123; auto x2 = (auto)value; // no casting using auto auto x3 = static_cast<auto>(value); // same as above |
⑦定義在一個auto序列的變數必須始終推導成同一型別
|
1 |
auto x1 = 5, x2 = 5.0, x3='r'; // This is too much....we cannot combine like this |
⑧auto不能自動推導成CV-qualifiers（constant & volatile qualifiers），除非被宣告為引用型別
|
1 2 3 4 5 6 7 8 9 |
const int i = 99; auto j = i; // j is int, rather than const int j = 100 // Fine. As j is not constant // Now let us try to have reference auto& k = i; // Now k is const int& k = 100; // Error. k is constant // Similarly with volatile qualifer |
⑨auto會退化成指向陣列的指標，除非被宣告為引用
|
1 2 3 4 5 6 |
int a[9]; auto j = a; cout<<typeid(j).name()<<endl; // This will print int* auto& k = a; cout<<typeid(k).name()<<endl; // This will print int [9] |