STL注意比较函数

可重复插入?:

set<int ,less_equal<int> >s;
s.insert(10);
s.insert(10);

第二次调用insert,集合回去确认10是否已经存在。因为我们代入的比较函数是 <=
所以集合会检查下面表达式判断是否等价:

!(10a <= 10b) && !(10b <= 10a)

于是会判断出不等价,第二个10就插入成功了。。
至于为什么是这个公式,具体可以参考《STL源码剖析里面》的RB-tree代码:
因为在插入的时候会调用 RB-tree的insert_unique(即避免重复)。然后做出一下判断:

  • 插入点是父亲是最左节点的左儿子:那么直接插入
  • 插入点是普通的左儿子:判断与插入点的祖父点是否相等
  • 插入点是右儿子:直接判断与父亲的关系

假设判断函数‘<’:

  • 最左节点就是值最小的那个点,如果插入点是它左儿子,那么肯定不可能与它相同
  • 如果你是普通左儿子,那么肯定小于父亲节点,而父亲节点 >= 祖父节点,所有当前值有可能与祖父值相同。
  • 如果是右儿子,那么>=父亲节点
  • 对于可能相等的情况判断一下
    于是会先判断 (10b < 10a),因为相等,所以插在右儿子,然后它判断与父亲点的关系
    也就是 (10b > 10a)。如果两个都满足的话,两个点是不相同的。

--
但是判断函数换成了 less_equal( <= ),那么就会有一定的问题,导致相同的也能够插入成功。


元素是指针:

set<string* > v;
v.insert(new string("abc"));
v.insert(new string("bcd"));

如果按照上面的操作,然后将内容按顺序输出,你希望的:
abc bcd
并不一定会出现,因为默认比较函数是比较元素,而set里面保存的是指针。
最后输出的是按照指针大小排序后的结果,所以需要一些处理:

struct StringPtrLess:
  public binary_function<const string*,const string*,bool>
  {
    bool operator()(const string *p1,const string* p2) const 
    {
         return *p1 < *p2;
    }
  };

自定义比较,然后代入set的声明中

而且因为自定义的比较,可能导致成员函数的find和算法的find出现不同结果。


参考:

Effective STL

posted @ 2017-03-20 18:55  Przz  阅读(405)  评论(0编辑  收藏  举报