C++14 'auto'能够获取函数返回类型，我们还需要 std：：result_of<> 吗？

Question

似乎C 14 auto关键字可用于显示在函数定义的位置，以指示返回类型。在这种情况下，仍然需要std::result_of吗？现在不是过时了吗？

Answer 1

是的，绝对。

1. 有时您需要返回类型，但不是由于功能的结果。假设我有一个vector<X>，我想对每个元素应用一个函数并返回结果。此操作称为map或fmap，我们可能会因此实现签名：

   template <class T, class F,
       class U = std::decay_t<std::result_of_t<F&(T const&)>>>
   std::vector<U> map(std::vector<T> const&, F );
   

   您可以制作返回类型auto，但是无论如何，您需要计算该类型的U和auto不会将其提供给您。每当您想要一个不一定是返回类型的函数调用的结果时，auto都不会删除它。

2. sfinae。考虑以下区别：

   template <class F>
   decltype(auto) foo(F f) { return f(0); }
   template <class F>
   std::result_of_t<F&(int)> bar(F f) { return f(0); }
   

   如果F与int无法引用，则实例化foo()是一个硬编译错误，但是bar()只需从过载集中删除。这在通用代码中可能非常有价值，因为您可以测试表达式是否形成良好。

3. 注释。auto对函数返回类型一无所知。如果该函数正在返回与某些args调用一个可呼叫的结果，则std::result_of_t<F(A, B)>本身会告诉我该功能在做什么。auto什么都不告诉我。

---

真的一个更好的问题可能是...如果我们有decltype，为什么我们需要std::result_of。这些似乎更加密切。毕竟，我可以做decltype(x+1)，如何用result_of表示？decltype显然更好。好吧，事实证明，即使在确定功能调用的结果时，两者之间也存在一些微小的差异。