C++——谓词

谓词是一个可调用的表达式，其返回结果是一个能用作条件的值。标准库算法中的谓词分为两类：一元谓词和二元谓词，一元谓词意味着只接受单一参数，二元谓词意味着接受两个参数。元素类型必须能转换为谓词的参数类型。

接受一个二元谓词参数的sort版本用这个谓词代替<来比较元素。提供给sort的谓词必须在输入序列中所有可能的元素值上定义一个一致的序。

isShorter是一个满足这些要求的函数，可以将isShorter传递给sort。这样做会将元素按大小重新排序：

// 比较函数，用来按长度排序单词
{
    return s1.size() < s2.size();
}
// 按长度由短至长排序words
sort(words.begin(), words.end(), isShorter);

此调用会将words重排，使得所有长度为3的单词排在长度为4的单词之前，然后是长度为5的单词。

排序算法：

在将words按大小重排的时候，还希望具有相同长度的元素按字典序排序。为保持相同长度的单词按字典序排序，可以使用stable_sort算法。这种稳定排序算法维持相等元素的原有顺序。

通常情况下，我们不关心有序列表中相等元素的相对顺序，但在本例中，通过调用stable_sort，可以保持等长元素间的字典序：

elimDups(words);    //将words按字典序重排，并消除重复单词
// 按长度重新排序，长度相同的单词维持字典序
stable_sort(words.begin(), words.end(), isShorter);
for(const auto &s : words)
    cout << s << " "; // 打印每个元素，以空格分隔
cout << endl;