循环

  • for
  • while
  • loop
  • break 与 continue
  • label

for

for 语句用于遍历一个迭代器。

for var in iterator {
    code
}

Rust 迭代器返回一系列的元素,每个元素是循环中的一次重复。然后它的值与 var 绑定,它在循环体中有效。每当循环体执行完后,我们从迭代器中取出下一个值,然后我们再重复一遍。当迭代器中不再有值时,for 循环结束。

比如:

for x in 0..10 {
    println!("{}", x); // x: i32
}

输出

0
1
2
3
4
5
6
7
8
9

不熟悉迭代器概念的同学可能傻眼了,下面不妨用 C 形式的 for 语句做下对比:

// C 语言的 for 循环例子
for (x = 0; x < 10; x++) {
    printf( "%d\n", x );
}

两者输出是相同的,那么,为何 Rust 要这样来设计 for 语句呢?

  1. 简化边界条件的确定,减少出错;
  2. 减少运行时边界检查,提高性能。

即使对于有经验的 C 语言开发者来说,要手动控制要循环的每个元素也都是复杂并且易于出错的。

for 语句就是迭代器遍历的语法糖。

上述迭代器的形式虽好,但是好像在循环过程中,少了索引信息。Rust 考虑到了这一点,当你需要记录你已经循环了多少次了的时候,你可以使用 .enumerate() 函数。比如:

for (i,j) in (5..10).enumerate() {
    println!("i = {} and j = {}", i, j);
}

输出:

i = 0 and j = 5
i = 1 and j = 6
i = 2 and j = 7
i = 3 and j = 8
i = 4 and j = 9

再比如:

let lines = "Content of line one
Content of line two
Content of line three
Content of line four".lines();
for (linenumber, line) in lines.enumerate() {
    println!("{}: {}", linenumber, line);
}

输出:

0: Content of line one
1: Content of line two
2: Content of line three
3: Content of line four

关于迭代器的知识,详见 迭代器 章节。

while

Rust 提供了 while 语句,条件表达式为真时,执行语句体。当你不确定应该循环多少次时可选择 while。

while expression {
    code
}

比如:

let mut x = 5; // mut x: i32
let mut done = false; // mut done: bool

while !done {
    x += x - 3;

    println!("{}", x);

    if x % 5 == 0 {
        done = true;
    }
}

loop

有一种情况,我们经常会遇到,就是写一个无限循环:

while true {
    // do something
}

针对这种情况,Rust 专门优化提供了一个语句 loop。

loop {
    // do something
}

loopwhile true 的主要区别在编译阶段的静态分析。

比如说,如下代码:

let mut a;
loop {
     a = 1;
     // ... break ...
}
do_something(a)

如果是loop循环,编译器会正确分析出变量a会被正确初始化,而如果换成while true,则会发生编译错误。这个微小的区别也会影响生命周期分析。

break 和 continue

与 C 语言类似,Rust 也提供了 break 和 continue 两个关键字用来控制循环的流程。

  • break 用来跳出当前层的循环;
  • continue 用来执行当前层的下一次迭代。

像上面那个 while 例子:

let mut x = 5;
let mut done = false;

while !done {
    x += x - 3;

    println!("{}", x);

    if x % 5 == 0 {
        done = true;
    }
}

可以优化成:

let mut x = 5;

loop {
    x += x - 3;

    println!("{}", x);

    if x % 5 == 0 { break; }
}

这样感觉更直观一点。

下面这个例子演示 continue 的用法:

for x in 0..10 {
    if x % 2 == 0 { continue; }

    println!("{}", x);
}

它的作用是打印出 0~9 的奇数。结果如下:

1
3
5
7
9

label

你也许会遇到这样的情形,当你有嵌套的循环而希望指定你的哪一个 break 或 continue 该起作用。就像大多数语言,默认 break 或 continue 将会作用于当前层的循环。当你想要一个 break 或 continue 作用于一个外层循环,你可以使用标签来指定你的 break 或 continue 语句作用的循环。

如下代码只会在 x 和 y 都为奇数时打印他们:

'outer: for x in 0..10 {
    'inner: for y in 0..10 {
        if x % 2 == 0 { continue 'outer; } // continues the loop over x
        if y % 2 == 0 { continue 'inner; } // continues the loop over y
        println!("x: {}, y: {}", x, y);
    }
}