假设我想制作一个模板化函数,返回任何 STL 容器的第一个元素。一般的方式是:
template<typename Container>
Container::value_type first(Container c){
return *(c.begin());
}
这适用于 vector 、列表、双端队列、集合等。
然而,对于成对关联容器(std::map),如果想要
return c.begin()->second;
如果我有一对关联容器,我该如何测试(在函数中或使用模板特化)?
STL 容器似乎没有附加任何特征。是否可以检查它是否具有::key_type ?
最佳答案
你可以很容易地做到:
namespace result_of // pillaged from Boost ;)
{
template <class Value>
struct extract { typedef Value type; };
template <class First, class Second>
struct extract < std::pair<First,Second> > { typedef Second type; };
}
template <class Value>
Value extract(Value v) { return v; }
template <class First, class Second>
Second extract(std::pair<First,Second> pair) { return pair.second; }
template <class Container>
typename result_of::extract< typename Container::value_type >::type
first(const Container& c) { return extract(*c.begin()); }
不过我应该注意,我可能会添加一个测试来查看容器是否为空
...因为如果容器为空
,您就在对于未定义的行为。
运动中:
int main(int argc, char* argv[])
{
std::vector<int> vec(1, 42);
std::map<int,int> m; m[0] = 43;
std::cout << first(vec) << " " << first(m) << std::endl;
}
// outputs
// 42 43
示例无耻地取自 litb
;)
关于c++ - 如何测试模板参数是否是一对关联容器?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/2289193/