在C++ 98 中,auto 的作用是讓變量成為自動變量(擁有自動的生命周期),但是該作用是多余的,變量默認擁有自動的生命周期,在C++ 11 中,已經刪除了該用法,取而代之的作用是:自動推斷變量的類型。
舉例:
int32_t a = 1;
auto b = a;
std::cout <<typeid(b).name() << std::end; // 輸出結果:int typeid運算符可以輸出變量的類型
auto 在實際編程中的用法
對於上面的情形,在實際編程中不推薦,因為不便於他人閱讀,直接寫出變量的類型會更加的清晰易懂,主要用於代替冗長復雜,變量使用范圍專一的變量聲明,比如:
std::vector<std::string> vec;
for (auto iter = vec.begin(); iter != vec.end(); ++iter) {}
在定義函數模板時,用於聲明依賴模板參數的變量類型
模板函數依賴於模板參數的返回值,比如:
template<typename Tx, typename Ty>
auto multiply(Tx x, Ty y)
{
return x * y;
}
注意事項:
(1)auto 變量必須在定義時進行初始化操作(這很好理解,如果不進行初始化操作,那么 auto 關鍵字就不能進行變量類型的推導了)
(2)定義一個 auto 序列的變量時,必須是同一種類型,如:
auto a = 1, b = 2, c = 3; // 正確
auto 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]
(8)函數或模板參數不能被聲明為auto
(9)auto不是一個真正的類型,僅僅是一個占位符,不能使用一些以類型為操作數的操作符,如sizeof或typeid
std::cout << sizeof(auto) std::endl; // 錯誤
std::cout << typeid(auto).name() std::endl; // 錯誤