📄 item_34.html
字号:
<?xml version="1.0" encoding="gb2312"?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><title>条款34：注意哪个算法需要有序区间</title><meta http-equiv="Content-Type" content="text/html; charset=gb2312" /><link href="css/all.css" rel="stylesheet" type="text/css" /><link rel="stylesheet" href="http://stl.winterxy.com/styles-site.css" type="text/css" /><link rel="alternate" type="application/rss+xml" title="RSS" href="http://stl.winterxy.com/index.rdf" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="http://stl.winterxy.com/rsd.xml" /></head><body><div id="banner"><h1><a href="http://stl.winterxy.com/" accesskey="1">Center of STL Study</a> </h1><span class="description">——最优秀的STL学习网站<script language="javascript" src="http://www.winterxy.com/cgi-bin/js/webstats.js"></script></span></div><h2>条款34：注意哪个算法需要有序区间</h2> <p>不是所有算法可以用于任意区间。比如，remove（参见<a href="item_32.html">条款32</a>和<a href="item_33.html">33</a>）需要前向迭代器和可以通过这些迭代器赋值的能力。所以，它不能应用于由输入迭代器划分的区间，也不能是map或multimap，也不能是set和multiset的一些实现（参见<a href="item_22.html">条款22</a>）。同样，很多排序算法（参见<a href="item_31.html">条款31</a>）需要随机访问迭代器，所以不可能在一个list的元素上调用这些算法。</p><p>如果你冒犯了这些规则，你的代码将不能编译，可能会出现一个非常冗长和不可理解的错误信息（参见<a href="item_49.html">条款49</a>）。但其他算法的需求则更为狡猾。在这些之中，可能最常见的就是一些算法需要有序值的区间。无论何时都应该坚持这个需求，因为冒犯它不仅会导致编译器诊断，而且会造成未定义的运行期行为。</p><p>既可以和有序又可以和无序区间合作的算法很少，但当操作有序区间的时候它们最有用。你可以理解这些算法是怎么工作的，因为那会解释为什么有序区间最适合它们。</p><p>我知道你们中的一部分会用蛮力记忆，所以这里有一个只能操作有序数据的算法的表：</p> <div style="text-align:center"> <table cellpadding="2"> <tr> <td style="width:160px">binary_search</td> <td style="width:160px">lower_bound</td> </tr> <tr> <td>upper_bound</td> <td>equal_range</td> </tr> <tr> <td>set_union</td> <td>set_intersection</td> </tr> <tr> <td>set_difference</td> <td>set_symmetric_difference</td> </tr> <tr> <td>merge</td> <td>inplace_merge</td> </tr> <tr> <td>includes</td> <td> </td> </tr> </table> </div> <p>另外，下面的算法一般用于有序区间，虽然它们不要求：</p> <div style="text-align:center"> <table cellpadding="2"> <tr> <td style="width:100px">unique</td> <td style="width:100px">unique_copy</td> </tr> </table> </div> <p>我们马上会看到“有序”的定义是一个重要的约束，但首先，让我们熟悉一下这些算法。如果你知道了为什么需要有序区间，就很容易记起哪个算法需要那样的区间。</p><p>搜索算法binary_search、lower_bound、upper_bound和equal_range（参见<a href="item_45.html">条款45</a>）需要有序区间，因为它们使用二分法查找来搜索值。像C库中的bsearch，这些算法保证了对数时间的查找，但作为交换的是，你必须给它们已经排过序的值。</p> <p>实际上，这些算法保证对数时间查找不是很正确。仅当传给它们的是随机访问迭代器时它们才能保证有那样的性能。如果给它们威力比较小的迭代器（比如双向迭代器），它们仍然进行对数次比较，但运行是线性时间的。那是因为，缺乏进行“迭代器算术（arithmetic）”的能力。它们在搜索的区间中需要花费线性时间来从一个地方移动到另一个地方。</p><p>算法set_union、set_intersection、set_difference和set_symmetric_difference的四人组提供了线性时间设置它们名字所提出的操作的性能。为什么它们需要有序区间？因为如果不是的话，它们不能以线性时间完成它们的工作。如果你开始发觉一个趋势——需要有序区间的算法为了比它们用于可能无序区间提供更好的性能而这么做，你是对的。保持协调，这个趋势会继续。</p><p>merge和inplace_merge执行了有效的单遍合并排序算法：它们读取两个有序区间，然后产生一个包含了两个源区间所有元素的新有序区间。它们以线性时间执行，如果它们不知道源区间已经有序就不能完成。</p> <p>最后一个需要有序区间的算法是includes。它用来检测是否一个区间的所有对象也在另一个区间中。因为includes可能假设它的两个区间都已经有序，所以它保证了线性时间性能。没有那个保证，一般来说它会变慢。</p> <p>不像我们刚才讨论过的算法，unique和unique_copy甚至在无序区间上也提供了定义良好的行为。但看看标准是怎么描述unique的行为的（斜体字是雷区）：</p> <blockquote> <p>从每个相等元素的<em>连续</em>组中去除第一个以外所有的元素。</p> </blockquote> <p>换句话说，如果你要unique从一个区间去除所有重复值（也就是，让区间中所有值“唯一”），你必须先确保所有重复值一个接着一个。猜到什么了？那是排序完成的东西之一。实际上，unique一般用于从区间中去除所有重复值，所以你几乎总是要确保你传递给unique（或unique_copy）的区间是有序的。（Unix开发者会发现STL的unique和Unix的uniq之间有惊人的相似，我想这个相似决不是巧合。）</p><p>顺便说说，unique从一个区间除去元素的方式和remove一样，也就是说它只是区分出不除去的元素。如果你不知道那是什么意思，请立刻转向<a href="item_32.html">条款32</a>和<a href="item_33.html">33</a>。强调理解remove和类似remove的算法（包括unique）行为的重要性永远没有过分的时候。光有基本的理解还不够。如果你不知道它们做了什么，你会陷入困境。</p> <p>这让我必须说说关于有序区间的意思的难懂的条文。因为STL允许你指定用于排序的比较函数，不同的区间可能以不同的方式排序。比如，给定两个int的区间，一个可能以默认方式排序（也就是升序），而另一个使用greater<int>排序，因此是降序。给定Widget的两个区间，一个可能以价格排序而另一个可能以年龄排序。因为有很多不同的方式来排序，所以保证给STL所使用的排序相关信息一致是很重要的。如果你传一个区间给一个也带有比较函数的算法，确保你传递的比较函数行为和你用于排序这个区间的一样。</p> <p>这里有一个你并不想那么做的例子：</p> <pre>vector<int> v; // 建立一个vector，... // 把一些数据放进去sort(v.begin(), v.end(), greater<int>()); // 降序排列... // 使用这个vector // （没有改变它）bool a5Exists = // 在这个vector中搜索5 binary_search(v.begin(), v.end(), 5); // <em>假设它是升序排列！</em></pre> <p>默认情况下，binary_search假设它搜索的区间是以“<”排序（也就是，值是升序），但在本例中，这个vector是<em>降序</em>。当你在值的排列顺序和算法所期望的不同的区间上调用binary_search (或lower_bound等）会导致未定义的结果时，你不该惊奇。</p> <p>要让代码行为正确，你必须告诉binary_search要使用和sort同样的比较函数：</p> <pre>bool a5Exists = // 搜索5 binary_search(v.begin(), v.end(), 5. greater<int>()); // 把greater作为 // 比较函数</pre> <p>所有需要有序区间的算法（也就是除了unique和unique_copy外本条款的所有算法）通过等价来判断两个值是否“相同”，就像标准关联容器（它们本身是有序的）。相反，unique和unique_copy判断两个对象“相同”的默认方式是通过相等，但是你可以通过传给这些算法一个定义了“相同”的意义的判断式来覆盖这个默认情况。等价和相等之间区别的详细讨论，参考<a href="item_19.html">条款19</a>。</p> <p>11个需要有序区间的算法为了比其他可能性提供更好的性能而这么做。只要你记住只传给它们有序区间，只要你保证用于算法的比较函数和用于排序的一致，你就会酷爱没有麻烦的查找、设置和合并操作，加上你会发现unique和unique_copy除去了所有的重复值，正如你要它们完成的一样。</p> </body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -