C++11 关键字auto、decltype

C++11新加了两个关键字：auto和decltype。

用于在编译期推导出变量或表达式的类型，方便开发者简化代码。

auto

编译期推导变量类型。

例：auto x = 1;

推导规则

• 必须初始化。
• 在一行定义多个变量时，不能有二义性。
• 无法推导出模板参数。
• 不能定义数组
• 不能用于函数参数

cv推导规则，cv是指const 和volatile。

• 在不声明为引用或指针时，auto会忽略等号右边的引用类型和cv限定
• 在声明为引用或者指针时，auto会保留等号右边的引用和cv属性

什么时候使用auto？

不影响代码可读性为前提。

作用域范围较小的变量尽量使用auto。

不关心类型的时候。

auto必须初始化，可以强制写代码时赋默认值。

decltype

编译期推导表达式类型。编译器分析表达式的类型，不会执行表达式。“declare type”的缩写。

decltype会保留表达式的引用和cv属性。

int a = 0, b = 0;
decltype(a + b) c = 0; // c是int，因为(a+b)返回一个右值
decltype(a += b) d = c;// d是int&，因为(a+=b)返回一个左值

推导规则

• exp是表达式，decltype(exp)和exp类型相同

• exp是函数调用，decltype(exp)和函数返回值类型相同

• 其他情况，若exp是左值，decltype(exp)是exp类型的左值引用

auto和decltype配合使用

使用在推导函数返回值的类型问题上。

//C++11
template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {
    return t + u;
}
auto x = add(1, 1.2);//x是double

auto用来占位，decltype用来推导类型。当T和U类型不同时，使用范围很广。

C++14简化了写法，支持decltype(auto)，不用重复写一遍括号里面的exp。

//C++14
template<typename T, typename U>
decltype(auto) add(T t, U u) {
    return t + u;
}
auto x = add(1, 1.2);//x是double