[C++知识库]有关const初始化的auto推断类型

auto推断类型定义类型是从表达式的结果推断而来。

1.并且auto一般忽略表达式的顶层const和引用的底层const，而会保留指针底层const。

举一个稍微复杂的例子：

	int i=5;
	const int ic = i;
	auto j = ⁣

初始化中ic为顶层const，但是auto是从表达式的结果推断而来的，即&ic。

可以理解为const int *ic = i;此时ic就变成指针的底层const。

#include <iostream>
#include <typeinfo>
using namespace std;
int main() {
	int i=5;
	const int ic = i;
	auto j = &ic;
	auto k = ic;
	cout << typeid(j).name() << endl << typeid(k).name() << endl;
}

结果如下：同样我们测试了不加&的情况，结果正确。

2.用auto设置一个引用类型时，则不用去除引用或者const语义。

auto &w=ic；

auto推断的类型为const int。

#include <iostream>
#include <typeinfo>
using namespace std;
int main() {
	int i=5;
	const int ic = i;
	auto j = &ic;
	auto &w = ic;
	auto &k = ic;
	cout << typeid(w).name() << endl << typeid(k).name() << endl;
}

但是结果与预期不一致：

?我们坚信我的答案，并进行验证，w的类型应为const int ，那么对其进行赋值时必然会出现错误。

?验证正确（但是为撒输出会是int。要是有大佬会的话，告诉我555555）

int a = 10; int& b = a;

auto& d = b;//此时d的类型才为int&

const int a2 = 10;

auto& b2 = a2;//因为auto带上&，故不去除const，b2类型为const in

3.初始化表达式为数组时，auto关键字推导类型为指针

int a[3]={1，2，3}；

auto b = a；//auto推导类型为int *；

4.若表达式为数组，且auto带上&，则推导类型为数组类型。

即b就是a这个数组。

5.C++14中，auto可以作为函数的返回值类型和参数类型

?