本文记录了我读Effective Modern C++时自己的一些理解和心得。
item1：模板类型推导
1）reference属性不能通过传值参数传入模板函数。这就意味着如果模板函数需要一个reference类型的参数，必须在模板声明中将其声明为reference，否则，即使使用一个reference类型的变量调用模板函数，类型推导的结果将不带reference属性。
2）constant和volatile属性也不能通过传值参数传入模板函数，但是可以通过reference参数传入这些属性。
3）如果在模板中声明universal reference参数，那么左值参数会被推导成左值引用，右值参数会被推导成universal reference（&&）。
4）数组型变量和函数型变量会通过传值参数推导成相应的指针型变量。而如果在模板中声明为传引用参数，则会被推导成数组引用（包含数组大小信息）和函数引用。
item2：auto类型推导
1）auto类型推导规则和模板类型推导规则相同，除了处理以{}初始化的参数的情况。
2）模板不能推导被{}初始化的参数，除非将它声明为std::initializer_list<T>类型的参数。
#include <iostream>
template<typename T>
void f1(T param) { return; }
template<typename T>
void f2(std::initializer_list<T> param) { return; }
int main()
{
auto i = { 1, 2, 3, 4 };
f1(i); // good
//f1({ 1, 2, 3, 4 }); //error
f2({ 1, 2, 3, 4 }); //good
return 0;
}
3)在C++14中，返回值为auto类型的函数不得返回以{}初始化的值。lambda函数的auto类型参数也不能以{}初始值作为参数调用。
auto f1() { return 4; } //good
auto f2() { auto i = {1,2,3,4}; return i; } //good
error auto f3() { return {1,2,3,4}; } //error
<未完待续>