Rust 函数

函数在 Rust 语言中是普遍存在的。

通过之前的章节已经可以了解到 Rust 函数的基本形式： 

									fn <函数名> ( <参数> ) <函数体>

其中 Rust 函数名称的命名风格是小写字母以下划线分割：

实例

fn main ( ) {
    println ! ( "Hello, world!" ) ;
    another_function ( ) ;
}

fn another_function ( ) {
    println ! ( "Hello, yssmx!" ) ;
}

运行结果： 

									Hello, world!
Hello, yssmx!

注意，我们在源代码中的 main 函数之后定义了another_function。 Rust不在乎您在何处定义函数，只需在某个地方定义它们即可。

函数参数

Rust 中定义函数如果需要具备参数必须声明参数名称和类型：

实例

fn main ( ) {
    another_function ( 5 , 6 ) ;
}

fn another_function ( x : i32 , y : i32 ) {
    println ! ( "x 的值为 : {}" , x ) ;
    println ! ( "y 的值为 : {}" , y ) ;
}

运行结果： 

									x 的值为 : 5
y 的值为 : 6

函数体的语句和表达式

Rust 函数体由一系列可以以表达式（Expression）结尾的语句（Statement）组成。到目前为止，我们仅见到了没有以表达式结尾的函数，但已经将表达式用作语句的一部分。

语句是执行某些操作且没有返回值的步骤。例如： 

									let a = 6;

这个步骤没有返回值，所以以下语句不正确： 

									let a = (let b = 2);

表达式有计算步骤且有返回值。以下是表达式（假设出现的标识符已经被定义）： 

									a = 7
b + 2
c * (a + b)

Rust 中可以在一个用 {} 包括的块里编写一个较为复杂的表达式：

实例

fn main ( ) {
    let x = 5 ;

    let y = {
        let x = 3 ;
        x + 1
    } ;

    println ! ( "x 的值为 : {}" , x ) ;
    println ! ( "y 的值为 : {}" , y ) ;
}

运行结果： 

									x 的值为 : 5
y 的值为 : 4

很显然，这段程序中包含了一个表达式块： 

									{
    let x = 3;
    x + 1
};

而且在块中可以使用函数语句，最后一个步骤是表达式，此表达式的结果值是整个表达式块所代表的值。这种表达式块叫做函数体表达式。

注意： x + 1 之后没有分号，否则它将变成一条语句！

这种表达式块是一个合法的函数体。而且在 Rust 中，函数定义可以嵌套：

实例

fn main ( ) {
    fn five ( ) -> i32 {
        5
    }
    println ! ( "five() 的值为: {}" , five ( ) ) ;
}

函数返回值

在上一个嵌套的例子中已经显示了 Rust 函数声明返回值类型的方式：在参数声明之后用 -> 来声明函数返回值的类型（不是 : ）。

在函数体中，随时都可以以 return 关键字结束函数运行并返回一个类型合适的值。这也是最接近大多数开发者经验的做法：

实例

fn add ( a : i32 , b : i32 ) -> i32 {
    return a + b ;
}

但是 Rust 不支持自动返回值类型判断！如果没有明确声明函数返回值的类型，函数将被认为是"纯过程"，不允许产生返回值，return 后面不能有返回值表达式。这样做的目的是为了让公开的函数能够形成可见的公报。

注意： 函数体表达式并不能等同于函数体，它不能使用 return 关键字。