为什么 STL Set 会覆盖具有相同值的对

Question

我可以使用this 答案按值降序对无序映射进行排序。

但是，对同一作业使用集合失败：

#include <set>  
#include <functional>    
#include <iostream>

using namespace std;

typedef pair<string, int> Pair;
typedef function<bool(Pair, Pair)> Comparator;

Comparator DescendingSortComparator = [](Pair pair1, Pair pair2) {
    return pair1.second > pair2.second;
};

void SortHashTableByValueDescending(unordered_map<string, int> hashTable) {
    set<Pair, Comparator> orderedSet(hashTable.begin(), hashTable.end(), DescendingSortComparator);

    for (auto element : orderedSet)
        cout << element.first << ": " << element.second << endl;
}

运行以下测试：

void Test_SortMap()
{
    unordered_map<string, int> CountTable;
    CountTable["word"] = 1;
    CountTable["spark"] = 15;
    CountTable["the"] = 2;
    CountTable["mail"] = 3;
    CountTable["info"] = 3;
    CountTable["sandwich"] = 15;

    SortHashTableByValueDescending(CountTable);
}

产生以下输出：

spark: 15
info: 3
the: 2
word: 1

谁能告诉我为什么 set （可能）会覆盖具有相同值的对？无论如何，这些对的键是不同的。

Answer 1

见CompareCompare的definition函数std::set。

在标准库使用比较概念的任何地方，唯一性都是通过使用等价关系来确定的。用不精确的术语来说，如果两个对象 a 和 b 的比较都不小于另一个，则认为这两个对象是等价的：!comp(a, b) && !comp(b, a)。

这意味着相同的数字将被视为equivalent，而不是复制到您的orderedSet中

使用

Comparator DescendingSortComparator = [](Pair pair1, Pair pair2) {
    if (pair1.second == pair2.second)
      return pair1.first > pair2.first;
    else return pair1.second > pair2.second;
};

如果你想保留它们

Answer 2

来自cppreference.com：

std::set 是一个关联容器，它包含一个排序的集合 唯一 Key 类型的对象。

根据您的Comparator，只有一个single std::pair 具有固定的第二个元素可以存储在集合中。