铁锈: BTreeMap equality+inequality范围查询

Question

我想在一个range上调用BTreeMap，其中键是像(a,b)这样的元组。假设我们有：

• (1, 2) => "a"
• (1, 3) => "b"
• (1, 4) => "c"
• (2, 1) => "d"
• (2, 2) => "e"
• (2, 3) => "f"

其特殊性在于，我希望第一个字段具有特定值的所有条目，但在第二个字段上有一个范围，也就是说，我希望所有条目都在a = 1 AND 1 < b <= 4中。在这种情况下，RangeBounds运算符并不太复杂，它将是(Excluded((1, 1)), Included((1, 4)))。如果我有一个无界范围，比如a = 1 AND b > 3，我们将有以下RangeBounds：(Excluded((1, 3)), Included((1, i64::max_value())))。

如果元组内部的类型没有最大值，例如字符串(CStr )，就会出现问题。有办法解决这个问题吗？能够在元组内部使用Unbounded是有用的，但我认为这是不对的。不那么有趣的解决方案是有多个数据结构层(例如，第一个字段的哈希映射，其中键映射到.(A BTreeMap)。有什么想法吗？

Answer 1

如果元组的第一个字段是整数类型，则可以对下一个整数值使用排他性绑定，并与空的CStr配对。(我假设<&CStr>::default()是&CStr总顺序中“最小”的值。)

let range = my_btree_map.range((Excluded((1, some_cstr)), Excluded((2, <&CStr>::default()))));

如果第一个字段的类型很难或不可能获得“下一个更大的值”，那么range和take_while的组合将给出正确的结果，尽管开销较小。

let range = my_btree_map
    .range((Excluded((1, some_cstr)), Unbounded))
    .take_while(|&((i, _), _)| *i == 1);