C++中关键字auto和decltype的区别

C++11标准引入了auto和decltype类型说明符，它能让编译器帮我们去分析表达式所属的类型。

auto和decltype的主要区别有三个方面：

第一，auto类型说明符用编译器计算变量的初始值来推断其类型，而decltype虽然也让编译器分析表达式并得到它的类型，但是不实际计算表达式的值。

第二，编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。例如，auto一般会忽略顶层const，而把底层const保留下来。与之相反，decltype会保留变量的顶层const。

第三，与auto不同，decltype的结果类型与表达式形式密切相关，如果变量名加上了一对括号，则得到的类型与不加括号时会有不同。如果decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型；如果给变量加上了一层或多层括号，则编译器将推断得到引用类型。

举例：

#include <iostream>
#include <typeinfo>

using namespace std;

int main()
{
    int a = 3;
    auto c1 = a;
    decltype(a) c2 = a;
    decltype((a)) c3 = a;

    const int d = 5;
    auto f1 = d;
    decltype(d) f2 = d;

    cout << typeid(c1).name() << endl;
    cout << typeid(c2).name() << endl;
    cout << typeid(c3).name() << endl;
    cout << typeid(f1).name() << endl;
    cout << typeid(f2).name() << endl;

    c1++;
    c2++;
    c3++;
    f1++;
    f2++;   //错误，f2是整型常量，不能执行自增操作

    cout << c1 << " " << c2 << " " << c3 << " " 
        <<f1 << " " << f2 << endl;

    return 0;
}

对于第一组类型推断来说，a是一个非常量整数，c1的推断结果就是整数，c2的推断结果也是整数，c3的推断结果由于变量a额外加了一对括号所以是整数引用。c1、c2、c3依次执行自增操作，因为c3是变量a的别名，所以c3自增等同于a自增，最终c1、c2、c3的值都变为4。

对于第二组类型推断来说，d是一个常量整数，含有顶层const，使用auto推断类型自动忽略掉顶层const，因此f1的推断结果是整数；decltype则保留顶层const，所以f2的推断结果是整数常量。f1可以正常执行自增操作，而常量f2的值不能被改变，所以无法自增。