30天拿下Rust之函數(shù)詳解

概述

在Rust中,函數(shù)是程序的基本構(gòu)建塊,是代碼復(fù)用的基本單位,用于封裝一系列執(zhí)行特定操作和計算的語句。函數(shù)是可重用的代碼片段,可以接受輸入?yún)?shù)并產(chǎn)生輸出。通過合理使用函數(shù),可以提高代碼的可讀性、可維護(hù)性和可重用性。

函數(shù)的定義

在Rust中,函數(shù)通過fn關(guān)鍵字進(jìn)行定義,后面跟著函數(shù)名、參數(shù)列表(如果有的話)、返回類型(如果有的話)和函數(shù)體。參數(shù)列表中的每個參數(shù)都需要明確其類型。函數(shù)的返回類型可以在函數(shù)簽名中省略,此時Rust編譯器會推斷出返回類型為(),表示該函數(shù)不返回任何值。函數(shù)體由一系列語句組成,用于執(zhí)行特定的操作和計算。

fn func_name(parameter1: Type1, parameter2: Type2) -> ReturnType {

? ? // 函數(shù)體

}

下面,我們詳細(xì)介紹函數(shù)定義中的各個元素。

函數(shù)名:Rust中的函數(shù)名使用snake_case規(guī)范風(fēng)格,即:所有字母小寫,并使用下劃線分隔單詞。

參數(shù)列表:函數(shù)可以有一系列的輸入?yún)?shù),參數(shù)之間使用逗號分隔。參數(shù)的類型必須在函數(shù)簽名中聲明,這樣編譯器就能知道如何處理和傳遞這些參數(shù)。函數(shù)參數(shù)是傳遞給函數(shù)的值,它們可以在函數(shù)體內(nèi)被使用。

返回類型:函數(shù)可以返回一個值,這個值可以是任何類型。如果函數(shù)需要返回一個值,可以在函數(shù)簽名中指定返回類型,并在函數(shù)體中使用return關(guān)鍵字來返回一個值。如果函數(shù)不需要返回值,可以使用()作為返回類型。

函數(shù)體:是由一對大括號{}包圍的代碼塊,其中包含了執(zhí)行特定操作和計算的語句。函數(shù)體中的語句以分號;結(jié)尾,表示語句的結(jié)束。函數(shù)體內(nèi)可以定義其他模塊,比如:變量、常量、其他函數(shù)等。

函數(shù)調(diào)用:是通過在函數(shù)名后面加上一對圓括號()來完成的,圓括號中可以傳遞參數(shù)給函數(shù)。如果函數(shù)不需要參數(shù),圓括號可以省略。Rust不關(guān)心函數(shù)定義所在的位置,只要函數(shù)被調(diào)用時,出現(xiàn)在調(diào)用之處可見的作用域內(nèi)即可。注意:與C/C++不同,Rust中沒有類似頭文件的概念,函數(shù)的定義和實現(xiàn)都在rs文件中編寫。

函數(shù)的具體用法

1、無參函數(shù)。在下面的示例代碼中,我們定義了一個名為greet的無參函數(shù),用于打印一條問候信息。在main函數(shù)中,我們調(diào)用了這個greet函數(shù)。

fn greet() {

? ? println!("Hello, World");

}

fn main() {

? ? greet();

}

2、有參函數(shù),值傳遞方式。有參函數(shù)接收一個或多個參數(shù),并可以在函數(shù)體內(nèi)使用這些參數(shù)進(jìn)行計算或操作。默認(rèn)情況下,Rust中的函數(shù)參數(shù)是通過值傳遞的,這意味著函數(shù)接收的是原始值的一個副本。

fn add(x: i32, y: i32) -> i32 {

? ? return x + y;

}

fn main() {

? ? let result = add(66, 99);

? ? println!("Result is: {}", result);

}

在上面的示例代碼中,我們定義了一個名為add的有參函數(shù),接收兩個i32類型的參數(shù)x和y,并返回它們的和。在main函數(shù)中,我們調(diào)用了add函數(shù),并將結(jié)果存儲在變量result中,最后打印出來。

3、有參函數(shù),引用傳遞方式??梢酝ㄟ^引用傳遞參數(shù)來避免復(fù)制大對象的成本,或修改原對象。

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的函數(shù)。該函數(shù)接收兩個參數(shù):一個可變引用到整數(shù)數(shù)組和一個索引。函數(shù)的功能是:在給定索引位置上的數(shù)組元素增加66。接下來,我們創(chuàng)建了一個可變的整數(shù)數(shù)組array ,并初始化為[100, 200, 300]。然后,我們調(diào)用increase_array函數(shù),并傳入對array數(shù)組的可變引用以及索引值1。這意味著,函數(shù)將會修改原始數(shù)組在索引1處(即:第二個元素)的值。最后,我們使用println!宏打印出修改后的array數(shù)組的內(nèi)容,通過格式化字符串{:?}來顯示其詳細(xì)結(jié)構(gòu)。由于我們在索引1的位置上加了66,所以原數(shù)組中的第二個元素從200變成了266。

返回語句與表達(dá)式

在Rust中,函數(shù)的返回值可以通過兩種方式產(chǎn)生:第一種方式是使用return語句,第二種方式是使用函數(shù)體的最后一個表達(dá)式作為隱式返回值。

1、使用return語句。

return語句用于明確地指定函數(shù)的返回值。當(dāng)return語句被執(zhí)行時,函數(shù)會立即結(jié)束,并返回指定的值。return語句后面跟著要返回的值,該值必須與函數(shù)簽名中聲明的返回類型相匹配。

fn add(x: i32, y: i32) -> i32 {

? ? // 使用return語句明確返回值

? ? return x + y;

}

2、使用函數(shù)體的最后一個表達(dá)式作為隱式返回值。

如果函數(shù)體只包含一個表達(dá)式,并且這個表達(dá)式的結(jié)果與函數(shù)簽名中聲明的返回類型相匹配,那么這個表達(dá)式的結(jié)果將自動作為函數(shù)的返回值,無需使用return語句。

fn add(x: i32, y: i32) -> i32 {

? ? // 最后一個表達(dá)式作為隱式返回值

? ? x + y

}

另外,在Rust中,不僅整個函數(shù)體可以有一個返回值,單個表達(dá)式也可以有返回值。這意味著你可以在函數(shù)中的任何位置使用表達(dá)式,并且該表達(dá)式的結(jié)果可以被用作函數(shù)的返回值,或者在更大的表達(dá)式中被進(jìn)一步使用。

fn main() {

? ? let a = 66;

? ? let b = {

? ? ? ? let a = 99;

? ? ? ? // 代碼塊中,最后一個表達(dá)式作為返回值

? ? ? ? a + 1

? ? };

? ? // 輸出:66, 100

? ? println!("{0}, {1}", a, b);

}

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺,僅提供信息存儲服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • 概述 Rust作為一種系統(tǒng)編程語言,近年來在開發(fā)者社區(qū)中逐漸嶄露頭角。其獨(dú)特的所有權(quán)系統(tǒng)和內(nèi)存安全特性,使得Rus...
    希望_睿智閱讀 567評論 -1 2
  • 函數(shù) fn <函數(shù)名> ( <參數(shù)> ) <函數(shù)體> Rust 函數(shù)名稱的命名風(fēng)格是小寫字母以下劃線分割 Rust...
    明明就_c565閱讀 327評論 0 1
  • 在編程中,函數(shù)是一段執(zhí)行特定任務(wù)的代碼,它是大多數(shù)編程語言中的基本構(gòu)建塊之一。在Rust中,函數(shù)也是組織代碼和實現(xiàn)...
    zxs1215閱讀 194評論 0 1
  • 一、簡介 Rust是Mozilla公司推出的一門全新的編程語言,1.0版本于2015年5月15日正式對外發(fā)布。作為...
    區(qū)塊鏈習(xí)生閱讀 2,374評論 1 1
  • 概念 變量(關(guān)鍵字:let)變量默認(rèn)是不可改變的(immutable),如下的代碼運(yùn)行則會報錯。fn main()...
    xinmin閱讀 259評論 0 0

友情鏈接更多精彩內(nèi)容