模板参数类返回的函数调用类型

Question

我经常发现自己正在处理模板并在所述模板中返回函数的值。我总是最终的东西是这样的：

template<typename Data> 
auto foo(const Data& d) -> 
    typename std::decay<decltype(reinterpret_cast<const Data*>(0)->operator()(0, 0))>::type 
{ 
    typedef typename std::decay<decltype(reinterpret_cast<const Data*>(0)->operator()(0, 0))>::type return_t; 
    ... 
} 

虽然这个工作，它是丑陋的，而不是真的很明显是我从快速查找想要的。是否有更可读，更少的'hackish'方法来获得“在模板参数上调用此方法的返回类型”？

Answer 1

无模板的别名（C++ 11）：

template <typename Data> 
auto foo(const Data& d) -> typename std::decay<decltype(d(0, 0))>::type 
{ 
    return {}; 
} 

或：

template <typename Data 
     , typename return_r = typename std::decay< 
       typename std::result_of<const Data(int, int)>::type 
      >::type> 
return_r foo(const Data& d) 
{ 
    return {}; 
} 

---

随着模板别名（C++ 14或手写）：

template <typename Data> 
auto foo(const Data& d) -> std::decay_t<decltype(d(0, 0))> 
{ 
    return {}; 
} 

或者：

template <typename Data 
     , typename return_r = std::decay_t<std::result_of_t<const Data(int, int)>>> 
return_r foo(const Data& d) 
{ 
    return {}; 
}