【零基础学Rust | 基础系列 | 函数，语句和表达式】函数的定义，使用和特性

---

---

简介

在Rust编程中，函数，语句和表达式是构建程序的基础元素。本篇文章将详细介绍这些元素的定义，使用和特性，并提供相关的代码示例。

一，函数

在Rust编程中，函数是一种基本的代码组织和复用方式。函数将一段代码封装起来，使其可以在程序中多次使用，提高了代码的可读性和可维护性。

1，函数的定义

在Rust中，函数的定义以关键字fn开始，后跟函数名，参数列表，返回值类型和函数体。函数名应该清晰地表达函数的功能，参数列表中的每个参数都有一个名字和一个类型，返回值类型是函数返回的数据类型，函数体是由花括号包围的一段代码。

例如，定义一个计算两个整数和的函数：

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

在这个函数中，a和b是参数，i32是参数和返回值的类型，a + b是函数体。

2，函数的调用

函数定义后，可以通过函数名和参数列表来调用。函数调用会执行函数体中的代码，并返回一个值。

例如，调用上面定义的add函数：

fn main() {let sum = add(1, 2);println!("The sum is {}", sum);
}

在这个例子中，add(1, 2)是函数调用，它会执行add函数的函数体，并返回结果3。

3，函数的参数

函数的参数是在函数定义时声明的一些变量，它们在函数调用时被赋值。函数参数可以是任何类型，包括基本类型，复合类型，甚至是函数类型。

例如，定义一个接受函数作为参数的函数：

fn apply<F: Fn(i32) -> i32>(f: F, x: i32) -> i32 {f(x)
}fn square(x: i32) -> i32 {x * x
}fn main() {let result = apply(square, 5);println!("The result is {}", result);
}

在这个例子中，apply函数接受一个函数f和一个整数x作为参数，它调用函数f并传入x，然后返回结果。

4，函数的返回值

函数的返回值是函数执行后返回的结果。在函数定义中，返回值类型是在参数列表后的->符号后指定的。如果函数没有返回值，可以省略->和返回值类型。

函数体的最后一个表达式就是函数的返回值，可以省略return关键字。如果需要在函数体中的其他地方返回值，可以使用return关键字。

例如，定义一个可能提前返回的函数：

fn max(a: i32, b: i32) -> i32 {if a > b {return a;}b
}

在这个函数中，如果a > b，则提前返回a，否则返回b。

---

二，语句和表达式

在Rust编程中，语句和表达式是两种基本的代码元素，它们构成了Rust程序的主体。理解语句和表达式的含义和用法，是掌握Rust编程的关键。下面将详细介绍语句和表达式的定义，特性和用法。

1，语句

在Rust中，语句是执行操作但不返回值的代码片段。语句主要分为两类：声明语句和表达式语句。

1. 声明语句

声明语句用于声明变量或函数。例如，以下代码中的let x = 5;是一个声明语句，它声明了一个变量x并赋值为5。

fn main() {let x = 5;
}

在Rust中，变量默认是不可变的，如果需要改变变量的值，需要在声明时加上mut关键字。

fn main() {let mut x = 5;x = x + 1;
}

2. 表达式语句

表达式语句是包含表达式的语句。在Rust中，如果一个表达式后面跟着分号，那么它就变成了一个表达式语句，这个表达式的值会被丢弃。

例如，以下代码中的x = x + 1;是一个表达式语句，它包含了表达式x = x + 1。

fn main() {let mut x = 5;x = x + 1;
}

2，表达式

表达式是计算并返回值的代码片段。在Rust中，几乎所有的代码都可以被视为表达式。

例如，以下代码中的5，x + 1和{ let y = x + 1; y }都是表达式。

fn main() {let x = 5;let y = {let y = x + 1;y};
}

在这个例子中，{ let y = x + 1; y }是一个块表达式，它的值是最后一个表达式的值，即y。

在Rust中，表达式的类型是由它的值决定的。例如，表达式5的类型是i32，表达式x + 1的类型也是i32。

---

总结：

函数，语句和表达式是Rust编程的基础元素。理解它们的定义，使用和特性，是学习Rust的重要步骤。通过本篇文章的学习，应该对这些元素有了更深入的理解。在实际编程中，应尝试使用这些元素来构建和优化代码，提高代码的效率和可读性。