💡 如果想阅读最新的文章,或者有技术问题需要交流和沟通,可搜索并关注微信公众号“希望睿智”。

概述

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

30天拿下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);
}