3.4 函数和注释

3.4.0. 写在正文之前

欢迎来到Rust自学的第三章，一共有6个小节，分别是:

通过第二章的小游戏(没看的初学者强烈建议看一下)，相信你已经学会了基本的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还有一种很重要的文档注释，以后单独讲。

Keyboard shortcuts