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; 
} 

나는이 술어 greater_equal predicate 이후 출력 a contains b이 a에 b의 모든 요소를 ​​만족해야한다 것이라고 예상하고 있었다, 그러나 그렇지 않습니다. 나는 그 사용법에 대해 약간 혼란 스럽다. 도와주세요.

Answer 1

정렬 된 시퀀스의 모든 알고리즘과 마찬가지로 비교기는 시퀀스를 정렬하는 데 사용되는 것과 동일해야합니다. greater_equal은 엄격한 순서 지정을 제공하지 않으므로 유효하지 않습니다.

includes은 각 쌍의 입력에 대해 비교기가 true인지 확인하지 않습니다. 비교 자에 의해 정의 된 순서에 따라 두 값이 같은지 여부를 확인합니다. 즉, !comp(a,b) && !comp(b,a)을 확인합니다. greater_equal과 같은 엄격하지 않은 비교기의 경우에는 절대로 적용되지 않습니다.