stl:: pair源码以及使用

前言

本章 我们来介绍一下stl::pair模板.为什么要涉及这个东西嘞？这是因为在看LightGBM的时候经常看到pair出没。。。
其实pair就是一种二元关系,该关系定义了A,B两个集合的笛卡尔积
我们来看笛卡尔积的数学定义：
设存在集合A,B，我们定义集合A和B的乘积C.其中

$$C={(a,b),s.t. a \in A,b\in B }$$ ,并且满足： $$c_{1}=(a_{1},b_{1})=c_{2}=(a_{2},b_{2})$$ 当仅当 $$a_{1}=a_{2},b_{1}=b_{2}$$ 。
而pair就是为了表示这种关系。

source code

#ifndef PAIR_H
#define PAIR_H
template <class T1, class T2>
struct pair {
typedef T1 first_type;
typedef T2 second_type;

T1 first;
T2 second;
pair() : first(T1()), second(T2()) {}
pair(const T1& a, const T2& b) : first(a), second(b) {}

#ifdef __STL_MEMBER_TEMPLATES
template <class U1, class U2>
pair(const pair<U1, U2>& p) : first(p.first), second(p.second) {}
#endif
};

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

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

template <class T1, class T2>
inline pair<T1, T2> make_pair(const T1& x, const T2& y) {
return pair<T1, T2>(x, y);
}

#endif

代码 很简短，就是定义了pair类以及两个构造函数，然后重载了operator==以及定义了make_pair函数。

分析

1.pair是一个struct,因此里面成员的默认访问控制符为public.这意味者我们可以直接读写pair两个元素的值。
2.只定义了operator==和operator<,其他<=,>=,!=都可以基于这两个符号生成。

使用

#include <stdio.h>
#include <stdlib.h>
#include <utility>
int main()
{
std::pair<int, int> p1 = { 2, 3 };
std::pair<int, int> p2 = { 1, 3 };
printf("%d %d\n", p1.first, p2.second);
printf("%d", p1 < p2);
system("pause");
return 0;
}

头文件在utility.h