【C++】【C++标准11】自动推导类型

引言

C++是一种强类型的开发语言，即在声明变量时，需要指明变量的数值类型，否则会报错。而在C++98的模板概念引入，自动变量类型auto在11标准上，调整为自动推导类型。在泛型编程上，淡化了强类型的影响。

auto

自动推导类型是通过auto关键字实现，其会根据右值来推导出变量类型，这意味着在声明变量为auto类型时，需要对变量进行初始化或赋值

auto a; //会报错
auto a = 5;

推导规则

auto的推导规则如下：

• 声明为auto类型的变量，会忽略初始化时表达式的顶层const：
  • 含有const修饰的普通数据类型的const会忽略掉（const int→int）
  • 顶层const会转换成非const指针(int* const → int*)
  • 顶层底层const都有的会转换成底层const(const int* const → const int*)
• 声明为auto& 类型的变量，会保持初始化时表达式的顶层const
• 希望auto为顶层const，那么声明时为const auto

tips:
顶层const是指const修饰指针本身的常量指针（指针指向的方向是固定的不能更改的）
底层const是指修饰数值类型的指针常量（指针所指向的内存地址存放的值为常量，不可改变）
底层const=顶层const(自动转化为底层const),相当于向下兼容可以，向上转化不行。

decltype

decltype也是一种可以进行自动推导类型声明的关键字，相比于auto，一般情况下，decltype声明的变量在声明无需初始化，但必须保证decltype(exp)的exp有返回类型。
其语法为：decltype(function/expression/varity)

推导规则

• 如果exp是一个不被括号()包围的表达式，或者是一个类成员访问表达式，或者是一个单独的变量，decltype(exp)的类型和exp一致
• 如果exp是函数调用，则decltype(exp)的类型就和函数返回值的类型一致
• 如果exp是一个左值，或被括号()包围，decltype(exp)的类型就是exp的引用，假设exp的类型为T，则decltype(exp)的类型为T&

总结

auto与decltype之间的区别：
auto需要进行初始化，而decltype不用
auto适用于循环和返回类型等场景，而decltype是适合用于类型别名、模板编程等复杂场景。
auto主要用于自动推导数值类型，而decltype是更倾向于自动推导表达式的类型。

参考资料

C++ auto用法及应用详解
底层const顶层const到底是什么？