函數(shù)在 Rust 語言中是普遍存在的。
通過之前的章節(jié)已經(jīng)可以了解到 Rust 函數(shù)的基本形式:
fn <函數(shù)名> ( <參數(shù)> ) <函數(shù)體>
其中 Rust 函數(shù)名稱的命名風(fēng)格是小寫字母以下劃線分割:
fn main() { println!("Hello, world!"); another_function(); } fn another_function() { println!("Hello, nhooo!"); }
運(yùn)行結(jié)果:
Hello, world! Hello, nhooo!
注意,我們在源代碼中的 main 函數(shù)之后定義了another_function。 Rust不在乎您在何處定義函數(shù),只需在某個地方定義它們即可。
Rust 中定義函數(shù)如果需要具備參數(shù)必須聲明參數(shù)名稱和類型:
fn main() { another_function(5, 6); } fn another_function(x: i32, y: i32) { println!("x 的值為 : {}", x); println!("y 的值為 : {}", y); }
運(yùn)行結(jié)果:
x 的值為 : 5 y 的值為 : 6
Rust 函數(shù)體由一系列可以以表達(dá)式(Expression)結(jié)尾的語句(Statement)組成。到目前為止,我們僅見到了沒有以表達(dá)式結(jié)尾的函數(shù),但已經(jīng)將表達(dá)式用作語句的一部分。
語句是執(zhí)行某些操作且沒有返回值的步驟。例如:
let a = 6;
這個步驟沒有返回值,所以以下語句不正確:
let a = (let b = 2);
表達(dá)式有計算步驟且有返回值。以下是表達(dá)式(假設(shè)出現(xiàn)的標(biāo)識符已經(jīng)被定義):
a = 7 b + 2 c * (a + b)
Rust 中可以在一個用 {} 包括的塊里編寫一個較為復(fù)雜的表達(dá)式:
fn main() { let x = 5; let y = { let x = 3; x + 1 }; println!("x 的值為 : {}", x); println!("y 的值為 : {}", y); }
運(yùn)行結(jié)果:
x 的值為 : 5 y 的值為 : 4
很顯然,這段程序中包含了一個表達(dá)式塊:
{ let x = 3; x + 1 };
而且在塊中可以使用函數(shù)語句,最后一個步驟是表達(dá)式,此表達(dá)式的結(jié)果值是整個表達(dá)式塊所代表的值。這種表達(dá)式塊叫做函數(shù)體表達(dá)式。
注意:x + 1 之后沒有分號,否則它將變成一條語句!
這種表達(dá)式塊是一個合法的函數(shù)體。而且在 Rust 中,函數(shù)定義可以嵌套:
fn main() { fn five() -> i32 { 5 } println!("five() 的值為: {}", five()); }
在上一個嵌套的實例中已經(jīng)顯示了 Rust 函數(shù)聲明返回值類型的方式:在參數(shù)聲明之后用 -> 來聲明函數(shù)返回值的類型(不是 : )。
在函數(shù)體中,隨時都可以以 return 關(guān)鍵字結(jié)束函數(shù)運(yùn)行并返回一個類型合適的值。這也是最接近大多數(shù)開發(fā)者經(jīng)驗的做法:
fn add(a: i32, b: i32) -> i32 { return a + b; }
但是 Rust 不支持自動返回值類型判斷!如果沒有明確聲明函數(shù)返回值的類型,函數(shù)將被認(rèn)為是"純過程",不允許產(chǎn)生返回值,return 后面不能有返回值表達(dá)式。這樣做的目的是為了讓公開的函數(shù)能夠形成可見的公報。
注意:函數(shù)體表達(dá)式并不能等同于函數(shù)體,它不能使用 return 關(guān)鍵字。