[C++知识库]c++新特性-auto类型推导

auto的类型推导相当于模板推导的进阶版，在大部分情况下，auto的推导规则与模板的推导规则是一样的。至于扩展部分等下在讲。注意：如果你还不懂模板的推导规则，请去看我的另一篇关于模板规则的文章。

现在我要先讲两件事，数组和函数类型的退化。

举例

int array[] = {1, 2, 3};

int* p = array;

现在我想问问你，array的类型是什么？

答案：int[3]。是你没看错，注意：不是int[]类型，也不是int[1],也不是int[2]。

那么，我的下一个问题就是，为什么一个int[3]类型能赋值给一个int*呢？这在c++的赋值中简直是不可思议的！

答案：int[3]类型退化为了int*类型，所以赋值成功了。

另一个例子

void func(int, double);

void* p = func;

现在我想问问func的类型是什么？

答案：void (int, double)。准确点说func的类型就是void func(int, double)。

那么，我的下一个问题是，为什么一个void*类型能被它赋值呢？它又不是指针。

答案：void (int, double) 退化为了 void* (int, double)。

！！！

现在，我试图向你证明这一点，并试图让你看懂。注意：这并不算在auto的扩展内容中，模板推导也适用。

举例：

int array[] = {1, 2, 3};

auto p1 = array;//p1的类型为int*，因为array退化了
auto& p2 = array;//我们惊奇的发现:p2的类型为int(&)[30]。



void func(int, double) {}

auto p1 = func;//p1的类型为void(*)(int, double)，因为func退化了
auto& p2 = func;//p2的类型为void(&)(int, double)。这符合我们的预期

(*p1)(1, 2.0);//这很指针
p2(1, 2.0);//这相当于就是func()

!!!

接下来，我们看看auto类型推导相较于模板的类型推导，多出来的部分

在c++11中，我们可以这么赋值

int x = {27};
int x{27};

当我用auto进行推导上面的情况时，我们惊奇的发现auto居然不是int！

auto x1 = {20};//auto是std::intializer_list<int>
auto x2{10};//auto是std::intializer_list<int>

关于为什么会出现这种情况，我并不想解释太多，你只需要知道是因为{}其实是一个模板，显然它与std::intializer<T>有关。

需要注意的是{}内的类型要一直，不然会出错，因为{}不允许不一致。

当然auto也不是总能好的把{}推导出来，关于函数的时候，它就失效了

auto func(){
    return {1, 2, 3};
}//错误，推导不出来


auto p = []{ return {1, 2, 3}; };//错误，推导不出来。这是Lambda表达式，我以后会讲到。

这就是auto推导与模板推导不同的地方，其他地方，模板怎么推导，auto就怎么推导。