C++中后置返回类型如何与decltype结合使用

C++中后置返回类型如何与decltype结合使用

有一个相关的问题是 decltype 本身无法解决的。请看下面这个不完整的模板函数

template<class Tl，class T2>
?type? gt(T1 x，T2 y)
{
    ...
    return x+y;  
}

同样，无法预先知道将x和y相加得到的类型。好像可以将返回类型设置为decltype(x+y)，但不幸的是，此时还未声明参数x和y，它们不在作用域内(编译器看不到它们，也无法使用它们)。必须在声明参数后使用 decltype。为此，C++新增了一种声明和定义函数的语法。下面使用内置类型来说明这种语法的工作原理。对于下面的原型:

double h(int x,float y);

使用新增的语法可编写成这样:

auto h(int x,float y)-> double;

这将返回类型移到了参数声明后面。->double 被称为后置返回类型(trailingretumntype)。参见【0voice C++】 其中 auto 是一个占位符,表示后置返回类型提供的类型,这是 C++11 给 auto 新增的一种角色。这种语法也可用于函数定义:

auto h(int x,floaty)-> double
{/*function body */};

通过结合使用这种语法和 decltype，便可给 gt() 指定返回类型，如下所示:

template<class Tl, class T2>
auto gt(T1 x，T2 y) -> decltype(x + y)
{
    ...
    return x + y;   
}

现在，decltype在参数声明后面，因此x和y位于作用域内，可以使用它们。