【C++11 之auto 自动类型推导】一个你必须知道的基础知识

auto 关键字在 C++11 中被引入，用于自动类型推导。编译器会根据初始化表达式自动推断出变量的类型。这不仅可以简化代码，还可以使代码更易于阅读和维护，尤其是当涉及复杂的类型或类型模板时。

原理

auto 关键字背后的原理是，编译器会查看变量的初始化表达式，并确定该表达式的类型。然后，编译器将该类型应用于 auto 声明的变量。

例如：

int x = 10;  
auto y = x;  // y 的类型是 int

在上面的代码中，y 被自动推导为 int 类型，因为 x 是 int 类型的。

对于复杂类型，如 STL 容器或模板类型，auto 特别有用：

std::vector<int> v = {1, 2, 3, 4, 5};  
auto it = v.begin();  // it 的类型是 std::vector<int>::iterator

常用场景

1. 迭代 STL 容器：如上所示，当你需要遍历容器时，使用 auto 可以避免显式指定迭代器类型。
2. 与范围基础的 for 循环一起使用：C++11 还引入了范围基础的 for 循环（基于范围的 for 循环），它与 auto 一起使用，可以进一步简化迭代容器的代码。

	for (auto elem : v) {  
	    // ...  
	}

3. 模板编程：在模板编程中，类型可能非常复杂且难以手动指定。使用 auto 可以使代码更简洁。
4. lambda 表达式：在 lambda 表达式中，经常需要捕获变量，但可能不知道这些变量的确切类型。使用 auto 可以避免这个问题。
5. 函数返回类型推导：虽然 auto 本身不能用于函数返回类型（除非与 decltype 或尾置返回类型一起使用），但 C++14 引入了返回类型自动推导，允许编译器从函数体内部推导返回类型。

推荐使用场景

1. 当你不需要显式知道变量类型时。
2. 当类型很复杂或难以手动指定时。
3. 在模板编程和 lambda 表达式中。
4. 与范围基础的 for 循环一起使用时。

然而，尽管 auto 有很多优点，但过度使用也可能导致代码难以阅读和理解。因此，建议在使用 auto 时保持谨慎，并确保代码的可读性。