什么时候STL集合的两个元素被认为是相同的?

不是完全相同,而是第一个答案 here 回答你的问题

标准库中的关联容器是根据 键的等价性 本质上

并非全部 set 和 map 实例使用 less ,但可能会使用通用比较运算符。有必要根据这一比较函数定义等价性,而不是尝试引入单独的相等概念。

一般来说,两个键( k1 和 k2 comp 当且仅当:

comp( k1, k2 ) == false && comp( k2, k1 ) == false

在容器中使用 std::less 对于没有特定std::less专门化的类型,这意味着:

!(k1 < k2) && !(k2 < k1)

你的错误是假设“比较可以是任意复杂的布尔函子”。不可能。

std::set 需要偏序,以便 a<b 暗示 !(b<a) . 这排除了大多数二元布尔函子。因此,我们可以讨论a和b在该顺序中的相对位置。如果 a<B ,a在b之前。如果 b<a ,b在a之前。如果两者都没有 也没有 ,则a和b在排序中占据相同的位置,因此是等效的。