Rust 从入门到精通06-语句和表达式
1、语句和表达式
语句和表达式是 Rust 语言实现逻辑控制的基本单元。 在 Rust 程序里面,语句(Statement)是执行一些操作但不返回的指令,表达式(Expressions)计算并产生一个值。表达式可以是语句的一部分,反过来,语句也可以是表达式的一部分。
1.1 语句不返回值
fn main() {
let x = (let y = 6);
}
这里面let y = 6
是一个语句,不能把 let
语句赋值给另一个变量,否则编译器会报错。
1.2 表达式返回值
fn main() {
let y = {
let x = 3;
x + 1
};
println!("The value of y is: {}", y);
}
{}
,也是一个表达式,表达式的结果是最后一行代码,x + 1
后面没有分号,表示的是表达式,如果在表达式后面加上“;”,则表示语句,语句没有返回值,则上面代码会报错。
1.3 总结
①、一个表达式总会产生一个值,因此它必然有类型。
②、语句不产生值,它的类型永远是 ();
③、如果把一个表达式加上分号,那么它就变成了一个语句;
④、如果把一个语句放到一个语句块中包起来,那么它就可以当成一个表达式使用。
Rust is primarily an expression language
翻译过来:Rust 基本上就是一个表达式语言。
Rust 除了 let / static / const / fn 等少数语句外,Rust 绝大多数代码都是表达式(expression)。所以 if / while / for / loop 都会返回一个值,函数最后一个表达式就是函数的返回值,这和函数式编程语言一致。
语句就是计算结果为()的特殊表达式。Rust 编译器,在解析代码的时候,如果碰到分号,就会继续往后执行。如果遇到语句,就执行语句;如果遇到表达式,则会对表达式求值;如果分号后面什么都没有,就补上()。
2、算术表达式
2.1、算术运算符:+ - * / %
分别是加、减、乘、除、取余。
//加、减、乘、除、取余
fn arithmetic_operation_test1(){
let x = 100;
let y = 10;
println!("x={},y={},x+y={},x-y={},x*y={},x/y={},x%y={}",x,y,x+y,x-y,x*y,x/y,x%y);
}
2.2、比较运算符
注意:
①、比较运算符两边必须是同类型的,并且满足 PartialEq 约束;
②、比较表达式的类型是 bool;
③、Rust 禁止连续比较;
fn compare_test(a:bool,b:bool,c:bool) -> bool{
a==b==c
}
编译报错:
2.3、赋值表达式
一个左值表达式、赋值运算符(=)、一个右值表达式可以构成一个赋值表达式。
①、赋值号左右两边表达式的类型必须一致,否则编译报错。
②、赋值表达式也有对应的类型和值,类型为 unit。即空的 tuple();
//赋值表达式也有对应的类型和值,类型为 unit
fn arithmetic_operation_test2(){
let x = 1;
let mut y = 2;
let z = (y=x);
//打印结果为()
println!("{:?}",z);
}
这样能防止连续赋值,假设定义了三个 i32 类型的变量, x:i32,y:i32以及z:i32, 那么表达式 x=y=z就会发生编译错误,因为z变量是i32类型,却赋值(),编译器是不允许的。
2.4、语句块表达式
在Rust 中,语句块也可以是表达式的一部分。
语句和表达式的区分方式是后面带不带分号,如果带了分号,意味着这是一条语句,它的类型是();
如果没有带分号,它的类型就是表达式的类型。
//语句和表达式的区分方式是后面带不带分号,如果带了分号,意味着这是一条语句,它的类型是();
//如果没有带分号,它的类型就是表达式的类型。
fn arithmetic_operation_test3(){
//语句带分号,类型是 ()
let x:() = {println!("helloworld");};
//Rust 将按照顺序执行语句块内的语句,并将最后的一个表达式类型返回,所以 y 最终类型是 i32
let y = {println!("helloworld"); 5};
println!("x={:?}",x);
println!("y={}",y);
}
打印结果为:
2.5、if-else
①、条件表达式的类型必须是bool
②、条件表达式并未强制要求用小括号()括起来,如果括起来,编译器反而会告警,认为是多余的括号;
③、后面的结果语句块一定要用大括号括起来;
//if-else
fn if_else_test()->i32{
if (1>2) {
//没有加分号,返回值就是1
1
}else{
2
}
}
使用 if-else 作为表达式,一定要注意 if 和 else 分支的类型必须一致,否则就不能构成一个合法的表达式,会出现编译错误。
最常见的一种情况是 if 分支有数据返回,但是省略了 else 分支:
fn if_test() -> i32{
if true {
1
}
return 1;
}
编译报错:
这是因为 else 分支如果省略了,默认类型是 ’()‘ ,与 if 分支不匹配。
2.6、loop
在Rust中,loop表示无限死循环。
//loop
fn loop_test(){
let mut i = 0;
loop{
i += 1;
if(i == 3){
println!("three");
//不在继续执行后面的代码,直接跳转到loop开头继续循环
continue;
}
println!("{}",i);
if(i == 5){
println!("that's is OK");
//跳出循环
break;
}
}
}
continue 表示本次循环内,不在执行后面的语句,直接进入下一轮循环;
break 表示跳出循环,不在执行。
注意:在Rust中,我们可以在 loop、while、for循环前面加上“生命周期标识”,在内部循环中,可以通过break、continue选择跳转到哪个循环标识。
2.7、while
带条件判断的循环语句。
//while循环
fn while_test(){
let mut n = 1;
while(n < 100){
if(n%2==0){
println!("偶数:{}",n)
}else{
println!("奇数:{}",n)
}
n+=1;
}
}
2.8、loop{} 和 while(true){}
从语法上理解,loop{} 和 while(true){} 这两种是没有任何区别的。
但相比于其他很多语言,Rust 语言要做更多的静态分析,loop 和 while true 语句在运行时没有任何区别,他们主要会影响编译器内部的静态分析结果。
比如:
let x;
loop{
x = 1;
break;
}
println!("{}",x);
上面语句在Rust中完全合理,因为编译器可以通过流程分析推理出x=1,必然在println!之前执行过,所以打印x的值是完全合理的。
再比如对于while true 语句:
let x;
while(true){
x = 1;
break;
}
println!("{}",x);
报错如下:
因为编译器会觉得while 语句的执行和条件表达式在运行阶段的值有关(有可能while false,导致没有运行 while 里面的语句,从而 x 没有初始化),于是编译器直接抛出一个未初始化异常。
2.9、for
Rust 中的for循环类似其他语言中的 for-each 循环。
for循环的主要用处是利用迭代器对包含同样类型的多个元素的容器进行遍历,如数组、链表、HashMap、HashSet等。
fn for_test(){
let array = &[1,2,3,4,5];
for i in array {
println!("The Numer is {}",i);
}
}
3、常见错误
3.1 连续赋值报错
fn f(a:bool,b:bool,c:bool) -> bool{
a == b == c
}
报错如下:
3.2 漏掉 else 分支报错
如果 else 分支省略掉了,编译器会认为 else 分支的类型默认为(),但是 if 分支返回的是 i32 数据类型。
我们知道,使用 if-else 作为表达式,一定要注意 if 和 else 分支的类型必须一致,否则就不能构成一个合法的表达式,会出现编译错误。
fn if_test() -> i32{
if true {
0
}
return 1;
}
编译报错:
Rust 从入门到精通06-语句和表达式的更多相关文章
- Rust 从入门到精通03-helloworld
安装完成 Rust 之后,我们可以编写 Rust 的 Hello Word.这里介绍两种方式,一种是rust原生方式,一种是利用 cargo 工具(重要) 1.rustc 方式 1.1 创建项目目录 ...
- Rust 从入门到精通01-简介
1.rust 从哪里来 Rust语言在2006年作为 Mozilla 员工 Graydon Hoare 的私人项目出现,而 Mozilla 于 2009 年开始赞助这个项目.第一个有版本号的 Rust ...
- Rust 从入门到精通05-数据类型
Rust 是 静态类型(statically typed)语言,也就是说在编译时就必须知道所有变量的类型. 在 Rust 中,每一个值都属于某一个 数据类型(data type),分为两大类: ①.标 ...
- iOS回顾笔记(06) -- AutoLayout从入门到精通
iOS回顾笔记(06) -- AutoLayout从入门到精通 随着iOS设备屏幕尺寸的增多,当下无论是纯代码开发还是Xib/StoryBoard开发,自动布局已经是必备的开发技能了. 我使用自动布局 ...
- JavaScript从入门到精通(转)
JavaScript从入门到精通 转自: https://github.com/Eished/JavaScript_notes 视频连接:https://www.bilibili.com/video/ ...
- 1、ASP.NET MVC入门到精通——新语法
本系列目录:ASP.NET MVC4入门到精通系列目录汇总 在学习ASP.NET MVC之前,有必要先了解一下C#3.0所带来的新的语法特性,这一点尤为重要,因为在MVC项目中我们利用C#3.0的新特 ...
- 5、ASP.NET MVC入门到精通——NHibernate代码映射
本系列目录:ASP.NET MVC4入门到精通系列目录汇总 上一篇NHibernate学习笔记—使用 NHibernate构建一个ASP.NET MVC应用程序 使用的是xml进行orm映射,那么这一 ...
- 10、ASP.NET MVC入门到精通——Model(模型)和验证
本系列目录:ASP.NET MVC4入门到精通系列目录汇总 模型就是处理业务,想要保存.创建.更新.删除的对象. 注解(通过特性实现) DisplayName Required StringLengt ...
- 23、ASP.NET MVC入门到精通——业务层和数据层父类及接口-T4模板
本系列目录:ASP.NET MVC4入门到精通系列目录汇总 在上一篇中,我们已经把项目的基本框架搭起来了,这一篇我们就来实现业务层和数据层的父接口及父类. 1.我们先来定义一个业务层父接口IBaseB ...
随机推荐
- 【Redis】Redis Cluster-集群故障转移
集群故障转移 节点下线 在集群定时任务clusterCron中,会遍历集群中的节点,对每个节点进行检查,判断节点是否下线.与节点下线相关的状态有两个,分别为CLUSTER_NODE_PFAIL和CLU ...
- zabbix主动式和被动式
推荐: zabbix我们使用主动式,主动式的话,可以把压力都分散到agent上,压力小. 1: zabbix主动式和被动式是相对于agent来说的. zabbix server去获取zabbix ag ...
- 关于android里activity之间利用button组件使用intent跳转页面
在需要跳转的activity 中 添加 Button button = findViewById(R.id.login);button.setOnClickListener(new View.OnCl ...
- java请求登录接口代码示例
前言 近期研究如何利用java代码如何获取其他系统中所需的数据,自己总结的方法如下: 1.工具类代码 /** * <pre> * 方法体说明:向远程接口发起请求,返回字符串类型结果 * @ ...
- 520到了,作为一个python程序员,必须整点肤白貌美的爬虫代码给你们~
马上520就快到啦~ 整点好看的给你们看下~ 直接开搞~ 代码流程 模拟浏览器向服务器发送一个http请求,网站接收到请求后返回数据.在写爬虫代码的时候一定先要去模拟浏览器访问,因为现在的网站当接收到 ...
- python线程池 ThreadPoolExecutor 的用法及实战
写在前面的话 (https://jq.qq.com/?_wv=1027&k=rX9CWKg4) 文章来源于互联网从Python3.2开始,标准库为我们提供了 concurrent.future ...
- Android 12(S) 图像显示系统 - drm_hwcomposer 简析(下)
必读: Android 12(S) 图像显示系统 - 开篇 合成方式 合成类型的定义:/hardware/interfaces/graphics/composer/2.1/IComposerClien ...
- 使用Thread类和Runnable接口实现多线程的区别
使用Thread类和Runnable接口实现多线程的区别 先看两种实现方式的步骤: public class ThreadDemo{ public static void main(String[] ...
- Python迷宫生成器
作为一项古老的智力游戏,千百年来迷宫都散发着迷人的魅力.但是,手工设计迷宫费时又耗(脑)力,于是,我们有必要制作一个程序:迷宫生成器-- 好吧,我编不下去了.但是,从上面的文字中,我们可以看出,我们此 ...
- nexus org.sonatype.nexus.bootstrap.jetty.JettyServer - Start failed
INFO [jetty-main-1] *SYSTEM org.sonatype.nexus.bootstrap.jetty.JettyServer - Runningjvm 1 | 2020-04- ...