謂詞是一個可調(diào)用的表達(dá)式，其返回結(jié)果是一個能用作條件的值。標(biāo)準(zhǔn)庫算法所使用的謂詞分為兩類：一元謂詞（unary predicate，只接受單一參數(shù)）和二元謂詞（binary predicate，接受兩個參數(shù)）。接受謂詞參數(shù)的算法對輸入序列中的元素調(diào)用謂詞。因此，元素類型必須能轉(zhuǎn)換為謂詞的參數(shù)類型。

接受一個二元謂詞參數(shù)的sort版本用這個謂詞代替<來比較元素。我們提供給sort的謂詞必須滿足以下條件：

1. 所提供的操作必須在關(guān)鍵字類型上定義一個嚴(yán)格弱序（strict weak ordering），可以將嚴(yán)格弱序看作"小于等于，雖然實(shí)際上定義的操作可能是一個復(fù)雜的函數(shù)。
2. 兩個關(guān)鍵字不能同時"小于等于"對方；如果k1"小于等于"k2，那么k2絕不能"小于等于"k1。
3. 如果k1"小于等于"k2，且k2"小于等于"k3，那么k1必須"小于等于"k3。
4. 如果存在兩個關(guān)鍵字，任何一個都不"小于等于"另一個，那么我們稱這兩個關(guān)鍵字是"等價"的。如果k1"等價于"k2，且k2"等價于"k3，那么k1必須"等價于"k3。

下面定義的isShorter就是一個滿足這些要求的函數(shù)，因此可以將isShorter傳遞給short。這樣做會將元素按大小重新排序。

//比較函數(shù)，用來按長度排序單詞
bool isShorter(const string &s1, const string &s2)
{
    return s1.size() < s2.size();
}
//按長度由短至長排序words
sort(words.begin(), words.end(), isShorter);