变量类型推导（auto、decltype关键字）

定义变量的时候必须要给出变量的实际类型，但是有些情况下的变量类型特别复杂，比如map>，对此我们可以使用 auto 关键字 或 decltype 关键字来推导变量/表达式类型。

---

         目录

1、auto 关键字

2、decltype关键字

(1) 为什么需要decltype关键字

(2) decltype关键字

---

1、auto 关键字

auto关键字能够自动推导等号右边的数据类型。等号右边可以是一个常量、也可以是一个表达式。

auto x = 10;
auto y = 12.23;
std::vector 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;
}