我刚刚开始学习Rust。在使用这种语言的第一步中,当在main或其他函数中执行迭代时,我发现了一个奇怪的行为,如以下示例所示:

fn myfunc(x: &Vec<f64>) {
    let n = x.len();
    println!("    n: {:?}", n);
    for i in -1 .. n {
        println!("    i: {}", i);
    }
}

fn main() {
    for j in -1 .. 6 {
        println!("j: {}", j);
    }

    let field = vec![1.; 6];
    myfunc(&field);
}

虽然正确显示了main中的循环,但没有为myfunc中的循环打印任何内容,我得到以下输出:
j: -1
j: 0
j: 1
j: 2
j: 3
j: 4
j: 5
    n: 6

这种行为的原因是什么?

最佳答案

类型推断导致您范围内的两个数字均为usize,不能表示负数。因此,范围是从 usize::MAX n,从没有任何成员。

为了找出答案,我使用了一个技巧来打印出事物的类型:

let () = -1 .. x.len();

哪个有这个错误:
error: mismatched types:
 expected `core::ops::Range<usize>`,
    found `()`
(expected struct `core::ops::Range`,
    found ()) [E0308]
let () = -1 .. x.len();
    ^~

深入细节, slice::len 返回usize。您的-1是一个无类型的整数值,它将符合其所需的任何上下文(如果没有任何符合条件,它将退回到i32)。

在这种情况下,就好像您实际上键入了(-1 as usize)..x.len()一样。

好消息是您可能始终不想以-1开始。切片是零索引的:
fn myfunc(x: &[f64]) {
    let n = x.len();
    println!("    n: {:?}", n);
    for i in 0..n {
        println!("    i: {}", i);
    }
}

额外的好消息是,此烦恼是fixed in the newest versions of Rust。它将导致警告,然后最终导致错误:
warning: unary negation of unsigned integers will be feature gated in the future
     for i in -1 .. n {
              ^~

还要注意,您永远不要接受&Vec<T>作为参数。始终使用&[T],因为它更灵活,而且您一无所获。

09-25 19:03