《Effective Modern C++》讀書筆記 Item 2 auto的類型推導，effectivemodernc

《Effective Modern C++》讀書筆記 Item 2 auto的類型推導，effectivemodernc

注意：

還要學習一個

        ↑↑↑↑ 這樣的方框裡的片段完全不來自於原書，而是我自己的理解。

Item 2 Understand auto type deduction - auto類型推導

在C++11之前，auto 關鍵字一直是用於聲明自動儲存類型的變量時使用的，基本上沒有什麼實際作用，地位和 export 關鍵字（用於向編譯單元之外導出模板，也在C++11中被取消）類似。

在C++11中，auto 終於不再廢材，終於具備了類似C#中 var 關鍵字的效果，可以自動推導出變量的類型，可以少打幾個字了：

var map = Dictionary<string, List<string>>();

當用 auto 聲明變量時，聲明的類型可以和Item1的 ParamType 例子對應起來：

template<typename T>
void f(ParamType param);   // Item1的例子

auto x = 27;
const auto cx = x;
const auto& rx = x;

其中 auto 就代替了原本 T 這個類型參數的位置，諸如 const auto& 的部分就構成了 ParamType 這一部分。也以此能推導出 auto 所代表的類型。

同樣，auto 的推導，也有三種情形：

其中情形2的表現也和Item1中的類型推導是一樣的：

auto x = 27;
const auto cx = x;
const auto& rx = x;

auto&& uref1 = x;  // 綁定到左值，uref1為int&
auto&& uref2 = cx; // 綁定到const左值，uref2為const int&
auto&& uref3 = 27; // 綁定到右值，uref3為int&&

universal引用用於尚未確定類型、需要類型推導的類型表達式上，指定這一類型是引用，然後編譯器自動推導出符合規則的、最合適的引用類型。

另外，數組名和函數名的退化，也能用 auto& 避免：

const char name[] ="R. N. Briggs";  // type： const char[13]

auto arr1 = name;  // 退化到： const char*
auto& arr2 = name; // 不退化： const char (&)[13]

auto 需要注意的語法點

C++新增了新的初始化語法，那就是使用 {} 進行初始化。但C++11也增加了 initializer_list 這個模板，使得使用 auto 進行類型推導時要注意：

auto x1 = 27;     // x1 是 int
auto x2(27);      // 同上，通過（）初始化
auto x3 = { 27 }; // x3 是 std::initializer_list<int>，其值是 { 27 }
auto x4{ 27 };    // 同上

“大括號初始化列表（braced-init-list）”在 auto 和 使用冒號的for循環（Range-based for loop）中，會構造成 initializer_list。
參考 http://en.cppreference.com/w/cpp/utility/initializer_list

 同時，出現不同類型的變量會導致 initializer_list<T> 無法進行 T 的類型推導：

auto x5 = { 1, 2, 3.0 }; // 錯誤

x5 先因 auto 被推導為 initializer_list<T>，進而導致 T 的推導失敗。

對大括號初始器的處理，是 auto 和模板在類型推導上唯一的不同：

auto x = { 11, 23, 9 };  // ok

template<typename T> 
void f(T param);
f({ 11, 23, 9 });        // 錯誤，模板不認大括號！不能推導 T

不過可以指明 param 的類型是 initializer_list：

template<typename T>
void f(std::initializer_list<T> initList);
f({ 11, 23, 9 }); // T -> int, ParamType -> std::initializer_list<int>

auto 假設大括號初始列表是 initializer_list，而模板不進行這樣的假設。

在C++14中，auto關鍵字 可以用於函數返回值推導，以及用於 lambda 表達式的形參類型聲明。而在這兩種用法中，auto關鍵字 實行模板類型推導規則，而不是 auto 類型推導規則，即此時的 auto 不能推導成 initializer_list：

auto createInitList()
{
    return { 1, 2, 3 };  // auto 推導返回值，會失敗
}

std::vector<int> v;
auto resetV = [&v](const auto& newValue) { v = newValue; }; // auto 用於聲明lambda表達式形參類型
resetV({ 1, 2, 3 });  // 同樣失敗 

此條款的注意點