C++STL库的set就是一个二叉查找树，并且支持结构体。

在写结构体式的二叉查找树时，需要在结构体里面定义操作符 < ，因为需要比较。

set经常会用到迭代器，这里说明一下迭代器：可以类似的把它看成是一个“下标”，它是指向set集合中的某个元素的指针，它用来遍历这个集合。

头文件

#include<set>

#include<iterator> //set 经常会使用到迭代器，因此需要迭代器的头文件

定义二叉查找树:

set<数据类型> 名称:

multiset<数据类型> 名称; //multiset 是可重集合，set是不可重集合。

定义迭代器：

set<数据类型>::iterator 名称;

multiset<数据类型>::iterator 名称;

一些常用的操作：

插入一个元素v:

S.insert(v); //S是定义过的集合，下面相同

集合的大小：

S.size();

集合为空吗：

S.empty();

集合中最小的元素：

S.begin(); //这是一个指向那个位置的指针，若要值则要在前面加上*

*S.begin(); //前面加*就是那个位置的值

集合中最大的元素：

S.end();  //解释同上

*S.end();

集合中>=v的第一个元素：

it=S.lower_bound(v) //it是定义过的迭代器，注意集合不为空

集合中>v的第一个元素:

it=S.upper_bound(v)//要注意存在这样的>v的数，否则会溢出

迭代器操作：（a，b是定义过的迭代器）

a=b;   //赋值操作

a++;  //增加一位，即指向比这个元素a大一点点的那个元素

a--;    //减少一位，即指向比这个元素a小一点点的那个元素

删除迭代器it指向的那个元素：

S.erase(it);

删除数字为v的那个元素（注意用在multiset时会删除所有v的元素）：

S.erase(v);

从小到大输出所有集合中的元素：

copy(S.begin(),S.end(),ostream_iterator<数据类型>(cout," "));

以上就是一些常用的指令，下面看一道模板题。

题目: codevs 1285 宠物收养所

链接：http://codevs.cn/problem/1285/

个人觉得这道题的算法还是很巧妙的。

题目中说：同一时间呆在收养所中的，要么全是宠物，要么全是领养者。这就意味着不可能有人和宠物同时存在的情况，也就是有一个宠物那一个人必须领走。如果宠物少，那么就只能等在那里，等宠物来了。其实这道题中人领养宠物和宠物领养人是等价的，因此，在宠物集合为空的时候，把人当成宠物放进集合（二叉查找树）里面，就可以解决了。

还有一个小技巧，为了避免访问lower_bound的时候越界，可以在刚开始的时候加入正无穷和负无穷（一个允许的很大的值）两个边界，在结算的时候判断一下就可以了。还有要注意这个时候的集合为空的判断是S.size()==2。

附代码：

 #include<cstdio>

 #include<iostream>

 #include<set>

 #include<iterator>

 using namespace std;

 const int maxn=;

 const int INF=(<<);

 const int MOD=;

 int n,ans,sert;

 set<int> S;

 set<int>::iterator lt,rt;

 int main()

 {

     cin>>n;

     S.insert(INF),S.insert(-INF);

     for(int i=,x,y;i<=n;i++)

     {

         cin>>x>>y;

         if(==S.size())    sert=x,S.insert(y);

         else if(x==sert) S.insert(y);

         else

         {

             rt=S.lower_bound(y);

             lt=rt,lt--;

             if(y-*lt<=*rt-y && *lt!=-INF) ans=(y-*lt+ans)%MOD,S.erase(lt);

             else ans=(*rt-y+ans)%MOD,S.erase(rt);

         }

     }

     cout<<ans<<endl;

     return ;

 }