Effective STL条款21

原创 2004年12月31日 01:32:00

条款21: 永远让比较函数对相等的值返回false

让我向你展示一些比较酷的东西。建立一个set,比较类型用less_equal,然后插入一个10:


现在尝试再插入一次10:


对于这个insert的调用,set必须先要判断出10是否已经位于其中了。 我们知道它是,但set可是木头木脑的,它必须执行检查。为了便于弄明白发生了什么,我们将一开始已经在set中的10称为10A,而正试图插入的那个10叫10B。

set遍历它的内部数据结构以查找哪儿适合插入10B。最终,它总要检查10B是否与10A相同。关联容器对“相同”的定义是等价(equivalence)(参见条款19),因此set测试10B是否等价于10A。当执行这个测试时,它自然是使用set的比较函数。在这一例子里,是operator<=,因为我们指定set的比较函数为less_equal,而less_equal意思就是operator<=。于是,set将计算这个表达式是否为真:


哦,10A和10B都是10,因此,10A <= 10B 肯定为真。同样清楚的是,10B <= 10A。于是上述的表达式简化为


再简化就是


结果当然是false。 也就是说,set得出的结论是10A与10B不等价,因此不一样,于是它将10B插入容器中10A的旁边。在技术上而言,这个做法导致未定义的行为,但是通常的结果是set以拥有了两个为10的值的拷贝而告终,也就是说它不再是一个set了。通过使用less_equal作为我们的比较类型,我们破坏了容器!此外,任何对相等的值返回true的比较函数都会做同样的事情。根据定义,相等的值却不是等价的!是不是很酷?

OK,也许你对酷的定义和我不一样。就算这样,你仍然需要确保你用在关联容器上的比较函数总是对相等的值返回false。但是,你需要保持警惕。对这条规则的违反容易达到令人吃惊的后果。

举个例子,条款20描述了该如何写一个比较函数以使得容纳string*指针的容器根据string的值排序,而不是对指针的值排序。那个比较函数是按升序排序的,但我们现在假设你需要string*指针的容器的降序排序的比较函数。自然是抓现成的代码来修改了。如果你不细心,可能会这么干,我已经加亮了对条款20中代码作了改变的部分:


这里的想法是通过将比较函数内部结果取反来达到反序的结果。很不幸,取反“<”不会给你(你所期望的)“>”,它给你的是“>=”。而你现在知道,因为它将对相等的值返回true,对关联容器来说,它是一个无效的比较函数。

你真正需要的比较类型是这个:


要避免掉入这个陷阱,你所要记住的就是比较函数的返回值表明的是在此函数定义的排序方式下,一个值是否大于另一个。相等的值绝不该一个大于另一个,所以比较函数总应该对相等的值返回false。

唉。

我知道你在想什么。你正在想,“当然,这对set和map很有意义,因为这些容器不能容纳复本。但是multiset和multimap怎么样呢?那些容器可以容纳复本,那些容器可能包含副本,因此,如果容器认为两个值相等的对象不等价,我需要注意些什么?它将会把两个都存储进去的,这正是multi系列容器的所要支持的事情。没有问题,对吧?”

错。想知道为什么,让我们返回头去看最初的例子,但这次使用的是一个mulitset:


现在,s里有两个10的拷贝,因此我们期望如果我们在它上面做一个equal_range,我们将会得到一对指出包含这两个拷贝的范围的迭代器。但那是不可能的。equal_range,虽然叫这个名字,但不是指示出相等的值的范围,而是等价的值的范围。在这个例子中,s的比较函数说10A和10B是不等价的,所以不可能让它们同时出现在equal_range所指示的范围内。

你明白了吗?除非你的比较函数总是为相等的值返回false,你将会打破所有的标准关联型容器,不管它们是否允许存储复本。

从技术上说,用于排序关联容器的比较函数必须在它们所比较的对象上定义一个“严格的弱序化(strict weak ordering)”。(传给sort等算法(参见条款31)的比较函数也有同样的限制)。如果你对严格的弱序化含义的细节感兴趣,可在很多全面的STL参考书中找到,比如Josuttis的《The C++ Standard Library》[3](译注:中译本《C++标准程序库》P176),Austern的《Generic Programming and the STL》(译注:中译本《泛型程序设计与STL》)[4],和SGI STL的网站[21]。 我从未发现这个细节如此重要,但一个对严格的弱序化的要求直接指向了这个条款。那个要求就是任何一个定义了严格的弱序化的函数都必须在传入相同的值的两个拷贝时返回false。

嗨! 这就是这个条款!

《Effective C++》:条款44-条款45

条款44将与参数无关的代码抽离templates 条款45运用成员函数模板接受所有兼容类型...
  • KangRoger
  • KangRoger
  • 2015年03月12日 22:01
  • 1479

《Effective C++》学习笔记——条款31

《Effective C++》学习笔记——条款31:将文件间的编译依存关系降至最低
  • lx417147512
  • lx417147512
  • 2015年06月15日 13:51
  • 1362

《Effective C++》:条款41-条款42

条款41了解隐式接口和编译期多态 条款42了解typename的双重意义条款
  • KangRoger
  • KangRoger
  • 2015年03月10日 22:13
  • 1195

Effective STL 条款21: 关联容器的strict weak order(让比较函数对相等的值返回false) .

条款21: 永远让比较函数对相等的值返回false 让我向你展示一些比较酷的东西。建立一个set,比较类型用less_equal,然后插入一个10: set > s; // s以“...
  • ClamReason
  • ClamReason
  • 2012年04月16日 11:47
  • 918

effective C++ 读书笔记 条款21

effective C++ 读书笔记 条款21
  • djb100316878
  • djb100316878
  • 2014年11月06日 16:22
  • 878

Effective Modern C++ 条款21 比起直接使用new,更偏爱使用std::make_unique和std::make_shared

Effective Modern C++ 条款21
  • big_yellow_duck
  • big_yellow_duck
  • 2016年08月28日 20:52
  • 1850

effective C++笔记之条款20、21:避免public接口出现数据成员、尽可能使用const

条款20: 避免public接口出现数据成员   l        如果接口里存在数据成员,用户每次访问类的成员时候会想是该用括号还是不该用括号。如果每个成员都是函数,就不用多想了。 l    ...
  • lifu119
  • lifu119
  • 2012年03月13日 17:13
  • 744

effective c++ 条款21: 必须返回对象时,别妄想返回其reference

RT,effective c++ 条款21: 必须返回对象时,别妄想返回其reference。 effective一直强调要养成用const reference的好习惯,以致于我经常在不该使用ref...
  • nizhannizhan
  • nizhannizhan
  • 2015年02月04日 16:49
  • 306

《Effective C++》学习笔记——条款21

《Effective C++》学习笔记——条款21:必须返回对象时,别妄想返回其reference
  • lx417147512
  • lx417147512
  • 2014年12月17日 17:53
  • 677

【Effective STL】条款6-12学习笔记

条款6:警惕C++最令人恼怒的解析 参数为double变量 int f(double d); int f(double (d)); // 同上;d左右的括号被忽略 int f(double); ...
  • Dean_Winchester
  • Dean_Winchester
  • 2013年07月18日 09:39
  • 1030
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Effective STL条款21
举报原因:
原因补充:

(最多只允许输入30个字)