C++11新特性之三——auto

C++11中引入的auto主要有两种用途：自动类型推断和返回值占位。auto在C++98中的标识临时变量的语义，由于使用极少且多余，在C++11中已被删除。前后两个标准的auto，完全是两个概念

1. 自动类型推断

auto自动类型推断，用于从初始化表达式中推断出变量的数据类型。通过auto的自动类型推断，可以大大简化我们的编程工作。下面是一些使用auto的例子。

#include <vector>
#include <map>  

using namespace std;  

int main(int argc, char *argv[], char *env[])
{
//  auto a;                 // 错误，没有初始化表达式，无法推断出a的类型
//  auto int a = 10;        // 错误，auto临时变量的语义在C++11中已不存在, 这是旧标准的用法。  

    // 1. 自动帮助推导类型
    auto a = ;
    auto c = 'A';
    auto s("hello");  

    // 2. 类型冗长
    map<int, map<int,int> > map_;
    map<int, map<int,int>>::const_iterator itr1 = map_.begin();
    const auto itr2 = map_.begin();
    auto ptr = []()
    {
        std::cout << "hello world" << std::endl;
    };  

    return ;
};  

// 3. 使用模板技术时，如果某个变量的类型依赖于模板参数，
// 不使用auto将很难确定变量的类型（使用auto后，将由编译器自动进行确定）。
template <class T, class U>
void Multiply(T t, U u)
{
    auto v = t * u;
}  

2.返回占位符:

template <typename T1, typename T2>
auto compose(T1 t1, T2 t2) -> decltype(t1 + t2)
{
   return t1+t2;
}
auto v = compose(, 3.14); // v's type is double 

3.使用注意事项：

①我们可以使用valatile，pointer（*），reference（&），rvalue reference（&&） 来修饰auto

auto k = ;
auto* pK = new auto(k);
auto** ppK = new auto(&k);
const auto n = ;  

②用auto声明的变量必须初始化（auto需要根据初始化的值推断出类型）

③auto不能与其他类型组合连用

=======================================================================

decltype

用于编译时推断类型,decltype有点像auto的逆过程：

• 使用auto可以声明一个变量；
• 而decltype可以通过一个变量得到类型。

在C++11可以使用trailing-return-type指定返回值类型，而在C++14中可以使用decltype(auto)这种更强大的语法，让程序员不再纠结返回值类型。

decltype 最主要用来声明一个函数模板，并且返回值的类型取决于参数的类型；（如上面第2点：返回占位符）