Rust中使用反向区间范围迭代为何无输出也无报错？

你给出的示例代码如下：

fn main() {
    for number in 4..1 {
        println!("{}!", number);
    }
}

这段代码的行为完全符合Rust的设计逻辑，不存在编译器漏判错误的问题，具体原因如下：

• a..b是Rust内置的左闭右开范围类型Range，它的迭代规则是从a开始逐次递增，迭代所有满足a <= x < b的值。只要a >= b，这个范围就是合法的空迭代器，本身不属于语法或语义错误，编译器不会直接报编译失败。
• 空范围在实际编码中是非常常见的合法场景，比如动态计算遍历上下限时，很容易出现运行时计算出的起点大于等于终点的情况，这种时候循环不执行是符合预期的。编译器不会一刀切把所有空迭代都判定为开发者写错，否则会产生大量误报。
• 你观察到编译后没有对应汇编输出是正常优化结果：对于编译期就能确定是空的迭代逻辑，Rust的优化器会直接把这段永远不会执行的死代码完全消除，最终二进制里不会保留任何相关指令，运行自然不会有输出。
• Rust没有隐式反向迭代的规则，4..1不会被自动识别为“从4往1遍历”。如果要实现反向遍历，你需要显式调用迭代器的rev()方法，注意反向遍历的范围要按从小到大的顺序写，反转后才会得到从大到小的序列，正确写法如下：

fn main() {
    // 输出3! 2! 1!
    for number in (1..4).rev() {
        println!("{}!", number);
    }
}

• 目前Rust默认的编译器lint不会对字面量写成的4..1这类明显反向的范围报警告，这是lint规则的权衡结果：字面量写反范围的场景占比极低，加默认警告带来的误报成本远大于收益。如果需要这类检测，可以启用Clippy的对应lint，它会识别出字面量场景下起点大于终点的范围，提示你可能写反了范围或者漏写了rev()。

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