basic/base-type/statement-expression

[giscus[bot]]

basic/base-type/statement-expression

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

[rustzzh]

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

[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不能被视为表达式，所以就报语法错了

[Andy001847]

a+b不带分号是是一个表达式，可以做返回值；带分号时是一个语句，返回的是分号后面空语句，空语句代表的返回值是()，不知道这样理解是否更合适？

[WangLanHuaJiaoFen]

基于你说的话，let b = let a = 8; 应该不会报错才对，因为let a = 8应该返回了()，b也就是()。因此不能这么理解(大概

[169LI]

对于let b = let a = 8;看法：
不仅仅是let关键字的存在，不能被视为表达式，而是Rust 不支持链式赋值，这样是是为了保持语言的类型安全、清晰性和可读性。这种设计选择使得代码在逻辑上更容易理解，并减少了因链式赋值可能导致的错误。可以看到a=b=8;同样不可以。a是一个空元组。实际项目中这样做有意义吗?根本达不到我们想要的b=8;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

[xiamuguizhi]

fn main() {
  
  let x = 5; // 给 x 一个值

  let y = if x % 2 == 1 {
      1
  } else {
      0
  };

  println!("y 的值是: {}", 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]

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

[huangyecong]

表达式不能包含分号。

[dreamkidd]

我还是坚持 使用 return

[everlose]

那我还是习惯 return xx;

[yumeji2046]

fn _test_expression(a: i32, b: i32) -> i32 { return a + b } 请问这里的return a + b是表达式还是语句呢