4

在decltype http://en.wikipedia.org/wiki/Decltype上的维基百科文章中，我遇到了这个例子：

int& foo(int& i);
float foo(float& f);

template <class T> auto transparent_forwarder(T& t) −&gt; decltype(foo(t)) {
  return foo(t);
}

虽然我理解这个函数背后的动机，但我不理解它使用的语法，特别->是声明中的语法。什么是 -> 以及它是如何解释的？

编辑 1

基于上述：这里有什么问题？

template <typename T1, typename T2>
auto sum(T1 v1, T2 v2) -> decltype(v1 + v2) {
    return v1 + v2;
}

错误是：

error: expected type-specifier before ‘decltype’
error: expected initializer before ‘decltype

对编辑 1 的回答：

哎呀！我忘了在 g++ 中使用-std=c++11编译器选项。

编辑 2

基于以下答案。我有一个相关的问题：看下面的声明：

template <typename T1, typename T2>
decltype(*(T1 *) nullptr + *(T2 *) nullptr) sum2(T1 v1, T2 v2);

它decltype不需要->在函数声明中使用。那么为什么我们需要->

4

1 回答 1

10

这使用尾随返回类型表示法。这个：

auto f() -> T { ... }

相当于这个：

T f() { ... }

优点是，使用尾随返回类型表示法，您可以基于涉及参数的表达式来表示函数的类型，这是经典表示法无法实现的。例如，这将是非法的：

    template <class T>
    decltype(foo(t)) transparent_forwarder(T& t) {
//  ^^^^^^^^^^^^^^^^
//  Error! "t" is not in scope here...

        return foo(t);
    }

关于您的编辑：

基于上述：这里有什么问题？

template <typename T1, typename T2>
auto sum(T1 v1, T2 v2) -> decltype(v1 + v2) {
    return v1 + v2;
}

没有什么。

关于您的第二次编辑：

[...]它在函数声明中使用 decltype 而不需要 -> 。那么我们为什么需要 ->

在这种情况下，您不需要它。但是，使用尾随返回类型的表示法更加清晰，因此人们可能更喜欢它以使代码更易于理解。

于 2013-05-04T17:00:38.073 回答