自动推导之auto关键字

auto关键字
auto关键字可以实现类型推导，但auto关键字不是一个实际的类型声明，仅仅是一个类型声明的占位符，由编译器在编译时推导变量类型，属于隐式类型声明


auto关键字的使用:
1、用auto声明变量时必须同时初始化 
如： 

	auto i; 	//错误

2、用auto在一条语句中声明多个变量时，该语句中所有变量的初始基本数据类型必须一致
如： 

	auto ss = 0， pi = 3.14；	//错误

3、用auto声明变量时，不能自动推导出顶层的CV-qualifiers(const 与 volatile)和引用类型，除非显示声明。
如：

	const int ci = 0,; 
	auto b = ci;					//b -> int (ci的顶层const属性被忽略)
	const auto c = ci;				//c -> const int (显示声明const)
	int &r = ci; 
	auto d = r;						//d -> int (引用真正参与初始化的是引用对象的值，忽略引用类型)

4、用auto声明变量时，会保留底层const
如:

	auto e = &ci;					//e -> const int * (对整数常量取地址为底层const)

5、auto 与 & 同时使用时，不能忽略顶层const
如：

	auto &f = ci;					//f -> const int&	(如果f为非const引用将会可以修改ci的值，这显然是不合理的)

6、不能在函数参数与模板上使用auto关键字
如 ：

	void func(auto a)...		Bar<int> bar;	Bar<auto> g = bar;			//错误 

7、只有static const auto h = 0；这种初始化类成员变量的方式不会出现错误，因为这种成员变量可以就地初始化

8、初始化表达式为数组名时，将推导为指针类型
如：

	int arr[10] = { 0 }; 
	auto i = arr;						//i -> int *	(数组名本来就是首元素首地址，即指针)

9、若表达式为数组且auto带上&，则推导类型为数组类型。
如 ：

	auto &j = arr;						//j -> int[10]

10、由于auto仅仅是一个占位符，而不是一个真正的类型，因此不能使用一些以类型为操作数的操作符，如sizeof或者typeid。
如：

	cout << sizeof(auto) << endl;				//错误
	cout << typeid(auto).name() << endl;		//错误

应用


1.用于容器遍历时声明迭代器类型； 
2.用于在模板中接收一个模板函数的返回值用于后续处理。




注:auto很强大，但是滥用也可能导致代码的可读性和可维护性大大降低，在使用时一定要权衡利弊


参考
C++11特性：auto关键字 http://www.cnblogs.com/QG-whz/p/4951177.html
C++ Primer
深入应用C++ 11