c++ - 如何在包含（）算法中使用更大的等于谓词？

Question

我试图greater_equal predicate与includes() algorithm. 我写了以下代码：

#include <iostream>
#include <algorithm>
#include <functional>

int main()
{
    int a[] = {1, 2, 3, 4, 5, 6, 7, 8, 10, 9, 10};
    int b[] = {4, 3, 5, 1, 2, 6, 8, 9, 7, 10, 11};
    unsigned int alen = sizeof(a) / sizeof(int), blen = sizeof(b) / sizeof(int);
    std::sort(a, a + alen);
    std::sort(b, b + blen);

    if(std::includes(a, a + alen, b, b + blen, std::greater_equal<int>()))
        std::cout << "a contains b" << std::endl;
}

我期待这会输出a contains b，因为谓词greater_equal predicate应该满足 inb中的所有元素a，但事实并非如此。我对它的用法有点困惑。请帮忙。

Answer 1

与排序序列的所有算法一样，这要求比较器与用于排序序列的比较器相同；并且greater_equal对此无效，因为它没有给出严格的顺序。

includes不检查每对输入的比较器是否为真；它根据比较器定义的顺序检查两个值是否相等。也就是说，它检查!comp(a,b) && !comp(b,a). 对于像greater_equal.