访问类型传递作为模板参数

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);