自动类型推导（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&