企业官网建设流程全解析

3.4 函数和注释

3.4.0. 写在正文之前

欢迎来到Rust自学的第三章，一共有6个小节，分别是:
- 变量与可变性
- 数据类型：标量类型
- 数据类型：复合类型
-函数和注释（本文）
- 控制流：if else
- 控制流：循环

通过第二章的小游戏(没看的初学者强烈建议看一下)，相信你已经学会了基本的Rust语法，而在第三章我们将更深一层，了解Rust中的通用的编程概念。

3.4.1. 函数的基本认识

• 声明函数使用关键字fn。
• 依照惯例，函数名和变量名使用蛇形命名规范：
• 所有字母都是小写，单词之间使用下划线分开
• 例子：another_function
• Rust语言不在乎自定义函数写在被调用前还是被调用后，只要函数已经被声明并且能够被调用就可以。这比某些古老的语言要好得多（C/C++：有被冒犯到）。下面是一个例子：即使自定义函数写在调用之后，依然可以正常运行。

fn main(){ println!("Hello World"); another_function(); } fn another_function(){ println!("Another Function"); }

3.4.2. 函数的参数

函数的参数实际上有两个名词：parameter（形参）和argument（实参）。
-形参指的是在定义函数或方法时声明的占位符，用来接收调用时传入的值。其作用是为函数提供一个通用的方式来处理外部数据，而不依赖具体的值。
-实参指的是传进这个函数的实际值。其作用是为函数逻辑在执行时提供具体的值。

fn main() { greet("Alice"); } fn greet(name: &str) { println!("Hello, {}!", name); }

在这个例子中:
-main函数中传给greet的"Alice"就是实参，它是调用greet时传给参数name的实际值。
-greet函数中的name是一个形参，表示greet需要一个&str类型的值作为输入。

在函数签名里，必须声明每个参数的类型，这样编译器就无需再对它进行推断。在上个例子中，name: &str里的&str就是name的类型。

函数可以有多个参数，每个参数都用逗号隔开。

3.4.3. 函数体中的语句和表达式

• 函数体由一系列语句组成，可选地以一个表达式结束。
• Rust是一个基于表达式的语言，下面所讲的语法大部分都跟Scala很像，因为两者都是以表达式为核心的编程模型。
• 语句是执行一些动作的指令。
• 表达式会计算产生一个值；表达式本身就是一个值。
• 函数的定义也是语句。
• 语句不返回值，所以不可以使用let把一个语句赋给一个变量。

fn main(){ let x = (let y = 6); }

Output:

error: expected expression, found `let` statement --> src/main.rs:2:11 | 2 | let x = (let y = 6); | ^^^ | = note: only supported directly in conditions of `if` and `while` expressions

在这个例子中，Rust编译器期待右边是一个表达式，但它发现的是一个let语句，所以会报错。有些语言允许类似写法，但Rust不行。

fn main(){ let y = { let x = 1; x + 3 }; println!("The value of y is: {}", y); }

在这个例子中，let y =后面大括号内的代码是一个表达式。这个代码块首先定义变量x并赋值为1，然后通过x + 3计算出一个值。这里，x + 3是一个表达式，而且因为它是代码块中最后一个表达式，所以它的值（1 + 3的结果，即4）就成为了整个代码块的返回值。最终，这个返回值被赋给y。程序运行时会打印The value of y is: 4。

如果在x + 3后加上分号;，那么x + 3就不再是表达式，而是语句。因为语句不会返回值，整个代码块的返回值就变成了()，也就是单元类型。在Rust中，()是一个特殊类型，它的唯一值就是()本身。因此，如果在x + 3后加上分号，y的类型就会是()，这意味着y不再存储计算结果，而是存储一个单元值。需要注意的是，()是一种有效类型，但不能通过println!直接打印。如果尝试打印y，编译器会报错，提示无法格式化()类型的值。

3.4.4. 函数的返回值

• 在->符号后边声明返回类型，但是不可以为返回值命名。
• 在Rust里，返回值就是函数体里面最后一个表达式的值。
• 若想提前返回，需使用return关键字，并指定一个值。

fn machine() -> u32 { 6657 } fn main(){ let wjq = machine(); println!("The value of wjq is: {}", wjq); }

在这个例子中，machine函数的返回类型被声明为u32。函数体中只有一个表达式，就是6657。因为它是表达式，所以后面没有分号。又因为它是函数体中的最后一个表达式（其实也就这一个表达式），所以它就是函数的返回值。

3.4.5. 注释

• 单行注释以//开头。
• 多行注释使用/* */结构。
  例子:

fn machine() -> u32 { 6657 } /*Let's go G2 Let's go Spirit Let's go NAVI */ fn main(){ let wjq = machine(); // 6657, go, go! println!("The value of wjq is: {}", wjq); }

Rust还有一种很重要的文档注释，以后单独讲。