我刚刚开始学习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]
,因为它更灵活,而且您一无所获。