Rust中.step_by()方法为何要求传入usize而非i32？

问题描述 #

我正在尝试实现一个包含嵌套for循环的函数，但在使用.step_by()方法时遇到了问题。我的代码如下：

fn get_prime_factors_below(n: i32) -> HashMap<i32, Vec<i32>> {
    for i in 2..n / 2 + 1 {
        for j in (i * 2..n).step_by(i) {
            //
        }
    }

    return factors;
}

编译时出现如下错误：

for j in (i * 2..n).step_by(i) {
                     ------- ^ expected `usize`, found `i32`
                     |
                     arguments to this function are incorrect

请问为何.step_by()方法期望传入usize类型，而不能使用i32类型？

解答 #

Rust 中Iterator trait定义的.step_by()方法，参数类型固定为usize，核心原因有两点：

• 步长的语义要求：步长代表迭代时跳过的元素数量，这个值必须是非负的。usize是无符号整数类型，天然能保证步长不会为负数，避免出现迭代方向混乱、无限循环等逻辑错误。
• 底层逻辑一致性：Rust 中很多和集合、迭代相关的底层操作（比如元素索引、容器长度计算）都基于usize类型。使用usize作为步长类型，能和这些底层逻辑保持一致，减少不必要的类型转换开销，同时降低类型不匹配导致的错误概率。

针对你的代码，只需将i转换为usize即可解决编译错误（由于i从2开始，值为正，转换是安全的）：

for j in (i * 2..n).step_by(i as usize) {
    // 实现你的业务逻辑
}

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