C++ 谓词(predicate) 详解

转自：https://blog.csdn.net/caroline_wendy/article/details/15378055

1.函数(function)谓词
通过传递函数名, 匹配二元谓词(binary predicates), 根据函数提供的策略, 输出值;

/*Function Predicate*/
bool isLarger (const std::string &s1, const std::string &s2) {
    return s1.size() > s2.size();
}
......
std::stable_sort(sv.begin(), sv.end(), isLarger);

2.函数指针(function pointer)谓词
建立一个函数指针, 传入算法, 使用指针代替函数名, 用法类似函数谓词.

bool (*pf) (const std::string &s1, const std::string &s2);
pf = &isLarger;
std::stable_sort(sv.begin(), sv.end(), *pf);

3.Lambda表达式(lambda expression)谓词
Lambda表达式格式: [capture list] (parameter list) -> return type { function body }
需要匹配谓词数, 一元(unary) 或 二元(binary), 也可以通过[capture list]传递函数的变量;

std::stable_sort(sv.begin(), sv.end(),
    [](const std::string& s1, const std::string& s2){ return s1.size()>s2.size(); });

4.函数对象(Function Object)谓词
类中重载函数的调用"()", 使类可以被调用, 并且传入算法谓词中, 进行使用.

/*Function Object*/
class LargerString {
public:
    bool operator() (const std::string& a, const std::string& b) {
        return a.size() > b.size();
    }
};
......
std::stable_sort(sv.begin(), sv.end(), LargerString());

5.库定义的函数对象(Library-Defined Function Object)谓词
使用标准库定义的函数对象, 充当算法中的谓词, 包含在#include ,包含基本的算法和逻辑操作.

std::stable_sort(sv.begin(), sv.end(), std::less());

所有代码：

#include 
#include 
#include 
#include 
#include 
 
using namespace std;
 
class PrintString {
public:
    PrintString (std::ostream &o = std::cout, char c = ' ') : os(o), sep(c) { }
    void operator() (const std::string &s) const { os << s << sep; }
private:
    std::ostream &os;
    char sep;
};
 
/*Function Predicate*/
bool isLarger (const std::string &s1, const std::string &s2) {
    return s1.size() > s2.size();
}
 
/*Function Object*/
class LargerString {
public:
    bool operator() (const std::string& a, const std::string& b) {
        return a.size() > b.size();
    }
};
 
int main (void) {
 
    std::vector sv = {"Beauty", "Girl", "Lady", "Women", "Pretty"};
 
    std::stable_sort(sv.begin(), sv.end(), isLarger);
    std::cout << "Function Predicate : ";
    std::for_each(sv.begin(), sv.end(), PrintString(std::cout));
    std::cout << std::endl;
 
    std::stable_sort(sv.begin(), sv.end(),
            [](const std::string& s1, const std::string& s2){ return s1.size()>s2.size(); });
    std::cout << "Lambda Expression Predicate : ";
    std::for_each(sv.begin(), sv.end(), PrintString(std::cout));
    std::cout << std::endl;
 
    bool (*pf) (const std::string &s1, const std::string &s2);
    pf = &isLarger;
    std::stable_sort(sv.begin(), sv.end(), *pf);
    std::cout << "Function Pointer Predicate : ";
    std::for_each(sv.begin(), sv.end(), PrintString(std::cout));
    std::cout << std::endl;
 
    std::stable_sort(sv.begin(), sv.end(), LargerString());
    std::cout << "Function Object Predicate : ";
    std::for_each(sv.begin(), sv.end(), PrintString(std::cout));
    std::cout << std::endl;
 
 
    std::stable_sort(sv.begin(), sv.end(), std::larger());
    std::cout << "Library-Defined Function Object Predicate : ";
    std::for_each(sv.begin(), sv.end(), PrintString(std::cout));
    std::cout << std::endl;
 
    return 0;
 
}

输出：

Function Predicate : Beauty Pretty Women Girl Lady
Lambda Expression Predicate : Beauty Pretty Women Girl Lady
Function Pointer Predicate : Beauty Pretty Women Girl Lady
Function Object Predicate : Beauty Pretty Women Girl Lady
Library-Defined Function Object Predicate : Women Pretty Lady Girl Beauty