C++使用 auto 自动推断类型

C++使用 auto 自动推断类型

在有些情况下， 根据赋给变量的初值， 很容易知道其类型。 例如， 如果将变量的初值设置成了 true，就可推断其类型为 bool。如果您使用的编译器支持 C++11 和更高版本，可不显式地指定变量的类型，而使用关键字 auto：

auto coinFlippedHeads = true;

这将指定变量 coinFlippedHeads 的类型的任务留给了编译器。编译器检查赋给变量的初值的性质，再确定将变量声明为什么类型最合适。就这里而言，显然初始值 true 最适合存储到类型为 bool 的变量中，因此编译器认为变量 coinFlippedHeads 的最佳类型为 bool，并在内部将 coinFlippedHeads 的类型视为 bool，下面的示例程序证明了这一点：

#include <iostream>
using namespace std;

int main()
{
    auto coinFlippedHeads = true;
    auto largeNumber = 2500000000000;

    cout << "coinFlippedHeads = " << coinFlippedHeads;
    cout << " , sizeof(coinFlippedHeads) = " << sizeof(coinFlippedHeads) <<
        endl;
    cout << "largeNumber = " << largeNumber;
    cout << " , sizeof(largeNumber) = " << sizeof(largeNumber) << endl;

    return 0;
}

输出：

coinFlippedHeads = 1 , sizeof(coinFlippedHeads) = 1
largeNumber = 2500000000000 , sizeof(largeNumber) = 8

分析：

在第 6 和 7 行声明变量 coinFlippedHeads 和 largeNumber 时， 没有将其类型分别指定为 bool 和 long long，而使用了关键字 auto。这让编译器去决定变量的类型，而编译器将根据初始值来确定合适的类型。接下来，使用 sideof 来检查编译器选择的类型是否符合预期，从程序清单 3.6 的输出可知，确实符合预期。

注意：

使用 auto 时必须对变量进行初始化，因为编译器需要根据初始值来确定变量的类型。
如果将变量的类型声明为 auto，却不对其进行初始化，将出现编译错误。

乍一看， auto 并非什么了不起的功能，但在变量类型非常复杂时，它可让编程容易得多。