函数

Rust 函数

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

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

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

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

实例

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

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

运行结果：

  Hello, world!
  Hello, jsrun!

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

函数参数

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

实例

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

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

运行结果：

  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 关键字。