basic/base-type/function

[giscus[bot]]

basic/base-type/function

https://course.rs/basic/base-type/function.html

[ssbunny]

有些抄袭 Rust in Action 的嫌疑。

[qstommyshu]

作者不都说了是参考了很多书的嘛，也都license 里的书也都罗列上去了

[viiccwen]

傻眼==哪來的滾哪去

[korman]

你这想法很棒！中国人就应该这样

robyn-he
Nov 21, 2022
损害你的利益了吗？你学到东西不就行了

[YiiMus]

你无敌了，孩子

[ZYKWLJ]

沙碧

[SheilaLundin]

怎么把十六进制的字符串转整数类型？
"0x1F".parse::().unwrap()会panic

[liCells]

https://doc.rust-lang.org/std/keyword.as.html

[luqitao]

usize::from_str_radix("0x1F".trim_start_matches("0x"), 16).unwrap();

[Seryta]

let x = 0x2F as i32;

[Datu1213]

Seryta 哥的办法好啊，干净漂亮。

[tabris233]

请教下，函数返回这块 从代码风格来讲是用 return 好一些还是用最后一个表达式好一些？

add1 和 add2 哪一个更好呢？

fn add1(a: i32, b: i32) -> i32 {
    a + b
}

fn add2(a: i32, b: i32) -> i32 {
    return a + b
}

[h2222]

写了3年🐍, 接受不了不写return

[Datu1213]

不写return不如杀了我。

[ZinLiao]

JSer表示必须写return

[hhhyyyy99]

还是喜欢写return

[ZYKWLJ]

写不写都OK，不写更加简介，写了更加结构清晰，主要是统一 不要这里写，哪里有不写

[hellomrbigshot]

fn plus_or_minus(x:i32) -> i32 {
    if x > 5 {
        return x - 5
    }

    x + 5
}

fn main() {
    let x = plus_or_minus(5);

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

对于这个函数我有一个疑问。
我在 if 判断后可以不用 return 直接用表达式返回么。我测试了一下发现这么写会报错

fn plus_or_minus(x:i32) -> i32 {
  if x > 5 {
    x - 5 // mismatched types expected `()`, found `i32`
  }
  x + 5
}

已知 if xxx {} 这样是一个代码块，是可以用表达式返回值的，那这么写为什么会报错呢。
我又测试了在 return x - 5后面加引号return x - 5; 输出结果不变。

[yxxuweb]

这题可以理解这个 if expressions without else evaluate to ()，应该就是知道为啥编译会报错了。

[yxxuweb]

理解：if 在 Rust中也是表达式，函数内部 if 因为没有else 相当于 return ()，但是我们函数定义的时候，返回值确实i32是，所以这里报 mismatched types expected (), found i32。

[yxxuweb]

其实编译器中提示了

main.rs(90, 5): expected this to be `()`
main.rs(92, 6): consider using a semicolon here: `;`
main.rs(91, 9): you might have meant to return this value: `return `, `;`

编译告诉我们

1. if表达式预期返回()
2. 考虑在if{}加上';' 如: if{};
3. 推测我们可能是想返回x-5的值，加上return 和 ; 如: return x-5;

这题的表达式有 if，x-5，x+5。如果从这3个表达式整体来看，我们就能理解为啥rust会报这样的错误了。
还是老老实实的使用return，表达式我们从其他语言转过来，确实需要时间去理解消化这种知识点。

[Tmem0rethinks]

我的理解是，是不是第一个函数有返回值，但是返回上一层函数后，就只是一个值，不是一个表达式（没有计算过程，也没有返回结果）。而return x-5是返回的是一个表达式x-5，在上一层函数中继续返回，所以不报错。

[lichenbuliren]

边看书边看评论大家一起学习的感觉还挺不错的，以前都是自己枯燥的啃书！！

[Yuan-Zhuo]

return x - 5 -> return x - 5;

更好吧？能返回x-5应该是return这个语句在起作用？

[cenmmy]

我也觉得return x - 5;更好，return x - 5;是一条语句，x - 5是表达式，return表示将x - 5表达式返回的值作为函数的返回值。

[ghost]

非常同意

[WhoChangedMyCode]

同意，使用 rustfmt 格式化代碼後，

return x - 5

會自動格式化成

return x - 5;

[codeSu97]

fn plus_or_minus(x:i32) -> i32 {
    if x > 5 {
        return x - 5
    }

    x + 5
}

fn main() {
    let x = plus_or_minus(5);

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

vscode 保存的时候，会在return后面加上;

[james-wangx]

格式化代码时也会加 ';'

[codeSu97]

通过 ; 结尾的表达式返回一个 ()

不太理解这句话 😭

[james-wangx]

单纯调用函数就是以 ';' 结尾的表达式呀，正如例子中的

use std::fmt::Debug;

fn report<T: Debug>(item: T) {
  println!("{:?}", item); // 这就是以 ';' 结尾的表达式，于是这个函数隐式返回 ()

}

[james-wangx]

严格上说不能叫做 "通过 ';' 结尾的表达式" ，因为以 ';' 结尾的是语句，所有应该叫做 "写成'表达式;'" 的形式，在这种情况下，函数返回 "()"

[Tiiwoo]

可以这么理解，函数会返回最后一个表达式的值，这个表达式一定是该函数的最后一个“句子”，所以如果最后一个句子不是表达式且没有 return 关键字，就等同于函数不会返回任何值，只会返回 ()

[killdayu]

语句和表达式

[SakigamiYang]

如果我想用古老一点的语言，是不是返回一对括号就是区分function和procedure的区别。

[cenmmy]

return加分号和不加分号的区别是什么？

[CutieDeng]

个人见解：
加了分号则是一个语句，返回一个 () 作为当前表达式的值
不加分号则是一个表达式，这个表达式的返回值可能是后面的东西
但好像没有啥区别，因为 return 是程序流程控制系列的语句，就像循环里 break 带一个返回值一样，对于当前代码的上下文明显没有影响——所以似乎也不太能区分？

[CutieDeng]

所以 return 语句的返回值是一个 ! 嘛？看起来这样设计更合理一些 emm.

[JustLoveBen]

parse::()

[JustLoveBen]

parse::() 的语法说明是什么呢？有了解的同学可以说明下吗？

[JustLoveBen]

是 parse::<i32>()，Markdown 语法需要处理先才能显示 <i32>

[noo-have]

这个是传一个类型参数i32

[ghost]

parse方法的作用是把&str解析（或转换）为另一种类型。::<> (turborfish符号)的作用就是告诉parse，另一种类型是什么。

[91wangmeng]

但是如果你不幸的以 表达式; 的方式作为函数的最后一行代码，就会报错：

这段话是不是有问题 语句才是;吧 表达式没有;

[james-wangx]

作者的意思可能是 ';' 前的是表达式，加上 ';' 就是语句了，要分开。

[FishGoddess]

永不返回的发散函数 ! 这个好像没啥用？不用这个也可以吧哈哈。。

[sunface]

有用的，例如在模式匹配的分支中，要求所有分支返回同样的类型，但是 ! 可以跟任何类型匹配

[FishGoddess]

噢噢，如果没有返回值的是 ()，这样和别的分支返回类型不一样就不行了是吧

[qianhaiyang]

有没有大佬解释下为什么返回值要写成这种形式，我感觉这种形式的返回值可读性很差

[lonexw]

"表达式"（expression）是一个单纯的运算过程，总是有返回值；"语句"（statement）是执行某种操作，没有返回值。函数式编程要求，只使用表达式，不使用语句。也就是说，每一步都是单纯的运算，而且都有返回值。

如果有函数式编程经验可能会对这部分很熟悉，RUST 有从 Haskshell 等函数式编程语言借鉴一些不错的能力。

了解一些基础：https://www.ruanyifeng.com/blog/2012/04/functional_programming.html

[xc2f]

类似js也有这种：
[1, 2, 3].map(i => i+1)

[ruilinWho]

似乎在写操作系统的时候，发散函数将非常有用？

[storage-db]

确实

[changsen-dev]

看成了骚娘们

[BiteFoo]

在哪里看到这个词？？？

[lzy1960]

有个问题，为什么循环函数的返回值可以任意写但能编译通过呢？
例如：

// 返回! 表示死循环
fn dead_end() -> i32 {
    loop {
        println!("一直循环下去");
    }
}

[yjshi2015]

这是个好问题，Rust编译器到底想干什么？

[sfgwfn1402]

点赞

[shengwong233]

练习题有点超纲了

[OnlyAIGC]

pass

[yjshi2015]

fn plus_or_minus(x:i32) -> i32 {
    if x > 5 {
        // return x - 5
        x - 5
    }

    x + 5
}

如上，把return x - 5 改为 x - 5，为什么会提示mismatched types，expected (), found i32，不是说好了不带分号就是表达式，计算完了就返回吗？为啥不返回x-5的值，而是单元类型() 呢？

[yjshi2015]

看了大家的讨论，有了一点理解：这里有3个表达式，所以Rust编译器就需要显式指定哪个作为最终的返回值。
第1个表达式：x - 5
第2个表达式：if x > 5 {……}，这个花括号{}
第3个表达式：x + 5

就像类型标注一样，如果Rust通过上下文可以推断出类型，那就不用显式指定，否则，就必须指定。我理解大概是这么个原因。

[mosttt]

因为：if expressions without else evaluate to ()，就是说如果没有else的条件表达式会被计算为()。但是你在if分支里返回的是i32，所有就类型不匹配了，如果你在x - 5后面加个';'，就不会报错了。同时注意你的if exp {}大括号后面没有分号，当成了表达式求值，要求两个分支都一样。如果大括号后面加了分号，说明这是一条语句，分支里'()'也同样要要返回语句。即加';'。可能说有有点乱，但我也懒得改了....

[JunliyOne]

如果我有个函数需要传入多个参数都是同类型的参数(a:i32,b:i32,c:i32,...)，有类似：(a,b,c...:i32)的简写方法吗

[xbsheng]

gpt: 在 Rust 中，没有直接的语法来简写多个同类型参数的声明。不过，你可以使用数组或元组来传递多个同类型的参数。

[hintcnuie]

let guess = "42".parse().expect("Not a number!");

这个例子有点熟悉😂

[incredibleIdea]

话说复数不是包括有理数么，”以及有理数、复数“这句话是不是有错..

[vsomo]

假如你的函数需要返回一个 u32 值，但是如果你不幸的以 表达式; 的语句形式作为函数的最后一行代码，就会报错：

表达式; 是不是要改成语句啊··表达式有返回 语句没有返回

[huangyecong]

这里没有讲到发散函数，但是练习题里面涉及到相关知识点~是不是漏了？

[fi-dev-tang]

遇到了一个困惑，在 fn never_return_fn() -> !{} 的实现里，看到 solution 里面写了 panic!() 或者 painc!();
这个分号是可加可不加的吗？
如果加了 ; 表示执行这个语句，说明 never_return_fn 的函数体里面执行 panic!(); panic!() 是永不返回，导致原来的 never_return_fn 永不返回
如果不加 ; 表示这个函数体返回一个表达式，表达式的值是 panic!() 这个永不返回的函数？所以说明 never_return_fn 实际上是一个永不返回的函数...

[binliexc]

有符号整数和无符号整数现在分别还有 i128 和 u128 两个类型·

[DataShare-duo]

good，学习了，上次遇到过这个问题

[thrinisty]

简单易懂，我爱死这作者了

[linglongfang]

或许数字类型可以标注的详细点i128 & u128 (其他语言过来的，默认最高8字节，虽然在后续的章节有描述，但是多标注一处也没啥坏处，有些人还是比较爱看综述)