c++ - std::map 的比较参数关于严格排序的要求是什么？

Question

我有一个整数类型，它代表一个环形缓冲区索引。 less比较函数是这样定义的:

friend bool operator < (const CircularValue & lhs, const CircularValue &rhs) {
    UInt max = lhs.value + std::numeric_limits<UInt>::max() / 2;
    return (lhs.value < max)
        ? rhs.value > lhs.value && rhs.value < max
        : rhs.value > lhs.value || rhs.value < max;
}

如果 rhs 发生在 lhs 以上可用间隔的一半内，则认为 Lhs 低于 rhs。我想在 map 中使用它作为键，但不确定它是否会导致问题。它具有非自反性和不对称性，但不具有传递性。

Answer 1

这会引起问题。如cppreference所述，比较器必须满足以下要求:

• cmp(a,a) 产生 false
• 如果 cmp(a,b) 为 true，则 cmp(b,a) 为 false
• 如果 cmp(a,b)==true 和 cmp(b,c)==true 然后 cmp(a,c) 也必须是 true(这不会被你的比较器满足)
• 如果 a 和 b 比较相等，则 cmp(a,b) 和 cmp(b,a ) 产生 false