当前位置: 首页 > news >正文

100个练习学习Rust!if・Panic・演练

之前的文章

【0】准备
【1】构文・整数・变量 ← 上回
【2】 if・Panic・演练 ← 本次

这是“100 Exercise To Learn Rust”的第2次练习!本次的主题包括 if 表达式、panic 机制,以及对前面内容的总结练习。

本次相关的页面如下:

  • 2.3. Branching: if/else
  • 2.4. Panics
  • 2.5. Factorial

[02_basic_calculator/03_if_else] if式

  • 2.3. Branching: if/else

问题如下:

/// Return `true` if `n` is even, `false` otherwise.
fn is_even(n: u32) -> bool {todo!()
}#[cfg(test)]
mod tests {use crate::is_even;#[test]fn one() {assert!(!is_even(1));}#[test]fn two() {assert!(is_even(2));}#[test]fn high() {assert!(!is_even(231));}
}

要求返回 n 是偶数时为 true,n 是奇数时为 false。

解释

如果忘记这是在用 Rust,而是直接使用 if 来编写的话,可能会像这样写吧?

fn is_even(n: u32) -> bool {let result;if n % 2 == 0 {result = true;} else {result = false;}return result;
}

不过,这段源码实在让人忍不住想吐槽很多地方。正好借此机会,我们可以尝试使用一个叫 Clippy 的 linter 工具。

cargo clippy
    Checking if_else v0.1.0 (/path/to/100-exercises-to-learn-rust/exercises/02_basic_calculator/03_if_else)
warning: function `is_even` is never used--> exercises/02_basic_calculator/03_if_else/src/lib.rs:2:4|
2 | fn is_even(n: u32) -> bool {|    ^^^^^^^|= note: `#[warn(dead_code)]` on by defaultwarning: unneeded `return` statement--> exercises/02_basic_calculator/03_if_else/src/lib.rs:11:5|
11 |     return result;|     ^^^^^^^^^^^^^|= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_return= note: `#[warn(clippy::needless_return)]` on by default
help: remove `return`|
11 -     return result;
11 +     result|warning: unneeded late initialization--> exercises/02_basic_calculator/03_if_else/src/lib.rs:3:5|
3 |     let result;|     ^^^^^^^^^^^|= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_late_init= note: `#[warn(clippy::needless_late_init)]` on by default
help: declare `result` here|
5 |     let result = if n % 2 == 0 {|     ++++++++++++
help: remove the assignments from the branches|
6 ~         true
7 |     } else {
8 ~         false|
help: add a semicolon after the `if` expression|
9 |     };|      +warning: this if-then-else expression assigns a bool literal--> exercises/02_basic_calculator/03_if_else/src/lib.rs:5:5|
5 | /     if n % 2 == 0 {
6 | |         result = true;
7 | |     } else {
8 | |         result = false;
9 | |     }| |_____^ help: you can reduce it to: `result = n % 2 == 0;`|= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_bool_assign= note: `#[warn(clippy::needless_bool_assign)]` on by defaultwarning: `if_else` (lib) generated 4 warnings (run `cargo clippy --fix --lib -p if_else` to apply 2 suggestions)Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.10s

第一个警告:function 'is_even' is never used 可以忽略。

关于 unneeded 'return' statement: 由于 Rust 是一种面向表达式的语言,函数最后的 return 是不必要的。

关于 unneeded late initialization: 同样地,由于 Rust 是面向表达式的语言,if 结构也是一个表达式(在练习中有解释),因此不需要在各个分支中对 result 进行初始化。

综上所述(忽略最后一个警告),代码可以改成这样!

fn is_even(n: u32) -> bool {if n % 2 == 0 {true} else {false}
}

由于 if 是一个表达式,因此可以将返回值直接绑定到 result 上(冗长的写法已折叠)。
但其实我们可以注意到,函数会返回最后被计算的值,因此根本不需要绑定到 result
总结来说,上述代码中,函数的返回值将是 if 表达式的计算结果,从而正确返回了 n 的偶数或奇数判定!

$ cargo clippyChecking if_else v0.1.0 (/path/to/100-exercises-to-learn-rust/exercises/02_basic_calculator/03_if_else)
warning: function `is_even` is never used--> exercises/02_basic_calculator/03_if_else/src/lib.rs:2:4|
2 | fn is_even(n: u32) -> bool {|    ^^^^^^^|= note: `#[warn(dead_code)]` on by defaultwarning: this if-then-else expression returns a bool literal--> exercises/02_basic_calculator/03_if_else/src/lib.rs:3:5|
3 | /     if n % 2 == 0 {
4 | |         true
5 | |     } else {
6 | |         false
7 | |     }| |_____^ help: you can reduce it to: `n % 2 == 0`|= help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#needless_bool= note: `#[warn(clippy::needless_bool)]` on by defaultwarning: `if_else` (lib) generated 2 warnings (run `cargo clippy --fix --lib -p if_else` to apply 1 suggestion)Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.12s
fn is_even(n: u32) -> bool {n % 2 == 0
}

其实根本不需要 if 表达式啊...!我以为是 if 表达式的问题,所以陷入了先入为主的思维...

顺便说一下,模范解答里也没有用 if 表达式。这是故意设计成这样的题目吗?

在这种时候,Clippy 真是太伟大了...!

[02_basic_calculator/04_panics] Panic

  • 2.4. Panics

这是问题的内容。虽然有点长,但因为包含了解题所需的信息,所以连测试部分也一起提供了。

/// Given the start and end points of a journey, and the time it took to complete the journey,
/// calculate the average speed of the journey.
fn speed(start: u32, end: u32, time_elapsed: u32) -> u32 {// TODO: Panic with a custom message if `time_elapsed` is 0(end - start) / time_elapsed
}#[cfg(test)]
mod tests {use crate::speed;#[test]fn case1() {assert_eq!(speed(0, 10, 10), 1);}#[test]// 👇 With the `#[should_panic]` annotation we can assert that we expect the code//    under test to panic. We can also check the panic message by using `expected`.//    This is all part of Rust's built-in test framework!#[should_panic(expected = "The journey took no time at all, that's impossible!")]fn by_zero() {speed(0, 10, 0);}
}

首先,前提是 speed 函数在出现除以 0 的情况时会发生 panic。这本身没有问题,但在这种情况下,希望输出测试中指定的自定义消息:The journey took no time at all, that's impossible!

Rust Playground

Rust Playground

Exercises 中介绍了这个工具,所以我也在这里介绍一下。Rust Playground 是一个类似 Wandbox、ideone、TS playground的在线编辑器,但专门用于 Rust。

和 Wandbox 一样,它可以通过永久链接分享源代码,因此在不创建项目时快速检查语法,或者在社交媒体上讨论 Rust 时都非常方便。一定要试试哦!

解释

如果 time_elapsed == 0,我们可以预先触发 panic,并输出想要显示的消息。这可以通过 if 表达式和 panic! 宏来实现。(这个问题才是更适合用 if 的场景吧?)

fn speed(start: u32, end: u32, time_elapsed: u32) -> u32 {// TODO: Panic with a custom message if `time_elapsed` is 0if time_elapsed == 0 {panic!("The journey took no time at all, that's impossible!");}(end - start) / time_elapsed
}

这段话可以翻译为:


顺便提一下,在这种情况下,使用 assert_* 系列宏会很方便!因为我们想确认 time_elapsed != 0,所以这次可以使用assert_ne宏。

fn speed(start: u32, end: u32, time_elapsed: u32) -> u32 {// TODO: Panic with a custom message if `time_elapsed` is 0assert_ne!(time_elapsed, 0,"The journey took no time at all, that's impossible!");(end - start) / time_elapsed
}

这段话可以翻译为:


assert_* 系列宏可以理解为“保证条件被满足”,这样理解起来会更容易。

  • assert_eq: 保证第一个参数和第二个参数相等,如果不相等就会触发 panic。
  • assert_ne: 保证第一个参数和第二个参数不相等,如果相等就会触发 panic。

这些宏如果不熟悉,确实容易混淆。此外,第三个参数可以指定 panic 时的自定义消息,因此可以在这里传入测试中要求的文本。

虽然在行数上使用 ifassert_* 宏区别不大(甚至可能多一行),但因为能传达“保证”的含义,所以可能有一部分人会觉得这种写法更易读。

问:听说使用 Result 类型更好是吗?

答:是的。在这种可能会出现错误的情况下,与其直接引发 panic,不如使用程序可以自定义错误处理的 Result 类型更为理想。(据说在 “100 Exercises” 中期会介绍这个概念。)

虽然在不熟悉的情况下尽可能使用 Result 类型确实不会出错,但理想情况下,我们也应该学习如何在合适的场景下使用 panic。以下是一些适合使用 panic(也就是 unwrap 系方法)的情况。

  • 在编译时已确定值且不可能发生 panic 的情况下
    使用 unwrap反而会让代码更易读。

  • main 函数的开头读取环境变量或依赖文件时
    使用 Result 进行分支处理往往显得冗长。在这种情况下,使用 expect会是个不错的选择。

一般来说,Result 类型适用于处理用户输入等“在运行时未确定输入”的情况。考虑到大多数程序都涉及这样的场景(尽管这有些偏见),所以使用 Result 类型的情况会更多。

[02_basic_calculator/05_factorial] 尝试编写函数

  • 2.5. Factorial

问题是...除了测试部分之外,只有注释,所以我将注释内容总结如下:

请定义一个接收非负整数 n 的函数 factorial,并返回 n 的阶乘(n!)。
阶乘是从 1 到 n 的所有正整数的乘积。例如:5! = 5 * 4 * 3 * 2 * 1 = 120
0! 定义为 1。
factorial(0) 应返回 1,factorial(1) 也应返回 1,factorial(2) 应返回 2...依此类推。
请使用到目前为止所学的内容。你还没有学到循环,所以请使用递归来实现!

问题:

// Define a function named `factorial` that, given a non-negative integer `n`,
// returns `n!`, the factorial of `n`.
//
// The factorial of `n` is defined as the product of all positive integers up to `n`.
// For example, `5!` (read "five factorial") is `5 * 4 * 3 * 2 * 1`, which is `120`.
// `0!` is defined to be `1`.
//
// We expect `factorial(0)` to return `1`, `factorial(1)` to return `1`,
// `factorial(2)` to return `2`, and so on.
//
// Use only what you learned! No loops yet, so you'll have to use recursion!#[cfg(test)]
mod tests {use crate::factorial;#[test]fn first() {assert_eq!(factorial(0), 1);}#[test]fn second() {assert_eq!(factorial(1), 1);}#[test]fn third() {assert_eq!(factorial(2), 2);}#[test]fn fifth() {assert_eq!(factorial(5), 120);}
}

确实,我们在 Rust 里还没学到循环,但就这么直接用递归真的好吗……算了,没关系。

解释

只需要写一个用于终止递归的保护条件,以及一个用于递归求值的部分就行了。

fn factorial(n: u32) -> u32 {if n == 0 {return 1;}n * factorial(n - 1)
}

这道题作为到目前为止问题的总结是很合适的。

  • 语法
    通过定义函数的形式复习了之前的内容。

  • 非负整数
    将类型设为 u32 后,就不必担心传入负数作为参数,因此不需要额外的异常处理。

  • 变量
    以函数参数的形式出现。

  • if 表达式和 Panic
    如果传入 0 作为参数,执行 n - 1 会引发 panic,但因为有保护条件阻止了这种情况的发生,所以没有问题。
    虽然在我的写法中没有使用表达式,但模范解答似乎要求对表达式有一定的理解。

回顾这道题,发现它设计得相当好,让人惊讶。

总结

虽然还没涉及到循环等更高级的语法,但最后这个问题确实相当有趣。

那么,让我们进入下一个问题吧!

下一篇文章: 【3】可变性・循环・溢出

相关文章:

100个练习学习Rust!if・Panic・演练

之前的文章 【0】准备 【1】构文・整数・变量 ← 上回 【2】 if・Panic・演练 ← 本次 这是“100 Exercise To Learn Rust”的第2次练习!本次的主题包括 if 表达式、panic 机制,以及对前面内容的总结练习。 本次相关的页面如下: 2.3. Bran…...

MODELSIM仿真报错解决记录

目录 问题:Modelsim报错:Error (10228): Verilog HDL error at Line_Shift_RAM_1Bit.v(39): module “Line_Shift_RAM_1 原因:创建的IP核放到了别的位置 解决方法:删掉IP核以及QIP等文件,将IP核创建到工程目录下 问…...

day33-负载均衡实战

01.问题总结 1.rsync同步注意目录加/和不加/的区别 2.安装wordpress过程中禁止使用IP安装,解析成域名安装 比如安装过程 10.0.0.7--->填写数据库信息--->写入数据库中 如果安装完成后再使用www.wp.com访问,不能访问页面乱码的问题。 3.挂载wordpress挂载uplo…...

网络接口 eno1 未连接或未托管

网络接口 eno1 未连接或未托管,通常意味着该接口没有被识别或没有被配置为自动连接到网络。以下是一些可能的解决方案: 检查物理连接: 确保您的以太网电缆正确连接到 eno1 接口和调制解调器/路由器。 启用网络接口: 使用以下命令…...

Linux I/O 多路复用机制详解

文章目录 1 文件描述符(File Descriptor)1.1 什么是文件描述符?1.2 文件描述符与文件的关系 2 文件描述符集合(File Descriptor Set)2.1 什么是文件描述符集合?2.2 fd_set 结构体 3 select() 函数的工作原理…...

第43课 Scratch入门篇:雪花随风飘

雪花随风飘 故事背景: 雪花轻轻地从灰蒙蒙的天空中飘落下来,它们像是天空中飘洒下来的羽毛,又像是冬日的精灵在翩翩起舞。每一片雪花都独一无二,它们在空中旋转、飘荡,最终缓缓降落在屋顶、树枝、街道和行人的肩头。 程序原理: 众多的雪花肯定是克隆功能,降落过程是通过…...

VueUse 基于 Vue 3 Composition API 的高质量 Hooks 库

VueUse 是什么? VueUse 是基于 Vue 3 Composition API 的高质量 Hooks 库。例如获取滚动的距离 VueUse 官网:VueUse | VueUse VueUse 什么使用? 1、通过npm安装 VueUse npm i @vueuse/core 2、搜索需要使用的函数,例如搜索 useScroll 滚动 3、使用useScroll 滚动函数 …...

ARM CoreLink 系列 5.1.1 -- CI-700 System Address Map 】

文章目录 System Address MapRN SAMRN SAM memory regions and target typesSAM memory region size configurationRN SAM target ID selectionSystem Address Map 所有的CHI 命令都包含一个 Source ID 和 Target ID, 其中 Source ID 可以来自于 RN Node, Target ID 可以来自…...

【数据结构】二叉树(一)

目录 1. 树型结构 概念 树的表示形式 ​编辑 2. 二叉树(重点) 2.1 概念 2.2 二叉树的性质 2.3 二叉树的存储 2.4 二叉树的遍历 前中后序遍历 层序遍历: 2.5二叉树的基本操作 本篇主要理解树和二叉树相关概念,二叉树遍…...

使用duplicate搭建备库或者级联备库

使用duplicate搭建备库或者级联备库: 主库或者源端: 1. 创建pfile,更改&添加部分参数、传输到备库; 2. 主库(或者源端)的tnsnames.ora文件添加 备库的连接信息 备库: 1. 备库添加静态监听 2…...

【存储学习笔记】4:快照(Snapshot)技术的实现方式

1 快照 1.1 动机 在上一篇《备份》里提到,热备份就是在执行操作时,服务器需要正常处理来自用户或应用对数据的更新,这样能够保证数据7*24小时可用(在很多服务里这是必要的)。 而热备份的困难就是如何保证数据的一致…...

数根(字符串数根公式)

公式&#xff1a;a的数根(a-1)%91&#xff1b; #include <bits/stdc.h> using namespace std; string s; long long sum; int main(){cin>>s;for(int i0;i<s.size();i){sums[i]-0;}cout<<(sum-1)%91; }...

C语言之文件操作上卷(二十一)(逆行人生-2024)

&#x1f4e3;&#x1f4e3;&#x1f4e3;&#x1f4e3;&#x1f4e3;&#x1f4e3;&#x1f4e3;&#x1f4e3; ✏️作者主页&#xff1a;枫霜剑客 &#x1f4cb; 系列专栏&#xff1a;C语言知识学习归纳总结&#xff08;逐梦篇专栏合集&#xff09; &#x1f332;上一篇: C语…...

【微服务架构实战】结合实际案例进行微服务架构的设计与实现

微服务架构实战 结合实际案例进行微服务架构的设计与实现 引言 微服务架构&#xff08;Microservices Architecture&#xff09;是一种将大型应用程序拆分成一组小型、独立的服务的方法&#xff0c;每个服务都专注于特定的业务功能&#xff0c;并能够独立开发、部署和扩展。这…...

为什么要有二级指针

提示&#xff1a;文章 文章目录 前言一、背景二、 2.1 2.2 总结 前言 前期疑问&#xff1a; 本文目标&#xff1a; 一、背景 之前一直疑问为什么要有二级指针&#xff0c;一直没有写这个帖子&#xff0c;今天整理了一下&#xff0c;收获颇丰 二、 2.1 // 增加对二级指针…...

如何保证数据不丢失?(死信队列)

死信队列 1、什么是死信 死信通常是消息在特定的场景下表现&#xff1a; 消息被拒绝访问消费者发生异常&#xff0c;超过重试次数消息的Expiration过期时长或者队列TTL过期时间消息队列到达最大容量 maxLength 2、什么是死信队列 只由死信构成的消息队列是死信队列 死信队…...

树莓派开发笔记01-树莓派的系统烧录以及初次开机配置

github主页&#xff1a;https://github.com/snqx-lqh gitee主页&#xff1a;https://gitee.com/snqx-lqh 本项目github地址&#xff1a;https://github.com/snqx-lqh/RaspberryPiLearningNotes 本项目gitee地址&#xff1a;https://gitee.com/snqx-lqh/RaspberryPiLearningNote…...

微信答题小程序产品研发-后端开发

在开发答题小程序的后端服务和数据库设计时&#xff0c;需要考虑API的设计、数据库模型的构建以及数据的安全性和一致性。 这里我采用了云开发&#xff0c;后端语言是Node&#xff0c;数据库是NoSql&#xff0c;然后我简单整理了各个功能模块的后端开发概要和数据库设计。 1. …...

回溯算法——LeetCode37 解数独

题目 力扣题目链接 思路 卡哥的思路&#xff0c;注意看他解释为什么是“二维回溯”。我的思路&#xff0c;类似y总解决 N 皇后问题时的第二种方法&#xff0c;即从左上到右下枚举棋盘的每个位置。 至于为什么与 N 皇后问题不一样&#xff0c;我认为是因为它每一行不止放一个…...

【CPP】继承语法详解与菱形继承

关于我&#xff1a; 睡觉待开机&#xff1a;个人主页 个人专栏: 《优选算法》《C语言》《CPP》 生活的理想&#xff0c;就是为了理想的生活! 作者留言 PDF版免费提供&#xff1a;倘若有需要&#xff0c;想拿我写的博客进行学习和交流&#xff0c;可以私信我将免费提供PDF版。…...

uniapp 对接腾讯云IM群组成员管理(增删改查)

UniApp 实战&#xff1a;腾讯云IM群组成员管理&#xff08;增删改查&#xff09; 一、前言 在社交类App开发中&#xff0c;群组成员管理是核心功能之一。本文将基于UniApp框架&#xff0c;结合腾讯云IM SDK&#xff0c;详细讲解如何实现群组成员的增删改查全流程。 权限校验…...

反向工程与模型迁移:打造未来商品详情API的可持续创新体系

在电商行业蓬勃发展的当下&#xff0c;商品详情API作为连接电商平台与开发者、商家及用户的关键纽带&#xff0c;其重要性日益凸显。传统商品详情API主要聚焦于商品基本信息&#xff08;如名称、价格、库存等&#xff09;的获取与展示&#xff0c;已难以满足市场对个性化、智能…...

【力扣数据库知识手册笔记】索引

索引 索引的优缺点 优点1. 通过创建唯一性索引&#xff0c;可以保证数据库表中每一行数据的唯一性。2. 可以加快数据的检索速度&#xff08;创建索引的主要原因&#xff09;。3. 可以加速表和表之间的连接&#xff0c;实现数据的参考完整性。4. 可以在查询过程中&#xff0c;…...

基于ASP.NET+ SQL Server实现(Web)医院信息管理系统

医院信息管理系统 1. 课程设计内容 在 visual studio 2017 平台上&#xff0c;开发一个“医院信息管理系统”Web 程序。 2. 课程设计目的 综合运用 c#.net 知识&#xff0c;在 vs 2017 平台上&#xff0c;进行 ASP.NET 应用程序和简易网站的开发&#xff1b;初步熟悉开发一…...

在HarmonyOS ArkTS ArkUI-X 5.0及以上版本中,手势开发全攻略:

在 HarmonyOS 应用开发中&#xff0c;手势交互是连接用户与设备的核心纽带。ArkTS 框架提供了丰富的手势处理能力&#xff0c;既支持点击、长按、拖拽等基础单一手势的精细控制&#xff0c;也能通过多种绑定策略解决父子组件的手势竞争问题。本文将结合官方开发文档&#xff0c…...

前端倒计时误差!

提示:记录工作中遇到的需求及解决办法 文章目录 前言一、误差从何而来?二、五大解决方案1. 动态校准法(基础版)2. Web Worker 计时3. 服务器时间同步4. Performance API 高精度计时5. 页面可见性API优化三、生产环境最佳实践四、终极解决方案架构前言 前几天听说公司某个项…...

(转)什么是DockerCompose?它有什么作用?

一、什么是DockerCompose? DockerCompose可以基于Compose文件帮我们快速的部署分布式应用&#xff0c;而无需手动一个个创建和运行容器。 Compose文件是一个文本文件&#xff0c;通过指令定义集群中的每个容器如何运行。 DockerCompose就是把DockerFile转换成指令去运行。 …...

腾讯云V3签名

想要接入腾讯云的Api&#xff0c;必然先按其文档计算出所要求的签名。 之前也调用过腾讯云的接口&#xff0c;但总是卡在签名这一步&#xff0c;最后放弃选择SDK&#xff0c;这次终于自己代码实现。 可能腾讯云翻新了接口文档&#xff0c;现在阅读起来&#xff0c;清晰了很多&…...

链式法则中 复合函数的推导路径 多变量“信息传递路径”

非常好&#xff0c;我们将之前关于偏导数链式法则中不能“约掉”偏导符号的问题&#xff0c;统一使用 二重复合函数&#xff1a; z f ( u ( x , y ) , v ( x , y ) ) \boxed{z f(u(x,y),\ v(x,y))} zf(u(x,y), v(x,y))​ 来全面说明。我们会展示其全微分形式&#xff08;偏导…...

算法—栈系列

一&#xff1a;删除字符串中的所有相邻重复项 class Solution { public:string removeDuplicates(string s) {stack<char> st;for(int i 0; i < s.size(); i){char target s[i];if(!st.empty() && target st.top())st.pop();elsest.push(s[i]);}string ret…...