C++11（1类型上）——auto,decltype,using,默认模板参数,初始化列表，for循环,function,bind,lambda,tuple

1 类型推导

1.1 auto

auto只是一个类型声明的“占位符”，通过变量的初始化表达式推导出变量具有的类型
使用auto声明的变量必须马上初始化，在编译时将auto替换为真正的类型

	// auto
	auto x = 5; // int
	auto pi = new auto(1); // pi被推导为*int
	const auto* v = &x, u = 6; // v:const int * ,u:const int (u必须初始化为一个int,不然推导产生二义性)
	static auto y = 0.0; // double

	// auto只能是一个类型声明的“占位符”
	// 使用auto声明的变量必须马上初始化，在编译时将auto替换为真正的类型
	// auto s;

1. 当不声明为指针或引用时
   推导结果 = 初始化表达式抛弃引用和抛弃cv限定符后结果
2. 当声明为指针或引用时
   推导结果 = 初始化表达式的cv限定符

	int x = 0;
	auto *a = &x; // a -> int*   auto -> int
	auto  b = &x; // b -> int*   auto -> int*
	auto &c = x;  // c -> int&   auto -> int
	auto  d = c;  // d -> int    auto -> int  抛弃引用类型

	const auto e = x; // const int
	auto f = e; // int  表达式带有const时，会抛弃const

	const auto& g = x; // const int&
	auto& h = g; // const int&

auto的限制

void fun(auto a = 1)  // error 不能用于函数参数
struct Foo {
   
	auto var1 = 0; // error 不能用与非静态成员变量，
	static const auto var2 = 0; // ok 
};
template <typename T>
struct Bar{
   };
int main(void) {
   
	int arr[10] = {
   0};
	auto aa = arr; // ok , aa -> int *,arr本来就是个数组首地址
	auto rr[10] = arr;  // error, 不能定义数组

	Bar<int> bar;
	Bar<auto> bb = bar; // error 无法推导出模板参数
 }

什么时候用auto

1. 迭代器

auto it = resultMap.begin();....

std::unordered_multimap<int, int> map;
auto range = map.equal_range(key); // 在unordered_multimap中查找一个范围，返回值是一个pair

2. 无法知道变量会被定义成什么类型时候 P8

1.2 decltype

decltype(表达式)，用来推导表达式的类型，在编译器完成，不会真正计算表达式的值

	int x = 0;
	decltype(x) y; // y -> int
	decltype(x + y) z; // z -> int

	const int& i = x;
	decltype(i) j = y; // j -> const int&

	const decltype(z) *p = &z; // p -> const int*
	decltype(z) *pi = &z; // pi -> int *
	decltype(pi)* pp = π // pp -> int **

推导规则

exp	decltype(exp)
1.标识符，类访问表达式	和exp类型一致
2.函数调用	和函数返回值一致
3.左值	exp类型的左值引用
4.其他	和exp类型一致

struct Foo{ int x }; 
const Foo foo = Foo();

deltype(foo.x) a = 0;  // a -> int   推导规则1
deltype((foo.x)) b = a;  // b -> const int &   推导规则3 ，括号表达式是左值，推导出左值引用

int n = 0, m = 0;
decltype (n + m) c; // c -> int  推导规则4, n+m 返回是右值
decltype (n += m) d; // d -> int & 推导规则3， n+=m 返回一个左值

用处

1. 解决不必要的模板特化
2. 通过变量表达式抽取变量类型上

vector<int> v;
decltype(v)::value_type i = 0; 

1.3 返回类型后置语法，auto和decltype结合

为了解决返回值类型依赖于参数，导致难以确定返回值类型的问题

template<typename T, typename U>
auto add(T a, U b)<