在本章中，我们将深入探讨 Rust 中函数的参数传递方式以及如何从函数中返回值。这些概念对于理解 Rust 的所有权系统至关重要，同时也会帮助你写出更加高效、安全的代码。
函数参数
基础参数
Rust 中的函数可以通过多种方式接受参数。最基本的参数类型是简单的值传递，这意味着传入函数的参数会被复制到函数内部。例如：
fn add_one(x: i32) -> i32 {
x + 1
}
let num = 5;
let result = add_one(num);
println!("{} + 1 = {}", num, result);在这个例子中，add_one 函数接收一个 i32 类型的参数 x，并在其基础上加一。调用 add_one(num) 时，num 的值被复制到 x，函数执行完成后不会影响原始变量 num。
引用参数
Rust 提供了引用类型，允许函数访问而不拥有数据的所有权。这使得函数可以修改传入的数据或避免复制大对象。例如：
fn change_value(x: &mut i32) {
*x = *x + 1;
}
let mut num = 5;
change_value(&mut num);
println!("num = {}", num); // 输出：num = 6这里使用了可变引用 &mut i32，它允许我们改变引用指向的数据。注意，当使用可变引用时，同一作用域内不能有其他引用存在。
结构体作为参数
Rust 中的结构体也可以作为函数参数传递。通常我们会通过引用来传递结构体，以避免不必要的复制开销。例如：
-- -------------------- ---- -------
------ ----- -
-- ----
-- ----
-
-- ------------- ---- ------ --- ---- --- ---- -
--- -- ---
--- -- ---
-
--- --- ----- - ----- - -- -- -- - --
--------------- ------ --- ----
-------------- ----- -------- --------- -- ------- ---在这个例子中，我们定义了一个简单的 Point 结构体，并通过 move_point 函数移动点的位置。注意，我们使用了可变引用 &mut Point 来修改结构体的字段。
返回值
基础返回值
函数可以返回任意类型的值。返回值需要在函数签名中声明，位于 -> 符号之后。例如：
fn get_sum(a: i32, b: i32) -> i32 {
a + b
}
let sum = get_sum(5, 7);
println!("sum = {}", sum); // 输出：sum = 12在这个例子中，get_sum 函数接收两个 i32 类型的参数并返回它们的和。
多个返回值
虽然 Rust 不支持直接返回多个值，但可以通过元组（tuple）实现类似效果。例如：
fn get_coordinates() -> (i32, i32) {
(10, 20)
}
let (x, y) = get_coordinates();
println!("({}, {})", x, y); // 输出：(10, 20)这里，get_coordinates 函数返回一个包含两个整数的元组。我们可以在调用时将元组解构为单独的变量。
使用 Option 类型处理可能的错误
在处理可能会失败的操作时，Rust 建议使用 Option 类型来表示结果。Option 是一个枚举，有两个可能的值：Some(T) 和 None。例如：
-- -------------------- ---- -------
-- --------- ---- -- ---- -- ----------- -
-- - -- - -
----
- ---- -
------ - --
-
-
----- ---------- -- -
------------ -- ---------------- - ---- --------
---- -- ------------------ -- --------
-在这个例子中，divide 函数尝试除法操作，并根据是否除数为零返回 Some 或 None。我们使用 match 表达式来处理可能的结果。
总结
通过本节的学习，你应该对 Rust 中的参数传递方式以及如何从函数中返回值有了更深入的理解。正确使用这些机制不仅能够提高代码的效率，还能增强程序的安全性和稳定性。下一章我们将继续探索 Rust 的更多高级特性。