C ++ set_intersection比较函数

Question

使用<algorithm>的函数时，通常会有一个额外的参数来自定义比较。 但是我对有关参数的描述（ set_intersection的文档 ）不太了解。

二进制函数，它接受输入迭代器指向的两个类型的参数，并返回可转换为bool的值。 返回的值指示是否按照它定义的特定严格弱顺序将第一个参数认为在第二个参数之前。 该函数不得修改其任何参数。 这可以是一个函数指针或一个函数对象。

它描述了该函数应返回两个参数的顺序。 但是在匹配函数中，例如：

#include <algorithm>
#include <iostream>

using namespace std;

void print (const char* name, int* start, int* end) {
    cout << name << ": ";
    while (start < end) 
        cout << *start++ << ", ";
    cout << endl;
}

bool func1 (int a, int b) { return a==b; }
bool func2 (int a, int b) { return a+b == 8; }

int main() {
  int set1[6] = {0, 1, 2, 4, 2, 4};
  int set2[6] = {1, 2, 3, 4, 5, 6};

  int set_without_comp[6];
  int* end_wo = set_intersection(set1, set1+6, set2, set2+6, set_without_comp);
  print ("set_without_comp", set_without_comp, end_wo);

  int set_with_comp1[6];
  int *end_w1 = set_intersection(set1, set1+6, set2, set2+6, set_with_comp1, func1);
  print ("set_with_comp1", set_with_comp1, end_w1);

  int set_with_comp2[6];
  int *end_w2 = set_intersection(set1, set1+6, set2, set2+6, set_with_comp2, func2);
  print ("set_with_comp2", set_with_comp2, end_w2);
}

我们得到输出：

set_without_comp: 1, 2, 4, 
set_with_comp1: 0, 1, 2, 2, 4, // Expect 1, 2, 4, 
set_with_comp2: 0, 1, 2, 2, 4, // Expect 2, 4, (maybe 6)

如何解释结果，使用<algorithm>函数编写比较函数的正确方法是什么，如何编写可以给我预期结果的比较函数？

Answer 1

std::set_intersection需要一个函数，该函数将两个元素存储在集合中的方式相同。 这不是描述哪些元素相同的功能，因为该功能在内部起作用。

因此，在您的示例中， set1不是适当的集合，因为它的顺序不正确（例如，升序）。 如果顺序正确，则可以在std::set_intersection使用相同的顺序功能。 例如：

int set1[6] = {0, 1, 2, 2, 2, 4}; // in order (<)

bool func1 (int a, int b) { return a < b; } // the only valid function

当处理没有隐式顺序的复杂对象时，能够明确说明要使用的顺序函数的功能非常有用。 例如：

struct Person {
  std::string name;
  int age;
};

bool ascendingAge(const Person& guy1, const Person& guy2) {
  return guy1.age < guy2.age;
}

...

std::intersection(..., ..., ascendingAge);

Answer 2

bool func1 (int a, int b) { return a==b; } bool func1 (int a, int b) { return a==b; } ，也不是bool func2 (int a, int b) { return a+b == 8; } bool func2 (int a, int b) { return a+b == 8; }回答是否a必须去之前b 。 通过比较器等函数后获得的结果无法“解释”：它们是与实现有关的废话，因为错误地使用了STL-它期望一个函数说明a是否必须在b之前，但是得到执行其他操作的函数。 有效比较器的一些示例是：

bool func1 (int a, int b) { return a<b; }
bool func2 (int a, int b) { return a>b; }

Answer 3

比较功能提供了排序顺序。 默认值为std :: less，这是如何编写此类函数的方法 。 如果要保留整数的升序排序，只需保留默认值且不指定任何比较函数即可。