C++11新标准引入了auto类型说明符,用于简化将表达式赋值给变量时操作,让编译器替我们去分析表达式的类型。
auto val = val1 + val2;
此处编译器将根据val1和val2相加的结果来推断val的类型。如果val1和val2都是int,那么val也将是整型。
使用auto类型说明符可以简化我们的代码,比如:
map<int, int> m;
map<int,int>::const_iterator iter = m.cbegin(); 等价于 auto iter = m.cbegin();
说明:
1、auto定义的变量必须有初始值
auto i; // 编译错误,没有初始值,无法判断i的类型
2、使用auto在一条语句中声明多个变量时,语句中所有变量的初始基本数据类型必须一致
auto i = 1, *p = &i; // 正确,i是整型, p是整型指针
auto i = 3, j = 3.14; // 编译错误,i是整型,j推导出来是double型(不会隐式转换),不一致
int i = 3, j = 3.14; // 正确,i是整型3, j隐式转换为整型3
3、编译器推断出来的auto类型有时候和初始值的类型并不完全一致,编译器会适当地改变结果类型使其更符合初始化规则
- 对于引用类型,真正参与初始化的是引用对象的值,推断类型是引用对象的类型
int i = 0, &j = i;
auto k = j; // k被推断为整型类型,而不是整型引用,等价于int k = j
- auto一般会忽略顶层const,而保留底层const
const int i = 0;
auto j = i; // j被推断为整型,等价于int j = i; 顶层const特性被丢掉了
auto k = &i; // k被推断为指向整型常量的指针,底层const被保留了
如果希望推断出的auto类型是一个顶层const,则需明确指明:
const auto m = i; // m被对推断为const int
但是对引用类型,顶层const还是会保留:
const int &i = 0;
auto &j = i; // j 被推断为const int &类型