set的多个成员函数都可能因为自定义的比较方式出现错误。
对于insert
,由于set要求不能出现重复的元素,所以如果发现要插入的元素已经存在了,就不会进行插入。而set使用comp来判断两个元素是否相等:如果comp(a, b)
返回false并且comp(b, a)
也返回false,那么认为a和b是相等的。如果我们自定义的comp不能实现这个功能,那么插入就会出现异常。比如明明b不在set中,但是由于set中有某个元素a满足!comp(a,b) && !comp(b, a)
,set误以为a和b相等,不会插入b。
由于同样的原因,erase
某个元素的时候也要利用comp找到set中“等于”目标值的元素,同样也使用comp来判断“等于”。于是想删除b时,由于存在一个元素a满足!comp(a, b) && !comp(b, a)
,导致误删除了a。
所以谨慎使用自定义的comp。