c++类型推导系列之三:关于decltype

给一个名字或者表达式,decltype告诉你名字或者表达式的类型,decltype十分诚实,它不会擅自增加或者删除cv标识符、引用标识符等,换句话说,通过decltype得到的类型就是名字或者表达式的类型。(不像模板类型推导和auto推导那样,需要几个因素一起决定被推导类型)可以把decltype也看作一种类型推导法则。
c++11标准中,decltype的作用主要是配合尾置返回类型声明函数模板的返回类型:

template
auto authAndAccess(Container& c,Index i) ->decltype(c[i]) {
    autoenticateUser();
    return c[i];
}

c++14标准允许推导函数返回类型,即保留auto,去掉->decltype(c[i])。注:c++14中通过将函数返回类型声明为auto表明这里要进行类型推导,但是反直觉的是,这里的类型推导规则并不是auto类型推导规则,而是采用模板类型推导规则。
authAndAccess函数能够写成如下:

template
auto authAndAccess(Container& c,Index i) {
    autoenticateUser();
    return c[i];
}

这个函数其实是有问题的,根据模板类型推导规则,auto这里会被推导为非引用类型,而c[i]返回的是引用类型。如下函数并不能达成目的:

std::deque d;
autoAndAccess(d,5) = 10; //对一个rvalue赋值是不行的。

为了解决这个问题,c++14扩展了新的标识符:decltype(auto),当函数改为以下形式时:

template
decltype(auto) authAndAccess(Container& c,Index i) {
    autoenticateUser();
    return c[i];
}

相当于说明函数的返回类型使用decltype类型推导法则,而不是模板类型推导法则,即返回类型是decltype(c[i])。

你可能感兴趣的