C++:为什么返回 false 的集合顺序的仿函数只允许将一个元素添加到集合中？

Question

我写了下面的仿函数，希望集合中的所有元素都按照插入的相反顺序添加:

struct cmp {
  bool operator () (int a, int b) {
    return false;
  }
};  

当我如下测试时，添加到集合中的唯一值是 1。

int main() {
  set<int, cmp > combos;

  combos.insert(1);
  combos.insert(4);
  combos.insert(7);
  combos.insert(5);
  combos.insert(9);
  combos.insert(1);

  for (int a : combos) {
    cout << a << endl;
  }
  return 0;
}

但是，当我将仿函数更改为每次都返回 true 时，所有值都会按照插入的顺序添加到集合中 [1, 4, 7, 5, 9, 1] .我认为当仿函数比较器返回 true 时, 就当做第一个元素小于第二个元素，false 表示第一个元素被当做大于第二个元素？我做的时候好像是这样return (a < b);和 return (a > b);在运算符函数中。

Answer 1

比较函数需要对元素定义严格的弱序。也就是说，这三个条件需要对所有元素成立，a , b , c :

1. a < a是false (反身性)
2. a < b正在true暗示 b < a是false (不对称)
3. a < b和 b < c两者 true暗示 a < c也是true (传递性)

使用比较对象时 cmp以上条件需与x < y一起申请替换为 cmp(x, y) .

你的第一个比较函数(总是返回 false )实际上是一个严格的弱顺序，然而，它暗示所有元素都是等价的。无法区分两个元素。特别是，a < b也不b < a产量 true .如果这两个条件都是false这两个对象显然是等价的。结果，集合中只有一个元素。

第二个比较函数(总是返回 true )不是严格的弱顺序，因为它违反了第一个条件(非自反性)。集合中发生的任何事情都是未定义的行为。