auto是基于template的规则实现的.

但是有一些细微的差异.auto支持{....}类型,但不支持匹配结果T.

auto必须初始化.

说明

• valutype对应赋值的类型.
• argtype对应声明的变量类型.
• auto对应T

差异

• template不支持{...}类型.但是auto支持.

valuetype

• 是赋值的类型,有默认类型,有函数返回值类型.
• 一般是函数返回值类型.

argtype

• 则是在valuetype的基础上增加相应的修饰.

auto

• 关键字.

template计算关系仍然适用

• &,&&,*完整的类型.
• &&万能引用,推导完整类型.
• T基本类型.值传递.
• 数组和函数同样.

差异案例一

template<typename T>
void show(T a) {
   // error code
}
int main() {
   show({1,2,3});
}

• 编译报错
• template不支持两次推导.

auto两次推导

#include <initializer_list>
int main() {
   auto a = {1,2,3};
}

• 第一次推导是编译器将{}推导成initializer_list<T>.
• 然后是initializer_list<T>的T的推导.即valutype - argtype - const,volatile,xxx.

类型推测二义性

• 即推导出来的T不唯一.
• {1,2,3.0},推导出来的类型就不唯一.

兼容案例

#include <initializer_list>
template<typename T>
void show(std::initializer_list<T> a) {
}
int main() {
   show({1,2,3});
}

不兼容

#include <initializer_list>
template<typename T>
void show(std::initializer_list<T> a) {
}
int main() {
   show({1,2,3.0});
}

• 因为值的类型不统一，有个浮点，产生了二义性。

规则

• 和template一毛一样.

差异

• {...}识别.

差异原因

• 编译器这么写的.
• 不识别比识别的可用度更广.
• 比如初始化某个函数的类而不需要声明类型.未来程序的扩展性.

说明

• auto关于C++11的故事已经结束.
• 但是关于C++14的故事还在继续.
• 下面介绍的内容都是关于c++14的.

函数返回值类型推测

• 使用template的规则,即不识别{...}.

C++14 lambda

• 入参里面定义lambda,使用template的规则.
• 在真正使用的时候才编译对应实例,即lambda模板.