STL总结

模板类 pair 的一个成员模板函数

template <class U1,class U2>

pair(const pair<U1,U2>&x):first(x.first),second(x.second) 

如果两个变量都不是常量类型，可以使用make_pair(x,y)，来产生一个pair的对象。

对照上面的构造函数来看，其中的x是赋值给x.first，y是赋值给x.second。

x.first是U1类型，x.second是U2类型。x.first和x.second是pair的两个成员对象。

pair模板类的构造函数：

template<class T1,classT2>struct pair

{

typedef T1 first_type;

typedef T2 second_type;

pair():first(T1()),second(T2()){}

pair(const T1&V1,const T2&V2):first(V1),sencond(V2){}

template<class U1,class U2>pair(const pair<U1,U2>):first(x.first),second(x.second){}

T1 first;

T2 second;

};

第一个(默认)构造函数将first初始化为T()，second初始化为U()。
第二个构造函数将first初始化为x，second初始化为y。第三个(模板)
构造函数将first初始化为pr.first，second初始化为pr.second。T和U只需各自提供一个默认构造函数，一个接受单参数的构造函数，以及一个析构函数

make_pair的作用与问题：可以在必要时产生一个pair对象。但不是每次都成功，因为模板函数在检测模板参数时将忽略点所有的const属性（至少他们可以这样做，某些编译器就是这样处理的。）也就是说我们不能依赖make_pair产生一个含有一个和多个常量成员的对象的pair对象。而这些map和multimap有时需要的。