控制流

Control Flow

根据某个条件是否为 true 来运行某些代码,以及在某个条件为 true 时重复运行某些代码的能力,是大多数编程语言的基本构件。让咱们控制 Rust 代码执行流程的最常用结构,是 if 表达式及循环。

if 表达式

if Expressions

if 表达式允许咱们,根据条件分支代码。咱们提供某个条件,然后声明:“如果此条件满足,则运行这个代码块。如果该条件不满足,则不运行此代码块"。

请在咱们 projects 目录下,创建一个名为 branches 的新项目,来探索这个 if 表达式。在其中的 src/main.rs 文件中,输入以下内容:

文件名:src/main.rs

fn main() {
    let number = 3;

    if number < 5 {
        println! ("条件为真");
    } else {
        println! ("条件为假");
    }
}

所有 if 表达式,都以关键字 if 开头,后跟某个条件。在本例中,那个条件检查了变量 number 是否有着小于 5 的值。我们将在该条件为真时,要执行的代码块,放在紧接着该条件之后,于一对花括号内。与 if 表达式中这个条件相关的代码块,有时被称为 支臂,arms,就像我们在第 2 章 “将猜数与秘密数字进行比较” 小节中,曾讨论过的 match 表达式中的支臂一样。

此外,我们还可以保护一个 else 表达式,我们在这里就选择了这样做,以便在那个条件计算为 false 时,为程序提供另一个要执行的代码块。如果我们不提供一个 else 表达式,而那个条件为 false 时,程序就将跳过这个 if 代码块,继续执行下一段代码。

请尝试运行这段代码;咱们应看到以下输出:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
    Finished dev [unoptimized + debuginfo] target(s) in 0.86s
     Running `target\debug\branches.exe`
条件为真

我们来试着将 number 的值,更改为使这个条件为 false 的值,看看会发生什么:

#![allow(unused)]
fn main() {
    let number = 7;
}

再次运行这个程序,并查看输出:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
    Finished dev [unoptimized + debuginfo] target(s) in 0.76s
     Running `target\debug\branches.exe`
条件为假

还值得注意的是,这段代码中的那个条件,必须 要是个 bool。如果该条件不是个 bool,我们就将得到一个报错。例如,请尝试运行以下代码:

文件名:src/main.rs

fn main() {
    let number = 3;

    if number {
        println! ("数字是 3");
    }
}

这次那个 if 的条件,计算为一个 3 的值,Rust 就会抛出一个错误:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
error[E0308]: mismatched types
 --> src\main.rs:4:8
  |
4 |     if number {
  |        ^^^^^^ expected `bool`, found integer

For more information about this error, try `rustc --explain E0308`.
error: could not compile `branches` (bin "branches") due to previous error

该错误表明,Rust 期望得到一个 bool,但得到的却是个整数。与 Ruby 和 JavaScript 等语言不同,Rust 不会自动尝试将非布尔类型,转换为布尔类型。咱们必须显式的,并始终提供一个布尔值给 if 作为其条件。例如,如果我们希望 if 的代码块,仅在某个数字不等于 0 时运行,我们可以将这个 if 表达式,改为下面这样:

文件名:src/main.rs

fn main() {
    let number = 3;

    if number != 0 {
        println! ("数字为非零数");
    }
}

运行此代码,就会打印出 数字为非零数

使用 else if 处理多重条件

Handling Multiple Conditions with else if

通过在 else if 表达式中,组合 ifelse,咱们可以使用多重条件。例如:

文件名:src/main.rs

fn main() {
    let number = 6;

    if number % 4 == 0 {
        println! ("数字可被 4 整除");
    } else if number % 3 == 0 {
        println! ("数字可被 3 整除");
    } else if number % 2 == 0 {
        println! ("数字可被 2 整除");
    } else {
        println! ("数字不可被 4、3 或 2 整除");
    }
}

该程序有四条其可采取的可能路径。运行该程序后,咱们将看到以下的输出:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
    Finished dev [unoptimized + debuginfo] target(s) in 0.69s
     Running `target\debug\branches.exe`
数字可被 3 整除

当该程序执行时,他会依次检查每个 if 表达式,并执行条件求值为 true 的第一个主体。请注意,虽然 6 能被 2 整除,但我们并没有看到输出 数字可被 2 整除,也没有看到 else 代码块中的 数字不可被 4、3 或 2 整除 的文本。这是因为 Rust 只会执行第一个 true 的条件的代码块,且他一旦找到一个,就不会再检查其余条件。

使用过多 else if 表达式,会使咱们的代码变得杂乱无章,因此如果咱们有着超过了一个的 else if 表达式,咱们可能就需要重构咱们的代码了。第 6 章介绍了一种名为 match 的,用于这类情形的强大的 Rust 分支结构。

let 语句中使用 if

Using if in a let Statement

因为 if 是个表达式,所以我们可以在 let 语句的右侧使用他,将结果赋值给某个变量,如下清单 3-2 所示。

文件名:src/main.rs

fn main() {
    let condition = true;
    let number = if condition { 5 } else { 6 };

    println! ("number 的值为:{number}");
}

清单 3-2:将一个 if 表达式的结果赋值被某个变量

其中的 number 变量,将根据那个 if 表达式的结果,被绑定到某个值。请运行这段代码,看看会发生什么:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
    Finished dev [unoptimized + debuginfo] target(s) in 1.02s
     Running `target\debug\branches.exe`
number 的值为:5

请记住,代码块会求值为其中的最后一个表达式,而数字本身也是表达式。在这种情况下,整个的 if 表达式的值,取决于哪个代码块会执行。这意味着有可能成为 if 的各个支臂结果的值,必定会是同一类型;在清单 3-2 中,if 支臂和 else 支臂的结果,就都是 i32 整数。而如同下面的示例中,在类型不匹配时,我们将得到一个报错:

文件名:src/main.rs

fn main() {
    let condition = true;
    let number = if condition { 5 } else { "six" };

    println! ("number 的值为:{number}");
}

当我们尝试编译这段代码时,我们将得到一个报错。ifelse 支臂,有着不兼容的值类型,而 Rust 则准确地指出了,在程序中何处找到的这个问题:

$ cargo run
   Compiling branches v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\branches)
error[E0308]: `if` and `else` have incompatible types
 --> src\main.rs:3:44
  |
3 |     let number = if condition { 5 } else { "six" };
  |                                 -          ^^^^^ expected integer, found `&str`
  |                                 |
  |                                 expected because of this

For more information about this error, try `rustc --explain E0308`.
error: could not compile `branches` (bin "branches") due to previous error

那个 if 代码块中的表达式,会求值为一个整数,而那个 else 代码块中的表达式,则会求值为一个字符串。这行不通,因为变量必定有着单个的类型,而 Rust 需要在编译时,明确知道 number 这个变量为何种类型。知道了 number 的类型,编译器就能在咱们使用 number 的任何地方,验证其类型是否有效。如果 number 的类型只有在运行时才确定,那么 Rust 就无法做到这一点;如果编译器必须跟踪任何变量的多种假设类型,那么编译器就会变得更加复杂,对代码的保证也会减少。

使用循环的重复

Repetition with Loops

多次执行某个代码块,通常很有用。为此,Rust 提供了数种 循环,loops,他们会将循环体内的代码,执行到底,然后立即从头开始。为实验循环,咱们来创建一个名为 loops 的新项目。

Rust 有着三种循环:loopwhilefor。咱们来一一尝试。

使用 loop 关键字重复代码

Repeating Code with loop

loop 这个关键字,告诉 Rust 一直一遍又一遍地执行某个代码块,直到咱们明确告诉他停止为止。

作为一个示例,请将咱们 loops 目录中的 src/main.rs 文件,修改为下面这样:

文件名:src/main.rs

fn main() {
    loop {
        println! ("again!");
    }
}

当我们运行这个程序时,我们会看到 again! 不断重复打印出来,直到我们手动停止这个程序为止。大多数终端,都支持用于中断某个陷入连续循环程序的键盘快捷键 ctrl-c。来试试看吧:

$ cargo run
   Compiling loops v0.1.0 (file:///projects/loops)
    Finished dev [unoptimized + debuginfo] target(s) in 0.29s
     Running `target/debug/loops`
again!
again!
again!
again!
again!
^C

其中的符号 ^C,表示咱们按下 ctrl-c 的位置。在 ^C 之后可能会打印出 again! 字样,也可能不会,这取决于代码收到中断信号时,在循环中的位置。

译注:在 Windows 平台上运行 MSYS2 的环境下,按下 ctrl-c 的输出如下所示:

again!
again!
again!
again!
again!
again!
error: process didn't exit successfully: `target\debug\loops.exe` (exit code: 0xc000013a, STATUS_CONTROL_C_EXIT)

幸运的是,Rust 还提供了一种使用代码跳出循环的方法。咱们可以在循环中,加入 break 关键字,告诉程序何时停止执行该循环。回想一下,我们在第 2 章 猜对后退出 小节的猜数游戏中,就是这样做的,当用户猜对数字赢得游戏时,退出那个程序。

在那个猜数游戏中,我们还使用了 continue,在某个循环中,这会告诉程序,跳过该循环的本次迭代中的任何剩余代码,而前往下一迭代。

自循环返回值

Returning Values from Loops

loop 的用途之一,是重试咱们已知可能会失败的某项操作,例如检查某个线程是否已完成其作业。咱们可能还需要将该操作的结果,从循环中传递给咱们代码的其余部分。为此,咱们可以将这个咱们打算返回的值,添加在咱们用于停止循环的 break 表达式之后;该值将从循环中返回,以便咱们使用,如下所示:

fn main() {
    let mut counter = 0;

    let result = loop {
        counter += 1;

        if counter == 10 {
            break counter * 2;
        }
    };

    println! ("结果为:{result}");
}

在该循环之前,我们声明了一个名为 counter 的变量,并将其初始化为 0。 然后咱们声明了一个名为 result 的变量,用于保存自该循环返回的值。在循环的每一次迭代中,我们都会给那个 counter 变量加 1,然后检查这个 counter 是否等于 10。当他等于 10 时,我们使用了带有 counter * 2 值的 break 关键字。在这个循环结束后,我们使用了一个分号,结束那条把该值赋给 result 的语句。最后,我们打印了 result 中的值,本例中即为 20

用于在多个循环之间消除歧义的循环标签

Loop Labels to Disambiguate Between Multiple Loops

如果咱们有着循环内的循环,breakcontinue 就会应用于那个地方最内层的循环。咱们可以选择在某个循环上,指定出一个随后可与 breakcontinue 一起使用的 循环标签,loop label,来指定这些关键字适用于某个带标签的循环,而不是最内层的那个循环。循环标签必须以单引号开头。下面是个带有两个嵌套循环的示例:

fn main() {
    let mut count = 0;

    'counting_up: loop {
        println! ("计数 = {}", count);
        let mut remaining = 10;

        loop {
            println! ("剩余 = {}", remaining);
            if remaining == 9 {
                break;
            }
            if count == 2 {
                break 'counting_up;
            }
            remaining -= 1;
        }

        count += 1;
    }

    println! ("最终计数 = {}", count);
}

其中的外层循环有着标签 'counting_up,同时他将从 0 计数到 2。而其中的内层循环不带标签,会从 10 计数到 9。未指定标签的第一个 break 语句,将只会退出那个内部循环。而那个 break 'counting_up; 语句,则会将外层循环退出。此代码会打印出:

$ cargo run
   Compiling loops v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\loops)
    Finished dev [unoptimized + debuginfo] target(s) in 0.77s
     Running `target\debug\loops.exe`
计数 = 0
剩余 = 10
剩余 = 9
计数 = 1
剩余 = 10
剩余 = 9
计数 = 2
剩余 = 10
最终计数 = 2

使用 while 的条件循环

Conditional Loops with while

程序经常需要计算循环内的某个条件。当该条件为 true 时,循环就会运行。当条件不再为 true 时,程序就会调用 break,停止该循环。使用 loopifelsebreak 的组合,实现类似这样的行为使可行的;如果咱们愿意,现在就可以在程序中尝试一下。不过,这种模式是如此常见,以致 Rust 为其提供了一种内置的语言结构,称为 while 循环。在下面清单 3-3 中,我们使用 while 将该程序循环三次,每次会倒计时,然后在循环结束后,打印一条信息并退出。

文件名:src/main.rs

fn main() {
    let mut number = 3;

    while number != 0 {
        println! ("{}!", number);

        number -= 1;
    }

    println! ("点火!!");
}

清单 3-3:使用 while 循环在条件保持为真期间运行代码

这种结构,消除了咱们在使用 loopifelse、及 break 时,必然会有的大量嵌套,且更为清晰。在某个条件计算为 true 期间,代码就会运行;否则,他会退出那个循环。

使用 for 遍历集合

Looping Through a Collection with for

咱们可以选择使用 while 结构,来遍历某种集合(比如数组)的元素。作为示例,下面清单 3-4 中的循环,会打印出数组 a 中的各个元素。

文件名:src/main.rs

fn main() {
    let a = [10, 20, 30, 40, 50];
    let mut index = 0;

    while index < a.len() {
        println!("the value is: {}", a[index]);

        index += 1;
    }
}

清单 3-4:使用 while 循环遍历某个集合的各个元素

此处,代码会对数组中的元素,进行向上计数。他会从索引 0 处开始,然后循环直到他到达数组中的最终索引(即,当 index < 5 不再为 true 时)。运行这段代码,将打印出该数组中的每个元素:

$ cargo run
   Compiling loops v0.1.0 (C:\tools\msys64\home\Lenny.Peng\rust-lang-zh_CN\projects\loops)
    Finished dev [unoptimized + debuginfo] target(s) in 0.80s
     Running `target\debug\loops.exe`
the value is: 10
the value is: 20
the value is: 30
the value is: 40
the value is: 50

如预期那样,所有五个数组值都会出现在终端中。即使 index 在某一时刻会达到 5,这个循环也会在尝试从该数组中,获取第六个值前,停止执行。

但是,这种方法容易出错;如果索引值或测试条件不正确,我们可能会导致程序终止运行。例如,如果咱们将 a 这个数组的定义,改为有四个元素,但忘记将那个条件更新为 while index < 4,这段代码就会终止运行。此外,由于编译器会添加一些在循环的每次迭代时,执行索引是否在数组边界内条件检查的代码,因此该程序还会运行很慢。

作为一种更简洁的替代方法,咱们可以使用 for 循环,并为集合中的每个项目执行一些代码。for 循环会看起来如下清单 3-5 中的代码。

文件名:src/main.rs

fn main() {
    let a = [10, 20, 30, 40, 50];

    for el in a {
        println! ("the value is: {el}");
    }
}

清单 3-5:使用 for 循环遍历某个集合的各个元素

当咱们运行这段代码时,我们将看到与清单 3-4 同样的输出。更重要的是,我们现在提高了代码的安全性,消除了可能由超出数组末尾,或因遍历不足远而遗漏某些项目等所可能导致的错误。

使用 for 循环,如果咱们更改了数组中值的个数,就不需要像清单 3-4 中使用的方法那样,记得修改任何其他代码。

for 循环的安全性和简洁性,使其成为 Rust 中最常用的循环结构。即使是在咱们打算运行某些代码特定次数的情况下,如清单 3-3 中,使用 while 循环的倒计时示例中那样,大多数 Rustaceans,也会使用 for 循环。而要完成那个操作的方法,会用到标准库提供的 Range,他可以按顺序生成从一个数字开始,到另一个数字结束前的所有数字。

下面是使用 for 循环,和另一个我们尚未讨论过的反转该范围的方法 rev,的倒计时看起来的样子:

文件名:src/main.rs

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

    println! ("LIFTOFF!!");
}

这段代码更漂亮一些,不是吗?

本章小结

咱们做到了!本章内容客观:咱们学习了变量、标量与复合数据类型、函数、注释、if 表达式和循环!为练习本章所讨论的概念,请尝试编写程序来完成以下操作:

  • 在华氏温度和摄氏温度之间进行转换;

  • 生成第 n 个斐波拉基数;

  • 利用圣诞颂歌 “The Twelve Days of Christmas” 中的重复,而打印出歌词;

当咱们准备好继续前进时,我们将讨论 Rust 中,一个在其他编程语言中并 常见的概念:所有权,ownership。

练习答案

“法式温度与摄氏温度的转换”
use std::io;
use std::process;

fn fah_to_cels(f: f32) -> f32 {
    return (f - 32.0) / 1.8;
}

fn cels_to_fah(c: f32) -> f32 {
    return c * 1.8 + 32.0;
}

fn main() {
    println! ("法式温度与摄氏温度之间的转换");

    loop {
        println! ("\n-----------------\n请选择:
            '1'-摄氏温度/'2'-法式温度/'Q'/\"quit\" 退出程序。
            '1'/'2'/'Q'/\"quit\"[1]:");

        let mut temp_type = String::new();

        io::stdin()
            .read_line(&mut temp_type)
            .expect("读取输入失败!");

        let temp_type = temp_type.trim();

        if temp_type.eq("Q") || temp_type.eq("quit") { process::exit(0); }

        if ! temp_type.eq("1") && ! temp_type.eq("2") && ! temp_type.eq("") {
            println! ("无效输入,请输入 '1'、'2'、'Q'、\"quit\",或直接按下回车键");
            continue;
        }

        if temp_type.eq("1") || temp_type.eq("") {
            println! ("请输入要转换的摄氏温度:");
            let temp = get_temp_input();

            println! ("摄氏温度: {:.2}°C,约为法氏温度:{:.2}°F", temp, cels_to_fah(temp));
        }

        if temp_type.eq("2") {
            println! ("请输入要转换的法氏温度:");
            let temp = get_temp_input();

            println! ("法氏温度:{:.2}°F,约为摄氏温度:{:.2}°C", temp, fah_to_cels(temp));
        }
    }
}

fn get_temp_input() -> f32 {
    return loop {
        let mut tmp = String::new();

        io::stdin()
            .read_line(&mut tmp)
            .expect("读取输入失败");

        match tmp.trim().parse() {
            Ok(num) => { break num },
            Err(_) => {
                println! ("请输入一个浮点数,比如 -10.0, 15.6");
                continue
            }
        };
    };
}
"生成第 n 个斐波拉基数"
use std::io;
use num_format::{Locale, ToFormattedString};
// use std::process;

fn nth_fibonacci(n: u64) -> u64 {

    if n == 0 || n == 1 {
        return n;
    } else {
        return nth_fibonacci(n - 1) + nth_fibonacci(n - 2);
    }
}

fn main() {
    println! ("找出第 n 个斐波拉基数");

    'main_loop: loop {
        println! ("请输入 n: (Q/quit 退出程序)");

        let n: u64 = loop {
            let mut tmp = String::new();

            io::stdin()
                .read_line(&mut tmp)
                .expect("读取输入失败!");

            let tmp = tmp.trim();

            if tmp.eq("Q") || tmp.eq("quit") {
                // process::exit(0);
                break 'main_loop;
            }

            match tmp.parse() {
                Ok(num) => { break num },
                Err(_) => {
                    println! ("请输入一个正整数!\n");
                    continue;
                },
            };
        };

        println! ("第 {} 个斐波拉基数为:{}",
            n,
            nth_fibonacci(n).to_formatted_string(&Locale::en));
    }
}
"打印圣诞颂歌 ‘The Twelve Days of Christmas’ 歌词"
fn main() {
    let days = [
        "first",
        "second",
        "third",
        "fourth",
        "fifth",
        "sixth",
        "seventh",
        "eighth",
        "nineth",
        "tenth",
        "eleventh",
        "twelfth"
    ];
    let amounts = [
        "A",
        "Two",
        "Three",
        "Four",
        "Five",
        "Six",
        "Seven",
        "Eight",
        "Nine",
        "Ten",
        "Eleven",
        "Twelve"
    ];
    let things = [
        "partridge in a pear tree",
        "turtle doves",
        "French hens",
        "calling birds",
        "golden rings",
        "geese-a-laying",
        "swans-a-swimming",
        "maids-a-milking",
        "ladies dancing",
        "lords-a-leaping",
        "pipers piping",
        "drummers drumming",
    ];

    for num in 1..=12 {
        println! ("\nOn the {} day of Christmas,\nMy true love gave to me:",
            days[num-1]);
        for tmp in (0..num).rev() {
            if tmp == 0 && num == 1 {
                println! ("{} {}.", amounts[tmp], things[tmp]);
            }
            if tmp == 0 && num != 1 {
                println! ("And {} {}.", amounts[tmp].to_lowercase(), things[tmp]);
            }
            if tmp != 0 {
                println! ("{} {},", amounts[tmp], things[tmp]);
            }
        }
    }
}
Last change: 2023-12-11, commit: 42fe623