概述

在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);
}

💡 如果想閲讀最新的文章，或者有技術問題需要交流和溝通，可搜索並關注微信公眾號“希望睿智”。