模板參數類返回的函數調用類型

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 {}; 
}