std :: result_of和decltype之间的区别

我在理解std::result_ofC ++ 0x 的需求时遇到了一些麻烦。如果我理解正确，result_of它用于获得使用某些类型的参数调用函数对象的结果类型。例如：

template <typename F, typename Arg>
typename std::result_of<F(Arg)>::type
invoke(F f, Arg a)
{
    return f(a);
}

我看不出以下代码有什么区别：

template <typename F, typename Arg>
auto invoke(F f, Arg a) -> decltype(f(a)) //uses the f parameter
{
    return f(a);
}

要么

template <typename F, typename Arg>
auto invoke(F f, Arg a) -> decltype(F()(a)); //"constructs" an F
{
    return f(a);
}

我可以用这两种解决方案看到的唯一问题是我们需要：

• 有一个仿函数的实例，以在传递给decltype的表达式中使用它。
• 知道函子的已定义构造函数。

我是否正确地认为decltype和之间的唯一区别result_of是第一个需要表达而第二个不需要？

result_of在Boost中引入，然后在TR1中引入，最后在C ++ 0x 中引入。因此result_of具有向后兼容（具有合适的库）的优点。

decltype 是C ++ 0x中的一个全新事物，不仅限于函数的返回类型，而且是一种语言功能。

无论如何，在gcc 4.5上，result_of实现方式如下decltype：

  template<typename _Signature>
    class result_of;

  template<typename _Functor, typename... _ArgTypes>
    struct result_of<_Functor(_ArgTypes...)>
    {
      typedef
        decltype( std::declval<_Functor>()(std::declval<_ArgTypes>()...) )
        type;
    };

如果您需要的不是函数调用之类的类型，std::result_of则不适用。decltype()可以给您任何表达式的类型。

如果我们仅使用确定函数调用返回类型的不同方式（在std::result_of_t<F(Args...)>和之间decltype(std::declval<F>()(std::declval<Args>()...)），则存在差异。

std::result_of<F(Args...) 定义为：

如果将表达式 INVOKE (declval<Fn>(), declval<ArgTypes>()...)当成未求值的操作数时格式正确（第5条），则成员typedef类型应命名该类型，decltype(INVOKE (declval<Fn>(), declval<ArgTypes>()...)); 否则，将不存在成员类型。

result_of<F(Args..)>::type和之间的区别仅在decltype(std::declval<F>()(std::declval<Args>()...)于此INVOKE。除了直接键入declval/ decltype之外，直接使用/ 只是在F可以直接调用（函数对象类型或函数或函数指针）的情况下才有效。result_of另外支持指向成员函数的指针和指向成员数据的指针。

最初，使用declval/ decltype保证使用SFINAE友好的表达式，而std::result_of可能会给您带来硬错误而不是推论失败。这已在C ++ 14中得到纠正：std::result_of现在需要对SFINAE友好（感谢本文）。

因此，在符合标准的C ++ 14编译器上，std::result_of_t<F(Args...)>绝对是优越的。它更清晰，更短且正确^†支持更多Fs ^‡。

^•例外。尽管它支持指向成员的指针，但是result_of如果您尝试实例化无效的type-id，则将不起作用。这些将包括返回函数或按值获取抽象类型的函数。例如：

template <class F, class R = result_of_t<F()>>
R call(F& f) { return f(); }

int answer() { return 42; }

call(answer); // nope

正确的用法应该是result_of_t<F&()>，但是您不必记住它的细节decltype。