自动类型推导：auto/decltype

自动类型推导

把这个词分解成三个部分：“自动”“类型”和“推导”。

• “自动”就是让计算机去做，而不是人去做，相对的是“手动”。
• “类型”指的是操作目标，出来的是编译阶段的类型，而不是数值。
• “推导”就是演算、运算，把隐含的值给算出来。

像计算“a = 1 + 1”，你可以在写代码的时候直接填上 2，这就是“手动数值推导”。只写上表达式，让电脑在运行时自己算，这就是“自动数值推导”。因为 C++ 是一种静态强类型的语言，任何变量都要有一个确定的类型，否则就不能用。

这在变量类型简单的时候还好说，比如 int、double，但在泛型编程的时候，麻烦就来了。因为泛型编程里会有很多模板参数，有的类型还有内部子类型，一下子就把 C++ 原本简洁的类型体系给搞复杂了，这就迫使我们去和编译器“斗智斗勇”，只有写对了类型，编译器才会“放行”（编译通过）。

int       i = 0;            // 整数变量，类型很容易知道
double    x = 1.0;          // 浮点数变量，类型很容易知道

std::string str = "hello";  // 字符串变量，有了名字空间，麻烦了一点

std::map<int, std::string> m = // 关联数组，名字空间加模板参数，很麻烦
        {
  {1,"a"}, {2,"b"}};    // 使用初始化列表的形式

std::map<int, std::string>::const_iterator // 内部子类型，超级麻烦
iter = m.begin();

？？？ = bind1st(std::less<int>(), 2);  // 根本写不出来

用 typedef 或者 using 来简化类型名，部分减轻打字的负担，但关键的“手动推导”问题还是没有得到解决，还是要去翻看类型定义，找到正确的声明。这时，C++ 的静态强类型的优势反而成为了劣势，阻碍了程序员的工作，降低了开发效率。

其实编译器是知道（而且也必须知道）这些类型的，但它却没有办法直接告诉你，这就很尴尬了。一边是急切地想知道答案，而另一边却只给判个对错，至于怎么错了、什么是正确答案，“打死了也不说”。

但有了“自动类型推导”，问题就迎刃而解了。这就像是在编译器紧闭的大门上开了道小口子，你跟它说一声，它就递过来张小纸条，具体是什么不重要，重要的是里面存了我们想要的类型。这个“小口子”就是关键字 auto，在代码里的作用像是个“占位符”（placeholder）。写上它，你就可以让编译器去自动“填上”正确的类型，既省力又省心。