[Effective Modern C++] Item 2. Understand auto type deduction - 了解auto类型推断

条款二 了解auto类型推断

基础知识

除了一处例外，auto的类型推断与template一样。存在一个直接的从template类型推断到auto类型推断的映射

三类情况下的推断如下所示：

// case 1
const auto& rx = x; // rx -> int

// case 2
auto&& uref1 = x; // uref1 -> int&
auto&& uref2 = cx; // uref2 -> const int&
auto&& uref3 = ; // uref3 -> int&&

// case 3
auto x = ; // x -> int
const auto cx = x; // x -> int

对于数组和函数，有如下推断：

const char name[] = "R. N. Briggs";
auto arr1 = name; // arr1 -> const char*
auto& arr2 = name; // arr2 -> const char(&)[13]

void someFunc(int, double);
auto func1 = someFunc; // func1 -> void (*)(int, double)
auto& func2 = someFunc; // func2 -> void (&)(int, double)

但是在使用初始化列表（std::initializer_list）的情况下，auto的类型推断会有问题

auto x = ; // x1 -> int
auto x2(); // x2 -> int
auto x3 = {}; // x3 -> std::initializer_list<int>
auto x4{}; // x4 -> std::initializer_list<int>

列表初始化是auto与template类型推断的唯一区别，template函数推断中不能使用列表形式的初始化{}

auto x = {, , };
template<typename T>
void f(T param);
f({, , }); // wrong!

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

C+14可以使用auto来推断函数返回类型，并且lambda可以在形参声明中使用auto，但是此处的auto使用template类型推断而非auto类型推断，所以返回列表初始化将报错

auto createInitList() {
    return {, , };
} // error!

std::vector<int> v;
auto resetV = [&v](const auto& newValue) {v = newValue};
resetV({, , }) // error!

总结

• auto类型推断总是和template类型推断一样，但是auto类型推断把列表初始化解析成std::initializer_list，template类型推断则不然
• 在函数返回类型以及lambda形参中的auto，采用template类型推断而非auto类型推断