30 天拿下 Rust 之函数详解

概述

在 Rust 中，函数是程序的基本构建块，是代码复用的基本单位，用于封装一系列执行特定操作和计算的语句。函数是可重用的代码片段，可以接受输入参数并产生输出。通过合理使用函数，可以提高代码的可读性、可维护性和可重用性。

函数的定义

在 Rust 中，函数通过 fn 关键字进行定义，后面跟着函数名、参数列表（如果有的话）、返回类型（如果有的话）和函数体。参数列表中的每个参数都需要明确其类型。函数的返回类型可以在函数签名中省略，此时 Rust 编译器会推断出返回类型为()，表示该函数不返回任何值。函数体由一系列语句组成，用于执行特定的操作和计算。

fn func_name(parameter1: Type1, parameter2: Type2) -> ReturnType {    // 函数体}

下面，我们详细介绍函数定义中的各个元素。

函数名：Rust 中的函数名使用 snake_case 规范风格，即：所有字母小写，并使用下划线分隔单词。

参数列表：函数可以有一系列的输入参数，参数之间使用逗号分隔。参数的类型必须在函数签名中声明，这样编译器就能知道如何处理和传递这些参数。函数参数是传递给函数的值，它们可以在函数体内被使用。

返回类型：函数可以返回一个值，这个值可以是任何类型。如果函数需要返回一个值，可以在函数签名中指定返回类型，并在函数体中使用 return 关键字来返回一个值。如果函数不需要返回值，可以使用()作为返回类型。

函数体：是由一对大括号{}包围的代码块，其中包含了执行特定操作和计算的语句。函数体中的语句以分号;结尾，表示语句的结束。函数体内可以定义其他模块，比如：变量、常量、其他函数等。

函数调用：是通过在函数名后面加上一对圆括号()来完成的，圆括号中可以传递参数给函数。如果函数不需要参数，圆括号可以省略。Rust 不关心函数定义所在的位置，只要函数被调用时，出现在调用之处可见的作用域内即可。注意：与 C/C++不同，Rust 中没有类似头文件的概念，函数的定义和实现都在 rs 文件中编写。

函数的具体用法

1、无参函数。在下面的示例代码中，我们定义了一个名为 greet 的无参函数，用于打印一条问候信息。在 main 函数中，我们调用了这个 greet 函数。

fn greet() {    println!("Hello, World");}
fn main() {    greet();}

2、有参函数，值传递方式。有参函数接收一个或多个参数，并可以在函数体内使用这些参数进行计算或操作。默认情况下，Rust 中的函数参数是通过值传递的，这意味着函数接收的是原始值的一个副本。

fn add(x: i32, y: i32) -> i32 {    return x + y;}
fn main() {    let result = add(66, 99);    println!("Result is: {}", result);}

在上面的示例代码中，我们定义了一个名为 add 的有参函数，接收两个 i32 类型的参数 x 和 y，并返回它们的和。在 main 函数中，我们调用了 add 函数，并将结果存储在变量 result 中，最后打印出来。

3、有参函数，引用传递方式。可以通过引用传递参数来避免复制大对象的成本，或修改原对象。

fn increase_array(array: &mut [i32], index: usize) {    array[index] += 66;}
fn main() {    let mut array = [100, 200, 300];    increase_array(&mut array, 1);    println!("{:?}", array);}

在上面的示例代码中，我们定义了一个名为 increase_array 的函数。该函数接收两个参数：一个可变引用到整数数组和一个索引。函数的功能是：在给定索引位置上的数组元素增加 66。接下来，我们创建了一个可变的整数数组 array ，并初始化为[100, 200, 300]。然后，我们调用 increase_array 函数，并传入对 array 数组的可变引用以及索引值 1。这意味着，函数将会修改原始数组在索引 1 处（即：第二个元素）的值。最后，我们使用 println!宏打印出修改后的 array 数组的内容，通过格式化字符串{:?}来显示其详细结构。由于我们在索引 1 的位置上加了 66，所以原数组中的第二个元素从 200 变成了 266。

返回语句与表达式

在 Rust 中，函数的返回值可以通过两种方式产生：第一种方式是使用 return 语句，第二种方式是使用函数体的最后一个表达式作为隐式返回值。

1、使用 return 语句。

return 语句用于明确地指定函数的返回值。当 return 语句被执行时，函数会立即结束，并返回指定的值。return 语句后面跟着要返回的值，该值必须与函数签名中声明的返回类型相匹配。

fn add(x: i32, y: i32) -> i32 {    // 使用return语句明确返回值    return x + y;}

2、使用函数体的最后一个表达式作为隐式返回值。

如果函数体只包含一个表达式，并且这个表达式的结果与函数签名中声明的返回类型相匹配，那么这个表达式的结果将自动作为函数的返回值，无需使用 return 语句。

fn add(x: i32, y: i32) -> i32 {    // 最后一个表达式作为隐式返回值    x + y}

另外，在 Rust 中，不仅整个函数体可以有一个返回值，单个表达式也可以有返回值。这意味着你可以在函数中的任何位置使用表达式，并且该表达式的结果可以被用作函数的返回值，或者在更大的表达式中被进一步使用。

fn main() {    let a = 66;
    let b = {        let a = 99;        // 代码块中，最后一个表达式作为返回值        a + 1    };
    // 输出：66, 100    println!("{0}, {1}", a, b);}