RangeInclusive::all()导致区间包含判断结果异常，求技术解析

我编写了一段Rust代码，用于判断RangeInclusive<u32>类型的range_a是否包含range_b，或者range_b是否包含range_a。但该代码在部分场景下返回错误结果（或无法返回），我不确定其运行机制，怀疑问题出在RangeInclusive::all()上，但编译器并未在RangeInclusive::contains()处给出警告。相关代码如下：

fn contains_range(mut range_a: RangeInclusive<u32>, mut range_b: RangeInclusive<u32>) -> bool {
    range_b.all(|i| range_a.contains(&i)) || range_a.all(|i| range_b.contains(&i))
}

fn main() {
     dbg!(contains_range(15..=16, 15..=73));
}

核心问题：错误使用迭代遍历判断范围包含 #

你的代码逻辑存在两个致命问题：

1. 效率极低甚至无限循环：
   RangeInclusive::all()会遍历范围中的每一个元素并执行闭包判断。当范围覆盖大量值（比如u32::MIN..=u32::MAX）时，这个遍历会永远无法结束，程序陷入死循环；即使是中等范围，遍历所有元素也是完全不必要的性能浪费。

2. 逻辑冗余：
   虽然RangeInclusive::contains()并不依赖迭代器状态（它直接通过比较目标值与范围的上下界实现判断），但用all()遍历所有元素来验证“所有元素都被包含”是完全冗余的——判断两个RangeInclusive的包含关系只需要比较边界即可：

   • range_a 包含 range_b 的条件：range_a.start() <= range_b.start() 且 range_a.end() >= range_b.end()
   • range_b 包含 range_a 的条件：range_b.start() <= range_a.start() 且 range_b.end() >= range_a.end()

修复后的代码 #

你完全不需要遍历元素，直接通过边界比较就能高效且正确地实现需求：

fn contains_range(range_a: &RangeInclusive<u32>, range_b: &RangeInclusive<u32>) -> bool {
    // 判断 range_a 包含 range_b，或者 range_b 包含 range_a
    (range_a.start() <= range_b.start() && range_a.end() >= range_b.end()) ||
    (range_b.start() <= range_a.start() && range_b.end() >= range_a.end())
}

fn main() {
     dbg!(contains_range(&(15..=16), &(15..=73))); // 输出 true，符合预期
}

为什么原代码在测试用例中看似正常？ #

在你的测试用例contains_range(15..=16, 15..=73)中，第一个条件range_b.all(|i| range_a.contains(&i))会遍历15到73的元素，当遍历到17时，range_a.contains(&17)返回false，因此第一个条件整体为false；随后执行第二个条件range_a.all(|i| range_b.contains(&i))，遍历15和16，两者都在range_b中，因此返回true，最终整体结果正确。但这种正确性是巧合，当范围扩大到全u32范围时，代码会直接卡死。

内容的提问来源于stack exchange，提问作者cat916