C++11 auto类型推导

1. auto类型推导

下面是auto的使用举例：

auto x =5; //正确，x是int类型
auto pi = new auto(1); //正确，批是int*
const auto* v = &x, u = 6; //正确，v是const int类型，u是const int
static auto y = 0.0; //正确，y是double类型
auto int r; //错误，auto不再表示存储类型的指示符
auto s; //错误，auto无法推导出s的类型（必须马上初始化）

auto并不能代表一个实际的类型声明（上面s编译错误），只是一个类型声明的“占位符”。使用auto声明的变量必须马上初始化，以让编译器推断出它的类型，并且在编译时将auto占位符替换为真正的类型。

2. auto类型推导规则

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;		//e->const int
auto f = e;			//f->int
 
const auto& g = x;		//e->const int&
auto& h = g;			//g->const int&

auto的推导规则：
（1）当声明为指针或是引用时，auto的推导结果将保持初始化表达式的const属性。(保留const)
（2）当不声明为指针或是引用时，auto的推导结果和初始化表达式抛弃引用和const属性限定符后的类型一致，图上面的d和f。(不保留const)

3. auto类型推导的限制

（1）auto不可以用于函数参数

void func(auto a=1){}	//错误，不可以用作函数参数

（2）auto不可以用于非静态成员变量

struct Foo
{
    auto var1 = 0;				//错误，不能用于非静态成员变量
    static const auto var2 = 0;	//正确，var2->static const int
};

注：auto仅能够用于推导static const的整型或者美剧成员（因为其他静态成员无法在类或是结构体中就地完成初始化，都需要在类的外部进行初始化）。C++11中支持非静态成员变量的就地初始化，但却不支持auto类型的非静态成员变量初始化。
（3）auto类型不能用于定义数组

int a[10] = {...};				
auto b[10] = a;					//错误，auto类型无法定义数组

（4）auto类型无法导出模板参数

template<typename type> struct Bar
{
	...
};
Bar<int> a;
Bar<auto> b = a;				//错误，auto无法推导出模板参数

4. auto类型推导的使用场景

（1）需要极大简化书写的时候，例如在定义STL迭代指针的时候

int a[] = {1, 2, 3, 4};
std::vector<int> vec(a, a+4);
std::vector<int>::iterator it = vec.begin();
for(; it != vec.end(); ++it)
{
	...
}

在使用auto类型推导之后

int a[] = {1, 2, 3, 4};
std::vector<int> vec(a, a+4);
for(auto it = vec.begin(); it != vec.end(); ++it)
{
	...
}

（2）在无法知道变量该定义成何种类型的时候

class A
{
	static int func1(void)
	{
		return 1;
	}
};
 
class Bar
{
	double func1(void)
	{
		return 0.0;
	}
};
 
template<typename type> func3()
{
	auto a = type::func1();
	...
}