basic/base-type/statement-expression

[giscus[bot]]

basic/base-type/statement-expression

https://course.rs/basic/base-type/statement-expression.html

[rustzzh]

在想一个问题：既然表达式的定义是“会进行求值然后返回一个值”，那能否将rust中所有的代码块都理解成表达式，只是带分号的表达式返回值是()？

[hookover]

a + b 如果不加";"就等价于 return a+b;

[arielherself]

根据文中说法，似乎 let 只能是语句？

[raotaohub]

还是习惯显示的 return 来表示返回值，估计是有其他更深层的设计缘故导致的把。

[INKCR0W]

我觉得还是有区别的，()可以作为值绑定给变量，也可以作为参数传递（可见本章习题第一题的答案），而语句，是真真正正的没有返回值，连()都没有

[li199603]

看到这里感觉就是表达式和语句代码编写上就是加不加分号的区别。
let b = let a = 8;会报语法错误，但是如果写成let b = {let a = 8;};这样是没问题的，此时b是()类型。基于以上做个不负责任的猜测（我只刚学到这里，也不知道这么解释对不对）：let b = let a = 8;这样的语法编译器会这样理解let b = {let a = 8};由于let关键字的存在let a = 8不能被视为表达式，所以就报语法错了

[yjshi2015]

其实本质上就是没有分号（；）的区别，有的话执行完接着执行或结束，没有的话，执行完就返回。非要拆分成“表达式”和“语句”的概念，感觉有点刻意。

刚开始学，还体会不到其中的深意……

[guopenghui]

rust使用了很多函数式编程的概念。
在函数式编程里面所有计算都是表达式求值。比如在haskell里面：

plus a b = let one = a + b -- 声明 one 就是 a+b
               two = a * b -- 声明 two 就是 a*b
            in one + two -- 最后的表达式作为结果

因为haskell是惰性求值的，所以one和two那两句那里没有进行任何计算，仅仅是声明one和two表示什么。所有的计算都是在最后一句进行的。

换到rust里面就是：

fn plus(a: i32, b: i32) -> i32 {
    let one = a + b;
    let two = a * b;
    one + two  // 最后的表达式作为结果
}

可以想象成释放一个叫plus的法术，前面的语句都是在吟唱，最后的表达式就是那句 “放！“。“放”的那一句才是真正产生值的一句。

不过因为rust不是惰性求值的，所以在语句中实际上是会进行计算的。 rust里的语句也用来控制表达式的执行顺序（比如先执行a+b，再执行a*b）

[angine04]

表达式和语句其实是很基础的概念……
可能是因为我是先学的C++，所以表达式和语句的分别对于我来说是自然的

[madjxatw]

表达式和语句的官方标准定义是什么？

[guopenghui]

https://minstrel1977.gitee.io/rust-reference/statements-and-expressions.html

[wbbo]

GPT 的回答:
语句的目的是执行操作, 表现为以分号结尾
表达式的厎是返回值, 表现为无分号结尾

[qq229338869]

新人求教，下面的函数返回其实是等价的？
fn add(a: i32, b: i32) -> i32 {
a + b
// return a + b
// return a + b;
}

[guopenghui]

等价的。

[sanrentai]

let y = if x % 2 == 1 {
| ^ help: if this is intentional, prefix it with an underscore: _y

[Skyfacon]

表达式不能包含分号！！

[Edmon-Leo]

大佬们，不知道是不是我理解的有问题，表达式那里举的第一个例子里面的 y：

let y = {
    let x = 3;
    x + 1
};

这里的 x 在绑定的时候并没有注明是 mut，那下一句的 x+1 为什么还能生效？是因为这一句 x+1 是表达式而不是语句的缘故吗？

[hhfff]

因为x+1是返回给y绑定，不是给x

[DustLeep]

x+1这句话并没有对x的值做出改变，它只是一个计算出x+1结果的表达式

[yunqingshaw]

为什么以下不会报错呢？
let a = 8;
let (a,c) = ("hi", false);

(a,c) 中的a，和第一句中的a，是不同的么

[Linhieng]

3 天过去了，不知道你是否已经知道答案了。你是否还记得前面的 变量遮蔽( Shadowing )？

你这个代码就是重新声明了一个同名变量 a，覆盖了旧的变量 a。

此外，编译器虽然不报错，但其实会给出警告：

--> src/main.rs:2:9
  |
2 |     let a = 8;
  |         ^ help: if this is intentional, prefix it with an underscore: `_a`
  |
  = note: `#[warn(unused_variables)]` on by default

可以看到，它已经告诉你了，由于你的前一个 a 赋了值，但却并没有使用到。

[Wan-Yifei]

这其实应该解释下控制流中的特殊表达式：表达语句 expression statement。

也就是return， break， continue这几个，他们要不要分号都可以。

[Ron-joan]

；（愤怒脸）：我给你返个蛋（）

[fredlifeup]

mark: 真的大爱这种学习方式，通过更多读者评论，还能得到更多详细理解解答！

[maczyt]

  您好，我最近正在休假中，无法亲自回复您的邮件。我将在假期结束后，尽快给您回复。