【C++新特性】 - auto类型说明符

C++11新标准引入了auto类型说明符，用于简化将表达式赋值给变量时操作，让编译器替我们去分析表达式的类型。

auto val = val1 + val2;

此处编译器将根据val1和val2相加的结果来推断val的类型。如果val1和val2都是int，那么val也将是整型。

使用auto类型说明符可以简化我们的代码，比如：

map<int, int> m;

map<int,int>::const_iterator iter = m.cbegin(); 等价于 auto iter = m.cbegin();

说明：

1、auto定义的变量必须有初始值

        auto i; // 编译错误，没有初始值，无法判断i的类型

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

        auto i = 1, *p = &i; // 正确，i是整型, p是整型指针

        auto i = 3, j = 3.14; // 编译错误，i是整型，j推导出来是double型（不会隐式转换），不一致

        int i = 3, j = 3.14; // 正确，i是整型3， j隐式转换为整型3

3、编译器推断出来的auto类型有时候和初始值的类型并不完全一致，编译器会适当地改变结果类型使其更符合初始化规则

• 对于引用类型，真正参与初始化的是引用对象的值，推断类型是引用对象的类型

        int i = 0， &j = i;

        auto k = j; // k被推断为整型类型，而不是整型引用，等价于int k = j

• auto一般会忽略顶层const，而保留底层const

        const int i = 0;

        auto j = i;  // j被推断为整型，等价于int j = i; 顶层const特性被丢掉了

        auto k = &i; // k被推断为指向整型常量的指针，底层const被保留了

     如果希望推断出的auto类型是一个顶层const，则需明确指明：

        const auto m = i;  // m被对推断为const int

    但是对引用类型，顶层const还是会保留：

        const int &i = 0;

        auto &j = i; // j 被推断为const int &类型