自动类型推导
把这个词分解成三个部分:“自动”“类型”和“推导”。
- “自动”就是让计算机去做,而不是人去做,相对的是“手动”。
- “类型”指的是操作目标,出来的是编译阶段的类型,而不是数值。
- “推导”就是演算、运算,把隐含的值给算出来。
像计算“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)。写上它,你就可以让编译器去自动“填上”正确的类型,既省力又省心。