定义变量的时候必须要给出变量的实际类型,但是有些情况下的变量类型特别复杂,比如map<std::string, std::vector<int>>,对此我们可以使用 auto 关键字 或 decltype 关键字来推导变量/表达式类型。
目录
1、auto 关键字
auto关键字能够自动推导等号右边的数据类型。等号右边可以是一个常量、也可以是一个表达式。
auto x = 10;
auto y = 12.23;
std::vector<int> v{ 1,2,4,5,6,7,8 };
auto z = v;
注意:auto 关键字修饰的变量必须要被初始化,否则无法推导出对应的类型,也就无法分配对应的内存大小。
2、decltype关键字
(1) 为什么需要decltype关键字
auto 关键字是在定义变量时,自动推导出等号右边的数据类型,而且auto 关键字修饰的变量必须被初始化。有可能存在以下两种特殊情况:
- 想定义的类型不是等号右边的类型,而是其他表达式的类型
- 定义的变量不初始化。
这两种情况下,auto关键字很显然不大适用。
(2) decltype关键字
decltype是根据表达式结果的实际类型推演出定义变量时所用的类型。有了 decltype 关键字就可以解决上述所说的两种特殊情况。
推演表达式类型
// 想定义的类型不是等号右边的类型,而是其他表达式的类型
int x = 10, y = 20;
short c = 30;
decltype(x + y) z = c; // decltype(x + y) 会自动推导出表达式 x+y 的类型
// 定义的变量不初始化
int x = 10, y = 20;
decltype(x + y) z;
推演函数返回值类型
推演函数返回值时,不会执行函数,只是推导。
int print(size_t x) {
cout << "hello, world" << endl;
return 0;
}
int main() {
// decltype(print) 不会执行 print 函数
cout << typeid(decltype(print)).name() << endl;
return 0;
}