21. 总是让比较函数在等值情况下返回false

有例子如下:

std::set<int, std::less_equal<int>> datas;
datas.insert(10); // 10a
datas.insert(10); // 10b

称第一次插入的10为10a,第二次插入的为10b。按照设想,10b不能插入到datas中,因为10b的值也是10。结果却是能够插入。

你知道,关联容器“相同”的定义是等价,10a、10b是否等价,需要表达式!(10a <= 10b) && !(10b <= 10a)结果为true。显然其结果为fasle,不等价,这就是10b能够插入到 datas的原因。

注意:
小于的判别式为std::less<>,实际使用的是operator <。
大于的判别式为std::greater<>,实际使用的是operator >。

为了避免跌入这个陷阱,你只要记住,比较函数的返回值表明的是按照该函数定义的排列顺序,一个值是否在另外一个之前。相等的值从来不会有前后顺序关系,所以,对于相等的值,比较函数应该始终返回false。

对于std::mulitset和std::multimap可以使用std::less_equal<>或者std::greater_equal<>作为其比较函数吗?
对于插入而言,好像是没问题的,10a、10b不等价所以都能插入到容器中,同时这些容器本来就可以存放等值元素。但是,如果我们使用其成员函数equal_range()但是却不能将10a、10b都找出来,因为equal_range就是基于等价的,而10a、10b在比较函数为std::less_equal<>下却不等价。

所以,对于所有的关联容器,总是让比较函数在等值情况下返回false,及让它们的比较函数必须为一个严格的弱序化(strict weak ordering)。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值