stl_pair.h学习
最后更新于：2022-04-01 15:50:55
### 前言
pair在关联容器中经常被使用，它提供了两个成员变量first和second，由于pair是一个struct，所以其成员变量的属性是public。在pair struct中提供了构造函数和拷贝构造函数，同时提供了两个最基本的操作operator==和operator<重载，其他的操作符重载都是基于前面两种的变形。本文源码来自SGI STL中的<stl_pair.h>文件。
### pair源码剖析
~~~
#ifndef __SGI_STL_INTERNAL_PAIR_H
#define __SGI_STL_INTERNAL_PAIR_H
__STL_BEGIN_NAMESPACE
/*
pair在关联容器中使用很广泛,它是STL的模板类型,可以存储两个成员变量
pair采用的是struct结构,struct的成员默认属性是public
*/
template <class _T1, class _T2>
struct pair {
typedef _T1 first_type;
typedef _T2 second_type;
//pair的两个成员变量,其属性是public
_T1 first;
_T2 second;
//以下是构造函数
pair() : first(_T1()), second(_T2()) {}
pair(const _T1& __a, const _T2& __b) : first(__a), second(__b) {}
#ifdef __STL_MEMBER_TEMPLATES
//兼容性的拷贝构造函数
//兼容性是指两个pair的类型可以不同,但是必须可以转换
template <class _U1, class _U2>
pair(const pair<_U1, _U2>& __p) : first(__p.first), second(__p.second) {}
//注意:用pair初始化另一个pair时,只能通过拷贝构造函数进行,不能通过赋值进行
//因为这里没有提供operator=操作符的重载
#endif
};
//operator==操作符重载
//两个pair相等时，意味着两个成员变量都对应相等
template <class _T1, class _T2>
inline bool operator==(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
{
return __x.first == __y.first && __x.second == __y.second;
}
//operator<操作符重载
//比较两个pair时,以第一个成员变量first为主,若第一个成员变量first不能判断表达式的大小
//则对其第二个成员变量second进行比较
template <class _T1, class _T2>
inline bool operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
{
return __x.first < __y.first ||
(!(__y.first < __x.first) && __x.second < __y.second);
}
#ifdef __STL_FUNCTION_TMPL_PARTIAL_ORDER
//下面的操作符重载都是基于上面operator<和operator==操作符的.
//operator!=,operator>,operator<=,operator>=操作符的重载
template <class _T1, class _T2>
inline bool operator!=(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) {
return !(__x == __y);
}
template <class _T1, class _T2>
inline bool operator>(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) {
return __y < __x;
}
template <class _T1, class _T2>
inline bool operator<=(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) {
return !(__y < __x);
}
template <class _T1, class _T2>
inline bool operator>=(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y) {
return !(__x < __y);
}
#endif /* __STL_FUNCTION_TMPL_PARTIAL_ORDER */
//根据两个数值，构造一个pair
template <class _T1, class _T2>
inline pair<_T1, _T2> make_pair(const _T1& __x, const _T2& __y)
{
return pair<_T1, _T2>(__x, __y);
}
__STL_END_NAMESPACE
#endif /* __SGI_STL_INTERNAL_PAIR_H */
// Local Variables:
// mode:C++
// End:
~~~
参考资料：
《STL源码剖析》侯捷
《[STL源码剖析-- stl_pair.h](http://blog.csdn.net/mdl13412/article/details/6643400)》