谓词

谓词是一个可调用的表达式，其返回结果是一个能用作条件的值。标准库算法所使用的谓词分为两类：一元谓词（只接受一个参数）和二元谓词（只接受两个参数）

例子：sort接受谓词作为第三个参数来进行排序

bool isShorter(const string s1,const string s2)
{
    return s1.size()<s2.size();
}
sort(vec.begin(),vec.end(),isShorter);

接受谓词参数的算法对输入序列中的元素调用谓词，注意元素类型必须能够转换为谓词参数类型。