为何Rust中Iterator::all对空迭代器返回true？

先来看你提供的代码和运行结果：

fn main() { 
    { 
        let a: Vec<i32> = vec![1, 2, 3, 4]; 
        print!("{}\n", a.into_iter().all(|x| x > 1)); 
    } 
    { 
        let a: Vec<i32> = vec![]; 
        print!("{}\n", a.into_iter().all(|x| x > 1)); 
    } 
}

运行输出：

false
true

没错，空迭代器调用all返回true确实有点反直觉，但这是经过设计的，背后有逻辑和实用性的双重考量：

• 遵循逻辑学的“空真”原则：在数理逻辑里，全称命题（比如“所有元素都满足条件P”）当对应的元素集合为空时，命题是成立的——因为不存在任何元素违反P，所以这个陈述是真的。举个生活化的例子：“我抽屉里所有的苹果都是红的”，如果抽屉里根本没有苹果，那这句话在逻辑上是成立的，毕竟没有反例能推翻它。Iterator::all的设计就是对齐了这个逻辑规则。
• 减少边界情况的代码冗余：在很多业务场景中，空集合默认是符合“所有元素都满足条件”这个要求的。比如你要检查用户提交的所有订单是否都已支付，当用户没有订单时，你可以认为这个条件是满足的。如果all在空迭代器时返回false，那你每次都得额外判断集合是否为空，增加不必要的分支逻辑。
• 与其他迭代器方法逻辑自洽：和all对应的Iterator::any方法，空迭代器会返回false——因为any是判断“是否存在至少一个元素满足条件”，空集合里没有元素能满足，所以返回false。这两个方法的设计是互补的，共同维持了迭代器方法的逻辑一致性。

如果你确实需要在空迭代器时返回false，也很容易实现，只需要结合is_empty()做个前置判断：

let meets_condition = !a.is_empty() && a.into_iter().all(|x| x > 1);

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