basic/base-type/statement-expression

[giscus[bot]]

basic/base-type/statement-expression

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

[fluidengineer]

main比较特别？在上一节讲他能返回值，也就是表达式，但我let x= main(){}会报错

[konosubakonoakua]

说的不太严谨，不一定是main执行完了立马环境也消失，大概是这么个意思

[liCells]

https://www.reddit.com/r/rust/comments/284y7n/why_cant_main_return_an_int/ci7gg1h/

[cenmmy]

main函数的返回值不是给用户用的。

[realHakeen]

哈哈哈哈哈 莫名有点想笑

[stevenkitter]

很灵性啊 兄弟

[Mota-Link]

语句返回()，为什么说没有返回值呀？

[sunface]

我找官方的书确认了下，他们的表述是: Statements are instructions that perform some action and do not return a value. Expressions evaluate to a resulting value. Let’s look at some examples.

然后再找到 () 的解释：Expressions implicitly return the unit value if they don’t return any other value.

所以这里其实没有大的问题，但是我会加一个括号说明下。

[sunface]

我在这个章节的最后增加了对表达式无返回值的说明，感谢你的启发～

[lorenzoyang]

"Expressions implicitly return the unit value if they don’t return any other value." 想问下，有返回值的就是表达式，那么就不可能出现 "if they don’t return any other value" 这种情况的呀，所以表达式永远不会返回 unit类型？

[small-white0-0]

"Expressions implicitly return the unit value if they don’t return any other value." 想问下，有返回值的就是表达式，那么就不可能出现 "if they don’t return any other value" 这种情况的呀，所以表达式永远不会返回 unit类型？

因果反了，不是由于有返回值才是表达式，而是表达式必须有返回值。如果代码中没有给定返回值，就返回()。
至于什么是表达式，什么是语句，看rust的规定。
像现在可以用“声明式代码都是语句，其他的都是表达式”去概括，但是let如果之后被改为表达式了，就不能这么说了。所以什么是表达式，什么是语句，我感觉没有明显的一个规范一样的规则。全看rust语言的规定。

[xxlovett0706]

fn main() {
assert_eq!(ret_unit_type(), ())
}

fn ret_unit_type() {
let x = 1;
// if 语句块也是一个表达式，因此可以用于赋值，也可以直接返回
if (x > 1) {

}

}

ret_unit_type 函数中的 if条件语句，条件不应该加括号🐶

[funcdfs]

fn main() {
    assert_eq!(ret_unit_type(), ());
    println!("HI")
}

fn ret_unit_type() {
    let x = 1;
    let x = if x > 1 {

    } else {
        ()
    };
    x
}

[giveahug]

parse::
这个是啥语法

[Rustln]

这个是方法的泛型参数哈，比如你的方法：

fn method<T>(v: T){}

调用的时候：method::<i64>(1);，只不过编译器已经很智能了，可以直接推断，所以我们可以 let num:i64 = method::<_>(1)，或者更简单 let num = method(1)。

当编译器不能推断的时候，这时候就需要你指定了。

[stevenkitter]

泛型一章会讲解

[weq95]

return x + 1;

这种形式就可以, 何解呢?

[Nanbert]

懂了，没认真看错误信息，我以为报的是返回类型不一至，原来是if的每个分支类型不一至问题。十分感谢你

[Izzamuzzic]

return关键字的缘故吧？

[Archsx]

我想问个相关的问题，可能有点无聊。。在最原始的问题里面，像这样:

fn main() {
      assert_eq!(ret_unit_type(), ()) 
  }
  
  fn ret_unit_type() {
      let x = 1;
      // if 语句块也是一个表达式，因此可以用于赋值，也可以直接返回
      if (x > 1) {
          9   
      };  
  }     

此时9后面没有加分号，但是为什么
1> 此时编译器不报错？运行的时候才报错
2> 为什么报的错是“expected integer, found ()”， 结合"if expressions without else evaluate to ()"这个提示，按理说应该是expected () , found integer啊。为什么报错信息是反过来的呢？

[Archsx]

上面的第一个问题是我自己在clion里面没有打开“run external linter to analyze code on the fly”的原因，我的错。但是第二个问题还是不明白

[bin-sun-inno]

if 表达式的所有分支返回类型应该一样，这里x > 1分支返回的是integer类型，默认else分支返回单元类型(), 于是报错了，代码做如下修改也是可以执行的
fn main() {
assert_eq!(ret_unit_type(), ())
}

fn ret_unit_type() {
let x = 1;
// if 语句块也是一个表达式，因此可以用于赋值，也可以直接返回
if (x > 1) {
9
}
else {
6
};
}

[weq95]

有个return 就比较傻了，所以不太理解发自我的手机-------- 原始邮件 --------发件人： fchengjin ***@***.***>日期： 2022年5月15日周日 11:19收件人： sunface/rust-course ***@***.***>抄送： _不忘初心 ***@***.***>, Comment ***@***.***>主 题： Re: [sunface/rust-course] basic/base-type/statement-expression (Discussion #707) 上面有写呀，你单独写个9，它是一个表达式，会作为函数的返回值，加上分号就是语句了，没有返回返回值，则函数就默认返回() —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you commented.Message ID: ***@***.***>

[cenmmy]

你觉得return在语法上的作用是什么？有了return应该就不会返回（）了

[791045873]

不加分号，a是返回值

let a = 1;
a

那为啥加了等号但是没有分号，却不会反回a, 而是返回单元类型()。是不是=的优先级会高一些

let mut a = 1;
a = a + 1

[noalias]

因为赋值表达式的返回值就是 ()

[rooney0502]

{
let x = 3;
x + 1
}

这里真的有点反人类，其实大部分语言都是可以这样
{
let x = 3;
return x + 1;
}
非要这样，还不能加; 由让人有点无所适从，我会iOS、Flutter、GO、Python，有一段时间写某个语言多了，有时候真很难切换回到当前的语言状态，我对rust感兴趣是因为终于有一门跟C++差不多的东西，并能比C++好，而且又吸取现代大部分语言特性，但是看了一部分，有一些东西代码规范真的让我觉得有点不适应，感觉rust是不是有点太另类跟复古了

[sunface]

额。。。可能你不熟悉函数语言，其实省去 return 会更加灵活，而且也更简洁

[lonexw]

我觉得你有点陷入固有的经验和一点点偏见了，还是要开放心态学习会更有效，小建议哈，不是评判别人

[noalias]

return 是直接从函数返回；
块表达式返回值是返回给上一级块表达式，
两者显然不同。
你要是会lisp语言，这种类似块表达式的写法是非常优雅的；一般的语言 for xx 、if xx 都是语句，而rust或lisp for xx 、if xx 都是块表达式可以嵌套在其他表达式中使表达更流畅

[SakigamiYang]

可惜，如果你再会一个scala就不会觉得别扭了

[leolulu]

确实，学过scala，觉得rust很多概念贼亲切

[qianhaiyang]

这个块返回值的特性吹爆，Rust有很多很走心的小特性

[kimchi-shi]

为什么assert_eq!((), {});是可以通过的呢？花括号和小括号的值相同？

[acejs]

这里完整的应该是 assert_eq!((), { () }) ，这样就好理解了

[TheBigFish]

let a: () = {};
assert_eq!((), a);

[ccodingX]

{}语句块由于没有返回值，会隐式返回单元类型()，是这么理解吧

[lesonky]

js之前（2019年左右）有一个 do { 表达式 } ，貌似也是这个路子，叫什么块级作用域返回值的提案，但是这都 2022了，还没通过。。。

[elxy]

个人理解，将表达式与语句区分开，主要是避免赋值(=)和逻辑判断(==)混淆的情况。

[chiehw]

表达式有值，而语句不常有。

[longguzzz]

1Rust 的函数体是由一系列语句组成，最后由一个表达式来返回值
2语句会执行一些操作但是不会返回一个值，而表达式会在求值后返回一个值
3一旦你在表达式后加上分号，它就会变成一条语句，再也不会返回一个值，请牢记！
4最后，表达式如果不返回任何值，会隐式地返回一个 ()

这些表述没有在逻辑上准确地区分概念，按照以上内容的表述，难免造成理解上的含混：
根据2，表达式既会返回值，而且“会返回值”是其区别于语句的重要特征，且按这样的表述是在强调“语句”和“表达式”是两个互斥概念，但4又暗示，表达式可以不返回值，但又紧接着说会返回()。所以“不返回值的表达式”指的是什么呢？
根据3，语句不会返回值，那么()到底是不是值呢？
这时候再看1，语句和表达式，这两个术语的含义含混之后，应该怎么理解“最后由一个表达式来返回值”呢？根据3，可以在最后的表达式上加上分号，再根据4能返回()，所以实际上最后可以用语句结尾并返回()

综合以上理由，这一部分的表达比较混乱。造成这个问题可能是因为写的时间比较早？
希望能结合Rust的AST以及《The Rust Reference》重新整理表述。
https://doc.rust-lang.org/reference/statements-and-expressions.html
https://doc.rust-lang.org/reference/statements.html
https://doc.rust-lang.org/reference/expressions.html
辛苦各位作者了。

[chiehw]

感觉需要平衡，在文章开头就引入那么多概念，会让其他人学起来更累。可以考虑在后面加个 ZST 的文章，重新整理表述貌似不是很恰当。

如果想要深入了解，可以看看 ZST。() 是一种类型，没有具体的值，但是不会占用任何内存空间，因为他会被编译器优化掉。再深入俺也不知道了。

A Zero-sized type (ZST) is a type that occupies no memory and is optimized away by the compiler. For example, a Vec<()> never allocates memory.
https://runrust.miraheze.org/wiki/Zero-sized_type

[longguzzz]

有道理，那这里或许可以稍微模糊一下Rust语句和表达式是否返回值的概念，然后重点区分一下“表达式”、“语句”、“表达式语句”这几者，这样应该不会一开始就太复杂。

尽量考虑在不引入太多无关概念的情况下，加入《Rust 参考手册》里对表达式和语句的定义：

1. 表达式 求值/计算为(evaluates to) 值，并在 求值(evaluation) 期间表达出效果。里面不强调表达式的返回值。见表达式 - Rust 参考手册 中文版
2. `Rust 中的语句则主要用于包含表达式求值，以及显式地安排表达式的求值顺序。语句和表达式 - Rust 参考手册 中文版里面不强调语句的返回值。
3. 表达式语句是对表达式求值并忽略其结果的语句。通常，表达式语句存在的目的是触发对其内部的表达式的求值时的效果。见语句 - Rust 参考手册 中文版

另外可以考虑是否加入这两个表述，也就是相互间怎么通过组合来构造更大的语法结构的表述。

1. 语句是块(block)的一个组件，反过来，块又是其外层表达式或函数的组件。见语句 - Rust 参考手册 中文版里对语句的描述。

2. 许多表达式包含子表达式，此子表达式也被称为此表达式的操作数。每种表达式都表达了以下几点含义：
   . 在对表达式求值时是否对操作数求值
   . 对操作数求值的顺序
   . 如何组合操作数的值来获取表达式的值
   基于对这几种含义的实现要求，表达式通过其内在结构规定了其执行结构。
   块只是另一种表达式，所以块、语句和表达式可以递归地彼此嵌套到任意深度。

见表达式 - Rust 参考手册 中文版

综合以上材料，个人的理解大概如下：

1. Rust基本上可以看是“表达式“组成的（未找到“基本上”的例外），而表达式就是“要么算出某些值，要么实现某种效果”的代码。
2. 存在不用于计算值的表达式（也就是说是用来实现“某种效果”的），比如continue表达式，见循环表达式 - Rust 参考手册 中文版，使用效果及其意义在于：continue用在for循环的let addition: u32 = match i%2 == 1 {}的结构里，通过“不返回值”来满足u32的类型要求，同时又可以满足写码人进行流程控制的需求。见发散函数 - 通过例子学 Rust 中文版。也可以思考一下break counter * 2这种表达式的“类型”与“值”，见rust - Difference between statement and expressions - Stack Overflow
3. 不返回值的语义，存在“返回unit”与“不返回”两种微妙的差别。
4. （？）语句主要用来修改执行环境，例如声明语句通过声明将字符串名称与某块内存地址绑定，或者，表达式语句则实现某种计算或效果。因为有时候只想要效果，不想要值，那么在表达式后面加上;变成表达式语句之后，表示我会去求值（evaluation，从而产生某种效果），而同时丢弃计算出的值。比如，v.pop();会改变内存里的Vec，但是拿出来的值我不打算要，直接丢了。比如[1];就是抛弃[1]这个索引表达式，那么意思也就是“不返回值”里的“返回unit”。
5. 结合4，所以，实际上语句又可以理解成返回()的一种特殊表达式。从而可以将Rust理解为“由表达式构成的语言”。也就是语句和表达式 - Rust 参考手册 中文版所言的Rust 基本上是一种表达式语言。这意味着大多数形式的求值或生成表达效果的计算的都是由表达式的统一句法类别来指导的。每一种表达式通常都可以内嵌到另一种表达式中，表达式的求值规则包括指定表达式产生的值和指定其各个子表达式的求值顺序。

我不了解Rust的编译细节，所以也不知道根据各类文字进行的以上理解对还是不对。不过，逻辑上尚未发现明显矛盾，各类情况大体上应该是准确的。

[longguzzz]

我又往后看了一下，发现2.2.4函数这一章里，在内容上有提到发散函数、()、返回值这些细节的差别，逻辑上为了突出函数式编程的理念，强调表达式与语句的差异。
为了突出函数式编程的理念，确实有必要区分表达式和语句的差异。但仍旧建议补充一下“表达式语句”的概念。😶‍🌫️
辛苦各位作者了。

[inkwise]

打卡

[Wh1isper]

个人认为用表达式作为返回值对于第一次见到的人比较震撼，也容易犯错，看代码的时候要主要最后一行有没有分号。但是似乎函数签名可以指定返回值类型以及是否无返回值，可能二者合用是比较好的实践

[qstommyshu]

其实我感觉这个还是怪怪的，有时候我就不知道该怎么区分statement 还是 expression

[qstommyshu]

为什么这里 x += 2 也一直都是表达式(statement)? 没有分号不就应该会返回值吗？有没有什么比较好的办法来断定哪些操作是语句哪些操作是返回值？

// 使用两种方法让代码工作起来
fn main() {
   let v = {
       let mut x = 1;
       x += 2
   };

   assert_eq!(v, 3);
}

[qstommyshu]

上面说的statement应该是语句，不小心搞混了。。。
不知道怎么edit 我原来的post， 只好在下面回复了。在这个例子里 x+1 是表达式，是因为 += 这个function 里指定了不会返回值吗？ 我的理解里x + 1 和 x += 1 应该都是一样的？

fn main() {
    let y = {
        let x = 3;
        x + 1
    };

    println!("The value of y is: {y}");
}

[0xDamn]

我的理解里x + 1 和 x += 1 应该都是一样的？

这两者不一样：

• x + 1 返回计算结果4
• x += 1 等价于 x = x + 1: 首先执行x + 1 表达式返回值为4，接着赋值给x，相当于x = 4，赋值表达式的返回恒为()。所以x+=1返回()。

[LenSource]

可以这样理解么：使用 花括号包裹的语句块就一定是一个表达式？

[jinmingzhuo]

总感觉语句块跟表达式（expression）不太一样，虽然语句块也会返回值，但是实际上返回的是语句块中expression的值，比如{}默认返回()。 而且expression一定会结束当前语句块的；

fn main() {
{}
{}// 正常
}

fn main() {
()
()//报错
}

[ywenhao]

报错信息都有注释解释，太太太贴心了。