Rust 函数定义与返回值详解

纸上星河

发布时间：2026-10-15| 4人浏览过

原创

Rust 中的函数是流程控制与功能封装的核心组件。本文将解析函数的参数类型定义、返回值类型规范，并重点介绍如何利用 Rust 的表达式特性简化斐波那契数列等函数的编写。

函数作为流程控制的本质

在底层实现上，函数调用与 if 条件判断、while 或 for 循环类似，都依赖于跳转指令。当程序进入函数时，执行主体转移至函数内部；函数执行完毕后，控制权返回原位。尽管从架构视角看它属于流程控制，但在实际开发中，我们通常将函数视为对特定功能的逻辑封装。鉴于 Rust 兼具面向过程与函数式编程的特性，函数在其语言生态中占据核心地位。

参数与返回值的类型注解

Rust 是静态类型语言，定义函数时需要明确标注参数类型和返回值类型，这与 TypeScript 的声明方式较为相似：

参数类型：在参数名后使用冒号 : 进行指定。
返回值类型：在参数列表后使用箭头 -> 符号表示返回类型。

如果函数不返回任何值，可以省略返回值类型注解，或者显式写为单元类型 ()。

第1步：定义带类型注解的基础函数

首先观察一个具有显式返回值的函数示例。下面的代码计算斐波那契数列的第 n 项：

fn fibonacci(n: u64) -> u64 {
    if n < 2 {
        return n;
    }
    return fibonacci(n - 1) + fibonacci(n - 2);
}

fn main() {
    // 输出结果: 斐波那契数列的第 10 项是：55
    println!("斐波那契数列的第 10 项是：{:?}", fibonacci(10));
}

在此示例中，参数 n 被定义为无符号 64 位整数 (u64)，函数同样返回 u64。传统做法是使用 return 关键字显式返回数值并结束函数执行。

第2步：利用表达式特性简化返回值

Rust 是基于表达式的语言。在大多数情况下，函数中的语句会求值为一个结果。如果某一行代码以分号 ; 结尾，它是一个“语句”（Statement），不返回具体值；如果不加分号，它是一个“表达式”（Expression），其结果就是该块的返回值。

基于此特性，我们可以去掉显式的 return 关键字，直接使用表达式完成赋值：

fn fibonacci(n: u64) -> u64 {
    if n < 2 {
        n       // 这里没有分号，n 的值作为整个 if-else 块的结果返回
    } else {
        fibonacci(n - 1) + fibonacci(n - 2)
    }
}

优化后的代码去掉了冗余的 return，逻辑更加紧凑且符合 Rust 惯用写法。只要最后一个表达式没有分号，它就会自动成为函数的返回值。

第3步：处理无返回值的函数

对于仅执行副作用（如打印日志）而不返回数据的函数，可以有两种书写方式：

省略返回值类型：编译器会自动推断其返回类型为 ()。
显式声明 ()：明确表示该函数不产生数据结果。

// 方式一：省略返回值类型
fn log1(message: &str) {
    println!("{}", message);
}

// 方式二：显式声明返回空元组类型
fn log2(message: &str) -> () {
    println!("{}", message);
}

fn main() {
    let message = "测试";
    log1(message);
    log2(message);
}

两种写法在编译层面完全等效。推荐使用省略写法使代码更简洁，或在需要强调不返回数据时使用 -> () 提高可读性。