訪問類型傳遞作爲模板參數

Question

我想要寫的函數

template <class T> 
X foo (T); 

其中T是std::pair<X, X>類型。

如何從T推導出返回類型X？

Answer 1

如何

template <class T> 
T foo (std::pair<T, T> bar); 

現在T是你正在尋找的類型（即你的問題X）。

答評論： 如果你不能改變函數簽名在std::tuple_element看看，或者PiotrSkotnicki指出的那樣，簡單地使用

typename T::first_type 

Answer 2

在你的榜樣X需要爲模板，太：

template <class T, class X = typename T::first_type > 
X foo (T t); 

但更好的是：

template <class T > 
typename T::first_type foo (T t);