自动类型推导（auto 和 decltype）

​​​​​​一、auto关键字

• 基本概念

  • 在 C++ 11 中引入了auto关键字用于自动类型推导。它可以让编译器根据变量的初始化表达式自动推断出变量的类型。这在处理复杂的类型，如迭代器、lambda 表达式的类型等情况时非常有用。

• 使用示例

  • 例如，在迭代器的使用中：

#include <iostream>
using namespace std;
#include <vector>
int main() {vector<int> v = {1, 2, 3, 4, 5};// 使用auto推导迭代器类型for (auto it = v.begin(); it!= v.end(); ++it) {cout << *it << " ";}return 0;
}

• 在这个例子中，auto会根据 v.begin()的返回类型来推导it的类型。对于vector<int>,begin()方法返回一个 vector<int>::iterator类型的迭代器，编译器会自动将it推导为这个类型。
• 函数返回值类型推导（C++ 14）
  • C++ 14 扩展了 auto 的功能，允许在函数返回值类型中使用 auto。例如：

#include <iostream>
using namespace std;
auto add(int a, int b) {return a + b;
}
int main() {cout << add(3, 4) << endl;return 0;
}

• 这里编译器会根据 return 语句中的表达式类型来推导函数 add 的返回值类型，在这个例子中是 int 类型。

二、decltype关键字

• 基本概念

  • decltype 是 C++ 11 引入的另一个用于类型推导的关键字。它的主要作用是用于获取表达式的类型，而不实际计算表达式的值。

• 使用示例

  • 假设我们有一个变量 x，我们想要定义一个新的变量，其类型和x相同：

#include <iostream>
using namespace std;
int main() {int x = 5;decltype(x) y;  // y的类型和x相同，即int类型y = 10;cout << y << endl;return 0;
}

• decltype 还可以用于处理函数返回值类型的复杂情况。例如，如果有一个函数返回一个引用，decltype 可以正确地推导出引用类型：

#include <iostream>
using namespace std;
int& func() {static int x = 10;return x;
}
int main() {decltype(func()) y = func();  // y是int&类型，绑定到func()返回的引用cout << y << endl;return 0;
}

与auto的区别

• auto是根据变量的初始化表达式来推导类型，并且推导出来的类型通常是值类型。而decltype是根据给定的表达式来推导类型，它可以推导出引用类型和其他更复杂的类型，并且不会忽略表达式中的引用和const等限定符。例如:

int x = 5;
const int& rx = x;
auto ax = rx;    // ax的类型是int，rx的引用属性被丢弃
decltype(rx) dx = rx;  // dx的类型是const int&