1、auto 关键字
1.1、概念
// 语法 auto 变量a = 变量b;
int b = 10;
double c = 3.14;
auto a = b; // a 是 int 类型
auto d = c; // d 是 double 类型
使用 auto 关键字修饰的变量 a可根据给它赋值的变量b的类型推导出变量a的类型,即变量b 是什么类型,那么变量a 就是什么类型。
C++11 中 auto 并不代表一种实际的数据类型,只是一个类型声明的 “占位符”,auto 并不是万能的在任意场景下都能够推导出变量的实际类型,使用auto 声明的变量必须要进行初始化,以让编译器推导出它的实际类型,在编译时将auto 占位符替换为真正的类型。
auto a; // 没有初始化,报错
1.2、auto 修饰指针或引用
auto 还可以和指针、引用结合起来使用,也可以带上 const、volatile 限定符。但在这种情况下,变量 ,这句话就失效了 ,它在不同的场景下有对应的推导规则,规则如下:b 是什么类型,那么变量a 就是什么类型
- 当变量
不是指针或者引用类型时,推导的结果中不会保留const、volatile关键字 - 当变量
是指针或者引用类型时,推导的结果中会保留const、volatile关键字
1.3、auto 的限制
auto 不是万能的,它在以下场景下不能使用:
- 不能作为函数参数使用
- 不能用于类的非静态成员变量的初始化
- 不能使用 auto 关键字定义数组
- 无法使用 auto 推导出模板参数
1.4、auto 的应用
用于 STL 容器的迭代遍历,如
vector<int> arr{1,2,3,4,5};
for(auto it = arr.begin();it != arr.end();++it)
{
cout<<*it<<endl;
}
2、decltype 关键字
2.1、概念
// decltype(表达式)
int a = 10;
decltype(a) b = 15; // b 是 int 类型
decltype(10+3.14) c = 4.5; // c 是 double 类型
在某些情况下,不需要或者不能定义变量,但是希望得到某种类型,这时候就可以使用 C++11 中的 decltype 关键字了,它的作用是在编译器编译的时候推导出一个表达式的类型。
decltype 的推导是在编译期完成的,它只是用于表达式类型的推导,并不会计算表达式的值。
2.1、推导规则
- 表达式为普通变量或者普通表达式或者类表达式,在这种情况下,使用
decltype推导出的类型和表达式的类型是一致的 - 表达式是函数调用,使用
decltype推导出的类型和函数返回值一致 - 表达式是一个左值,或者被括号 ( ) 包围,使用
decltype推导出的是表达式类型的引用(如果有 const、volatile 限定符不能忽略)
3、auto 与 decltype 的区别
auto 与 decltype 都可用于自动类型推导,但它们还是有区别的:
1、auto 是通过编译器计算变量的初始值来推断类型,decltype 同样也是通过编译器来分析表达式进而得到它的类型,但它并不会计算表达式的值
2、当被推导的变量中 const 、volatile 修饰时,auto 会根据不同的情景来决定是否保留const 、volatile ,而 decltype 却会将它们保留下来
const int a = 10;
auto& c = a; // auto 推导出 const int 类型,c是指针或引用,保留cons
auto b = a; // auto 推导出 int 类型,b不是指针或引用,不会保留const
decltype(a) d = a; // decltype 推导出 const int 类型
3、auto 修饰的变量在声明时必须定义,decltype不用,所以 auto 不可以用于函数参数,而 decltype可以
int a = 10;
auto b; // error,声明时必须定义
decltype(a) c; // 可以声明,不定义
c = 10;
cout << c << endl; // 输出结果:10
参考资料:
自动类型推导 | 爱编程的大丙