1. Rust 函数基础从声明到调用Rust 的函数定义语法简洁而富有表现力。一个完整的函数声明包含以下要素fn function_name(param1: Type1, param2: Type2) - ReturnType { // 函数体 return value; // 显式返回 // 或者 value // 隐式返回 }1.1 函数签名解析函数签名是Rust强类型系统的核心体现。每个参数必须显式声明类型返回值类型通过箭头符号-指定。与动态语言不同这种显式类型声明虽然增加了编码时的约束但能有效预防运行时类型错误。注意即使没有返回值也必须明确标注- ()这是Rust零成本抽象原则的体现。空元组()表示单元类型相当于其他语言中的void。1.2 参数传递机制Rust的参数传递方式直接影响所有权语义默认传递发生所有权转移move语义引用传递使用借用保留所有权可变引用mut实现可修改借用fn process_string(s: String) { /* 取得所有权 */ } fn read_only(s: String) { /* 只读借用 */ } fn modify(s: mut String) { /* 可修改借用 */ }1.3 返回值处理技巧Rust函数的返回值处理有几个独特之处隐式返回最后一个表达式自动作为返回值不加分号提前返回使用return关键字多值返回通过元组实现fn calculate(x: i32) - (i32, i32) { let square x * x; let cube square * x; (square, cube) // 返回元组 }2. 函数高级特性解析2.1 函数指针与闭包Rust将函数作为一等公民支持函数指针和闭包两种可调用类型// 函数指针类型 type MathOp fn(i32, i32) - i32; fn apply(op: MathOp, a: i32, b: i32) - i32 { op(a, b) } // 闭包示例 let closure |x| x * 2;闭包与函数指针的关键区别闭包可以捕获环境变量闭包使用||语法而非fn闭包类型是唯一的不能直接用fn类型表示2.2 泛型函数实现Rust的泛型函数通过类型参数实现代码复用fn largestT: PartialOrd(list: [T]) - T { let mut largest list[0]; for item in list { if item largest { largest item; } } largest }泛型约束T: PartialOrd表示类型T必须实现偏序比较这是Rust trait bound的典型应用。2.3 高阶函数模式Rust支持函数式编程风格的高阶函数操作fn mapF(data: Veci32, f: F) - Veci32 where F: Fn(i32) - i32, { data.into_iter().map(f).collect() }这里的where从句限定了泛型参数F必须实现Fn(i32) - i32trait确保传入的是可调用对象。3. 函数安全性与生命周期3.1 所有权与函数调用函数调用时的所有权转移规则基本类型实现Copy trait自动复制复合类型默认移动所有权引用不转移所有权fn consume(s: String) { println!(Consumed {}, s); } // s在这里被drop let s String::from(hello); consume(s); // 所有权转移 // println!({}, s); // 编译错误s已无效3.2 生命周期注解当函数涉及引用时需要生命周期注解来明确引用有效期fn longesta(x: a str, y: a str) - a str { if x.len() y.len() { x } else { y } }a是生命周期参数表示输入和输出引用必须具有相同的生命周期。这是Rust防止悬垂引用的关键机制。3.3 错误处理模式Rust函数通常使用Result类型进行错误处理fn read_file(path: str) - ResultString, std::io::Error { std::fs::read_to_string(path) }调用方可以使用match或?运算符处理可能的错误let content match read_file(data.txt) { Ok(c) c, Err(e) return Err(e.into()), }; // 或者更简洁的写法 let content read_file(data.txt)?;4. 函数性能优化技巧4.1 内联优化策略Rust编译器会自动决定是否内联函数但可以通过属性提示#[inline] #[inline(always)] #[inline(never)]内联决策需要考虑的因素函数体积大小调用频率跨crate调用情况4.2 零成本抽象实践Rust函数可以实现零成本抽象例如迭代器链fn sum_squares(nums: [i32]) - i32 { nums.iter() .map(|x| x * x) .filter(|x| x % 2 0) .sum() }这段代码在release模式下会编译成与手写循环等效的机器码没有额外开销。4.3 异步函数实现Rust通过async/await语法支持异步函数async fn fetch_data(url: str) - ResultString, reqwest::Error { reqwest::get(url).await?.text().await }异步函数实际上返回一个实现了Future trait的状态机需要通过运行时执行器如tokio驱动。5. 函数设计模式与最佳实践5.1 纯函数设计纯函数是指没有副作用的函数具有引用透明性// 纯函数示例 fn add(a: i32, b: i32) - i32 { a b } // 非纯函数示例 fn get_time() - SystemTime { SystemTime::now() // 依赖外部状态 }纯函数的优势易于测试线程安全可缓存性5.2 函数组合技巧Rust支持多种函数组合方式// 管道式组合 let result initial_value .transform1() .transform2() .finalize(); // 高阶函数组合 fn composeA, B, C(f: impl Fn(A) - B, g: impl Fn(B) - C) - impl Fn(A) - C { move |x| g(f(x)) }5.3 文档与测试规范Rust函数文档使用///注释支持Markdown格式/// 计算两个数的最大公约数 /// /// # 示例 /// /// assert_eq!(gcd(14, 15), 1); /// fn gcd(a: u64, b: u64) - u64 { if b 0 { a } else { gcd(b, a % b) } }文档测试doctest会作为自动化测试的一部分运行确保示例代码的正确性。6. 实战构建一个Rust函数库6.1 模块化函数组织Rust通过mod组织函数支持分层设计mod math { pub mod basic { pub fn add(x: i32, y: i32) - i32 { x y } } pub mod advanced { pub fn fibonacci(n: u32) - u64 { // 实现略 } } }可见性控制pub公开接口pub(crate)模块内可见无修饰符私有6.2 条件编译支持通过cfg属性实现平台特定函数#[cfg(target_os linux)] fn linux_specific() { println!(Running on Linux!); } #[cfg(test)] mod tests { #[test] fn test_case() { assert_eq!(2 2, 4); } }6.3 性能关键函数优化对于计算密集型函数可以使用内联汇编或SIMD指令#[cfg(target_arch x86_64)] use std::arch::x86_64::*; unsafe fn simd_add(a: [f32], b: [f32]) - Vecf32 { let mut result Vec::with_capacity(a.len()); for i in (0..a.len()).step_by(4) { let va _mm_load_ps(a[i]); let vb _mm_load_ps(b[i]); let vc _mm_add_ps(va, vb); _mm_store_ps(result.as_mut_ptr().add(i), vc); } result }注意unsafe代码需要特别小心必须确保内存安全和正确性
