如何在includes（）算法中使用greater_equal謂詞？

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應該滿足於b是在a的所有元素，但事實並非如此。我對它的用法有點困惑。請幫忙。

Answer 1

像所有排序序列的算法一樣，這需要比較器與用於排序序列的算法相同;和greater_equal不適用於此，因爲它沒有給出嚴格的排序。

includes不檢查比較器對於每對輸入是否爲真;它根據比較器定義的順序檢查兩個值是否相等。也就是說，它檢查!comp(a,b) && !comp(b,a)。對於像greater_equal這樣的非嚴格比較器，這絕不會是真的。