一、auto不能修饰表达式，但是decltype可以。
先看：
例1:
decltype(aa); //编译失败，提示aa没有声明。
如果改为
例2:
int aa = 0;
decltype(aa); //编译成功。
再看:
例3:
auto bb; //编译失败，提示auto需要初始值设定项。
如果改为:
例4:
int bb = 0;
auto bb; //还是编译失败，理由同例3.
如果改为:
例5:
auto bb = 0;//编译成功。
例2表明decltype是声明。
例5表明auto是推导。
猜想:既然是推导，那么就得有推导的来源和目标，’来源’位于=右边的表达式，’目标’位于=左边的表达式。
变量和表达式相比，表达式是不可以放在=左边的，即不能作为目标式，而auto修饰的是目标式，故auto不能修饰它。
二、auto不能作为函数的参数
先来看两个函数：
void fun();//函数1,无参
void fun1(int y);//函数2,有参
将函数2改为，
void fun1(int y,int z = “0”);//编译不通过，这说明默认参数函数在编译时参数的类型和默认值会被编译器
进行检查。
再改为，
void fun1(int y,int z = 0);//编译通过。
表明int z = 0被编译器检查通过。
于是我们想写出下面这个函数，
void fun1(int y,auto z = 0);
但是我们发现，编译不通过。
按理说auto z = 0；会被编译器检查啊，那么编译器就会根据0来推断出z的类型，这难道不是合理的吗？
猜想1：合理，但是不被普及。试想,如果被普及了，那么可以写出下面的函数，
void fun1(auto y = 1,auto z = 0);
这便会使得函数的参数都具有默认值，这样的函数只是所有函数的一小部分罢了。其它非默认参数函数
该怎么表示呢？
猜想2：不合理。因为编译器只是根据=两边的类型进行判断，没有做推导的工作。
个人比较倾向于猜想2，因为函数被调用，便有实参和形参的类型匹配判断，这是在运行时期完成的。
如果f(auto x)被允许，那么此函数将会匹配所有类型的调用，而这是模板的功能，不是函数。
三、auto不能推导非静态成员变量的类型，为什么？
因为auto是在编译时期进行推导；非静态成员变量在编译时期是没有被初始化的，没有来源，怎么推导呢？
四、auto不能做为模板参数，但是decltype却可以，为什么？
先说atuo为什么不可以吧？
1.auto具有模板推导的功能，这就相当于是模板推导中再推导模板，c++11是否支持呢？
举例：
1.auto如果能作为模板函数的参数，
那么可以有：
template< typename T1,typename T2>
class func1(auto T1)
{
…..
} //此为模板1
而auto相当于模板函数
template< typename T>
void f(ParamType param); //此为模板2
进行f(expr);调用。
故上面模板可以简写为
template< typename T1,typename T2>
class func1(f(expr))
{
…..
}
此为模板3
模板3的推导过程猜想：
1.模板2，通过expr类型推导出ParamType ，然后再根据ParamType 推导出T，此为auto.
2.模板1，根据模板2推导出的auto，继而确定T1的类型。
模板3经历了两次模板推导过程，不知道c++11是否支持？
再来说decltype为什么可以？
decltype相当于是声明，只要模板的参数在被decltype调用之前是有出现的，那么就可以被修饰。
事实是模板的类型参数是有出现的，在那个 <>里面呢！^^
五、auto 不能用于声明数组，否则无法通过编译；
int arr[5] = {0};
auto arr1 = arr;
在vs2015上是可以通过编译的，语句
std::cout << “decltype(arr1) is: ” << typeid(decltype(arr1)).name() << std::endl;
执行结果为int*.这表明数组被auto推导为int*。
以上仅仅为本人的一点点理解罢了，可能想法不是很周全、合理。但是我希望以此来加深印象，希望大家多提
意见，我将很是感激。
如果您也遇到类似的困惑，而在看了此篇文章后能给您一点点的明晰，我将甚是欣慰。