一、函数：所有权与生命周期的“契约边界”

在Rust中，函数（fn）远不止是可重用的代码块。它是Rust所有权系统和借用检查器（Borrow Checker）执行其安全保证的核心边界。每个函数签名都是一份由编译器严格执行的**“安全契约”**。这份契约精确地定义了数据如何流入函数（参数传递），以及数据如何流出函数（返回值）。

这种设计的哲学是“编译期显式化”。与C++的“拷贝构造”或Java的“一切皆引用”不同，Rust的参数传递机制是其“移动语义”（Move Semantics）和“借用”（Borrowing）规则的直接体现。理解参数传递，就是理解Rust如何在其著名的“零成本抽象”之上构建内存安全和线程安全。

二、参数传递的三种模式：移动、借用与复制

Rust中的参数传递始终是“按值传递”（Pass-by-Value）。但这句“行话”极易引起误解。关键在于，被传递的“值”是什么？在Rust中，这个“值”可能是数据本身的所有权，也可能是一个临时的“引用”。

1. 模式一：T (移动语义 - 转移所有权)

当你传递一个拥有堆内存（如String, Vec<T>, Box<T>）且未实现Copy trait的类型T时，你传递的是该值的所有权。

• 契约：调用者（Caller）将其对数据的所有权永久性地转移给被调用者（Callee，即函数）。

• 后果：调用者在调用函数后，将失去对该数据的所有权，编译器会禁止其再次访问该数据。

• 深度实践：这种模式在API设计中称为“接收器”（Sink）。它用于那些需要“消耗”或“接管”数据的函数。例如，将一个任务提交给新线程（thread::spawn）或一个构造者模式（Builder Pattern）的最终build()方法。

2. 模式二：&T 与 &mut T (借用语义 - 临时访问)

这是Rust中最常用、最符合人体工程学的方式。你不是传递数据本身，而是传递一个对数据的引用（即“借用”）。

• &T (共享借用)：

  • 契约：调用者授予函数对数据的只读访问权。

  • 后果：调用者保留所有权。在借用期间（由生命周期决定），调用者自己也只能只读访问该数据。可以同时存在多个&T。

• &mut T (独占借用)：

  • 契约：调用者授予函数对数据的可写访问权。

  • 后果：调用者保留所有权，但在借用期间，调用者不能以任何方式访问该数据。这是Rust在编译期防止数据竞争（Data Race）的核心机制：“别名与可变性互斥” (Aliasing XOR Mutability)。

深度实践：&mut T的排他性是Rust安全并发的基石。编译器强制在任何时刻，一个可变的数据只能有一个“入口”，从而在没有锁的情况下保证了线程安全。

3. 模式三：T where T: Copy (复制语义)

对于实现了Copy trait的类型（主要是存储在栈上的标量类型，如i32, f64, bool, char，以及完全由Copy类型组成的元组），情况有所不同。

• 契约：当传递T: Copy的值时，Rust会按位复制（bit-wise copy）该数据。

• 后果：函数得到的是一个全新的、独立的副本。调用者仍然保留其原始值的所有权，并可以继续使用。

• 深度实践：这看起来像C语言的“按值传递”，但它在Rust中是显式的，由Copy trait控制。你不能为一个拥有堆内存的String实现Copy，因为那将破坏其单一所有权的保证。

三、专业API设计：从“能用”到“好用”

一个专业的Rust API设计师，其思考的重点在于如何通过函数签名，最小化调用者的心智负担和性能开S。

1. 实践一：优先使用&T，按需使用&mut T，最后才考虑T

这是API设计的“最小权限原则”。

• 如果你的函数只需要读取数据，总是使用&T。

• 如果你的函数需要修改数据，使用&mut T。

• 只有当你的函数需要消耗或接管数据时，才使用T。

2. 实践二：优先使用切片 (&str, &[T])

这是一个经典的Rust API设计模式。

• 坏实践：fn process(text: &String)

• 好实践：fn process(text: &str)

为什么？&str是一个切片，它是一个更通用的接口。&String可以通过“Deref Coercion”（解引用转换）自动转为&str，但字符串字面量（"hello"）本身就是&str。如果函数签名是&String，它将无法接受"hello"，迫使调用者进行不必要的to_string()堆分配。

同理，优先使用&[T]而不是&Vec<T>。

3. 实践三：利用impl Trait实现人体工程学

在泛型函数中，传统签名可能很繁琐：
fn notify<N: Notifier>(notifier: &N)

在现代Rust中，参数位置的impl Trait提供了更简洁的写法：
fn notify(notifier: &impl Notifier)

这隐藏了泛型参数，使API更清晰，同时仍然实现了编译期的静态分发（零成本抽象）。

4. 实践四：利用AsRef<T>或Into<T>处理灵活性

当你希望一个函数能接受多种“类似”的类型时（例如，接受String、&String或&str作为路径）：

• fn open<P: AsRef<Path>>(path: P)

AsRef<T> trait允许在不产生新分配的情况下，廉价地从一个类型借用到另一个类型的引用。这是构建高度灵活API的专业技巧。

四、返回值：所有权的回传与()

Rust是基于表达式的语言。函数的返回值是函数体最后一个表达式的值（如果省略分号）。

• 返回所有权：函数可以像传递参数一样，将一个值的所有权移出函数，返回给调用者。fn create_string() -> String { ... }

• 返回借用：这需要生命周期（Lifetime）参数，以向编译器证明返回的引用所指向的数据将比函数本身活得更久。

• 返回()（单元类型）：在C或Java中，这叫void。但在Rust中，()是一个真实的、零大小的类型。一个不显式声明返回值的函数，其契约是-> ()。这种统一性使泛型编程和Trait设计更为简洁。

总结

Rust的函数定义与参数传递，绝不是简单的语法。它是所有权系统的核心战场，是API设计者向编译器和用户做出安全承诺的“契约签订处”。通过移动语义（T）实现资源的清晰转移，通过借用语义（&T, &mut T）实现高效安全的临时访问，Rust在函数边界处就锁定了内存安全，实现了“无畏并发”的宏伟目标