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 = ⁣
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 = ⁣
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可以作为函数的返回值类型和参数类型