学习 Rust 第 23 天:闭包

Rust 闭包提供了简洁、富有表现力的匿名函数来捕获周围的变量。它们简化了代码,提供了存储、参数传递和函数重构方面的灵活性。它们与泛型的交互增强了灵活性,而捕获模式则促进了有效的所有权和可变性管理。从本质上讲,闭包是 Rust 的基础,可以提高代码的清晰度和简洁性。

Introduction 介绍

We used a closure in themini_grep project, here’s what it looked like
我们在 mini_grep 项目中使用了闭包,如下所示

let config = Config::new(&args).unwrap_or_else(|err|{eprintln!("Problem parsing arguments: {}",err);eprintln!("Expected: {} search_query filename", args[0]);process::exit(1);});

Closures are like anonymous functions, and we can store them in variables as well, pass them as function arguments etc.
闭包就像匿名函数,我们也可以将它们存储在变量中,将它们作为函数参数传递等。

In Rust, closures are anonymous functions that can capture variables from their surrounding environment. They are similar to lambda functions or blocks in other programming languages. Closures in Rust have a flexible and powerful syntax, allowing them to be used in various contexts.
在 Rust 中,闭包是可以从周围环境捕获变量的匿名函数。它们类似于其他编程语言中的 lambda 函数或块。 Rust 中的闭包具有灵活而强大的语法,允许它们在各种上下文中使用。

fn main() {let add_one = |x| x + 1;let result = add_one(5);println!("Result: {}", result); // Output: 6
}

In this example, add_one is a closure that takes one parameter x and returns x + 1. It's assigned to a variable, and then called with an argument 5. The result is printed out.
在此示例中, add_one 是一个闭包,它采用一个参数 x 并返回 x + 1 。它被分配给一个变量,然后使用参数 5 进行调用。结果被打印出来。

This is a basic example of what a closure looks like.
这是闭包的基本示例。

Refactoring Functions to Closures
将函数重构为闭包

Refactoring functions with closures can often lead to more concise and expressive code.
使用闭包重构函数通常可以生成更简洁、更具表现力的代码。
Let’s consider a function that applies a given operation to each element in a vector:
让我们考虑一个将给定操作应用于向量中每个元素的函数:

fn apply_operation_to_vec(values: Vec<i32>, operation: fn(i32) -> i32) -> Vec<i32> {let mut result = Vec::new();for value in values {result.push(operation(value));}result
}fn double(x: i32) -> i32 {x * 2
}fn main() {let values = vec![1, 2, 3, 4, 5];let doubled_values = apply_operation_to_vec(values, double);println!("Doubled values: {:?}", doubled_values);
}

In this code, we have a function apply_operation_to_vec that takes a vector of integers and a function pointer operation representing the operation to be applied to each element of the vector.
在此代码中,我们有一个函数 apply_operation_to_vec ,它接受一个整数向量和一个表示要应用于向量每个元素的操作的函数指针 operation 。

Now, let’s refactor this function to use closures instead:
现在,让我们重构这个函数以使用闭包:

fn apply_operation_to_vec(values: Vec<i32>, operation: impl Fn(i32) -> i32) -> Vec<i32> {values.into_iter().map(operation).collect()
}fn main() {let values = vec![1, 2, 3, 4, 5];let doubled_values = apply_operation_to_vec(values, |x| x * 2);println!("Doubled values: {:?}", doubled_values);
}

In this refactored version:
在这个重构版本中:

  • We’ve changed the operation parameter to accept a closure instead of a function pointer. The impl Fn(i32) -> i32 syntax means that operation can accept any type that implements the Fn(i32) -> i32 trait, which includes closures.
    我们更改了 operation 参数以接受闭包而不是函数指针。 impl Fn(i32) -> i32 语法意味着 operation 可以接受任何实现 Fn(i32) -> i32 特征的类型,其中包括闭包。
  • Inside the apply_operation_to_vec function, we use into_iter() to consume the input vector and produce an iterator. Then, we use map() to apply the closure to each element, and collect() to collect the results into a new vector.
    在 apply_operation_to_vec 函数内,我们使用 into_iter() 来使用输入向量并生成迭代器。然后,我们使用 map() 将闭包应用于每个元素,并使用 collect() 将结果收集到新的向量中。

Both output the same data:
两者输出相同的数据:

$ cargo run
Doubled values: [2, 4, 6, 8, 10]

Type annotations 类型注释

To declare an add_one function which returns an integer, and takes an integer as a parameter. The function declaration would look something like this
声明一个返回整数并接受整数作为参数的 add_one 函数。函数声明看起来像这样

fn add_one(x: i32)->i32{x+1
}

But If I want to do the same with closures, notice how I don’t need to specify any data types here…
但是如果我想对闭包做同样的事情,请注意我不需要在这里指定任何数据类型......

fn main(){let add_one = |x| x + 1;
}

The add_one closure is defined without specifying the types of its parameters and return value. Rust's type inference mechanism automatically deduces that add_one takes an i32 parameter and returns an i32 value.
add_one 闭包的定义没有指定其参数和返回值的类型。 Rust 的类型推断机制会自动推断 add_one 接受 i32 参数并返回 i32 值。

Generic parameters and Function traits
通用参数和函数特征

Fn trait:  Fn 功能:

  • Closures that implement Fn can be called immutably.
    实现 Fn 的闭包可以被不可变地调用。
  • They capture their environment by reference, allowing them to borrow variables from the surrounding scope.
    它们通过引用捕获环境,从而允许它们从周围范围借用变量。
  • This trait is suitable for closures that don’t need to mutate the captured variables.
    此特性适用于不需要改变捕获变量的闭包。
  • Example usage: Functions that only read from the captured variables.
    用法示例:仅读取捕获变量的函数。

FnMut trait:  FnMut 功能:

  • Closures that implement FnMut can be called mutably.
    实现 FnMut 的闭包可以被可变地调用。
  • They capture their environment by mutable reference, allowing them to modify the captured variables.
    他们通过可变引用捕获环境,从而允许他们修改捕获的变量。
  • This trait is suitable for closures that need to mutate the captured variables.
    此特性适用于需要改变捕获变量的闭包。
  • Example usage: Functions that modify the captured variables but don’t consume them.
    用法示例:修改捕获的变量但不消耗它们的函数。

FnOnce trait:  FnOnce 功能:

  • Closures that implement FnOnce take ownership of the captured variables.
    实现 FnOnce 的闭包拥有捕获的变量的所有权。
  • They can only be called once because they consume the captured variables.
    它们只能被调用一次,因为它们消耗捕获的变量。
  • This trait is suitable for closures that need to consume the captured variables, transferring ownership to the closure.
    此特性适用于需要使用捕获的变量、将所有权转移给闭包的闭包。
  • Example usage: Functions that consume the captured variables, such as closures used in move semantics.
    用法示例:使用捕获变量的函数,例如移动语义中使用的闭包。

In Rust, you can use generic parameters with function traits (FnFnMutFnOnce) to make functions more flexible and reusable across different types.
在 Rust 中,您可以将泛型参数与函数特征( Fn 、 FnMut 、 FnOnce )一起使用,以使函数在不同类型之间更加灵活和可重用。

// A generic function that takes a closure and applies it to an input value
fn apply_closure<F, T>(closure: F, value: T) -> T
whereF: Fn(T) -> T,
{closure(value)
}fn main() {// Define a closure that doubles an integerlet double_closure = |x: i32| x * 2;// Apply the closure to a valuelet result = apply_closure(double_closure, 5);println!("Result: {}", result); // Output: Result: 10// Define a closure that appends a stringlet append_closure = |s: String| s + " World";// Apply the closure to a valuelet result = apply_closure(append_closure, String::from("Hello"));println!("Result: {}", result); // Output: Result: Hello World
}
  • We have a generic function apply_closure that takes two parameters: a closure (F) and a value (T). The closure must implement the Fn(T) -> T trait, meaning it takes a single parameter of type T and returns a value of type T.
    我们有一个通用函数 apply_closure ,它接受两个参数:一个闭包 ( F ) 和一个值 ( T )。闭包必须实现 Fn(T) -> T 特征,这意味着它采用 T 类型的单个参数并返回 T 类型的值。
  • Inside main(), we define two closures: double_closure and append_closure, each with different input and output types (i32 and String).
    在 main() 内部,我们定义了两个闭包: double_closure 和 append_closure ,每个闭包都有不同的输入和输出类型( i32 和 String
  • We then call apply_closure twice, passing each closure along with an appropriate value. The function applies the closure to the value and returns the result.
    然后我们调用 apply_closure 两次,传递每个闭包以及适当的值。该函数将闭包应用于该值并返回结果。

This approach allows us to use the same generic function with different closures, making our code more reusable and flexible. Additionally, by specifying the Fn trait bound, we ensure that the closures passed to apply_closure are callable and match the expected signature.
这种方法允许我们使用具有不同闭包的相同泛型函数,使我们的代码更加可重用和灵活。此外,通过指定 Fn 特征边界,我们确保传递给 apply_closure 的闭包是可调用的并且与预期签名匹配。

Capturing the environment with closures
用闭包捕捉环境

In Rust, closures can capture variables from their surrounding environment. This feature allows closures to access and manipulate variables that are defined outside of their own scope. Rust provides three ways for closures to capture variables: by reference (&T), by mutable reference (&mut T), or by value (T).
在 Rust 中,闭包可以从周围环境捕获变量。此功能允许闭包访问和操作在其自身范围之外定义的变量。 Rust 提供了三种闭包捕获变量的方法:通过引用 ( &T )、通过可变引用 ( &mut T ) 或通过值 ( T )。

Let's explore each method:
让我们探讨一下每种方法:

Capture by reference (&T):
通过引用捕获 ( &T ):

  • When a closure captures variables by reference, it borrows them immutably.
    当闭包通过引用捕获变量时,它会不可变地借用它们。
  • The closure can read but cannot modify the variables it captures.
    闭包可以读取但不能修改它捕获的变量。
  • The captured variables remain accessible and can be used after the closure’s execution.
    捕获的变量仍然可以访问,并且可以在闭包执行后使用。
  • This is the default behavior for closures that don’t explicitly specify how they capture variables.
    这是未明确指定如何捕获变量的闭包的默认行为。
fn main() {let x = 42;let closure = || {println!("Captured value: {}", x);};closure();// x is still accessible hereprintln!("Outer value: {}", x);
}

Capture by mutable reference (&mut T):
通过可变引用捕获( &mut T ):

  • When a closure captures variables by mutable reference, it borrows them mutably.
    当闭包通过可变引用捕获变量时,它会可变地借用它们。
  • The closure can read and modify the variables it captures.
    闭包可以读取和修改它捕获的变量。
  • The captured variables remain mutable after the closure’s execution.
    捕获的变量在闭包执行后仍然可变。
  • To capture variables by mutable reference, the closure must be declared with the mut keyword.
    要通过可变引用捕获变量,必须使用 mut 关键字声明闭包。
fn main() {let mut x = 42;let mut closure = || {println!("Captured value before: {}", x);x += 1;println!("Captured value after: {}", x);};closure();// x is still accessible here, and its value has been modified by the closureprintln!("Outer value: {}", x);
}

Capture by value (T):
按值捕获 ( T ):

  • When a closure captures variables by value, it takes ownership of them.
    当闭包按值捕获变量时,它就获得了它们的所有权。
  • The closure can consume the variables it captures.
    闭包可以消耗它捕获的变量。
  • After the closure’s execution, the captured variables are moved into the closure and no longer accessible in the outer scope.
    闭包执行后,捕获的变量将移至闭包中,并且无法再在外部作用域中访问。
fn main() {let x = 42;let closure = move || {println!("Captured value: {}", x);};closure();// x is not accessible here; it has been moved into the closure// println!("Outer value: {}", x); // This line would cause a compilation error
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/661281.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

(7)快速调优

文章目录 前言 1 安装脚本 2 运行 QuikTune 3 高级配置 前言 VTOL QuikTune Lua 脚本简化了为多旋翼飞行器的姿态控制参数寻找最佳调整的过程。 脚本会缓慢增加相关增益&#xff0c;直到检测到振荡。然后&#xff0c;它将增益降低 60%&#xff0c;并进入下一个增益。所有增…

24五一杯B题思路分享+分析问题

回顾问题 ### 问题1&#xff1a;小型交通网络的交通需求分配 1. **理解问题**&#xff1a;首先&#xff0c;需要理解交通网络的结构和各起点-终点对之间的交通需求。 2. **建立模型**&#xff1a;使用线性规划、动态规划或启发式算法来分配交通量到不同的路径上。 3. **优化目…

汽车制造业安全事故频发,如何才能安全进行设计图纸文件外发?

汽车制造业产业链长&#xff0c;关联度高&#xff0c;汽车制造上游行业主要为钢铁、化工等行业&#xff0c;下游主要为个人消 费、基建、客运和军事等。在汽车制造的整个生命周期中&#xff0c;企业与上下游供应商、合作商之间有频繁、密切的数据交换&#xff0c;企业需要将设计…

windows11安装nginx

1.解压nginx安装包到没有中文的目录 2.双击运行nginx.exe 3.任务管理器查看是否有nginx进程 4.任务管理器->性能->资源监视器 5.网络->侦听端口&#xff0c;查看nginx侦听的端口&#xff0c;这里是90端口

吴恩达2022机器学习专项课程(一)7.2 逻辑回归的简化成本函数课后实验 Lab5

问题预览/关键词 二分类问题的训练集&#xff08;多特征&#xff09;绘制训练集数据的散点图自定义plot_data() Python实现逻辑回归的成本函数自定义sigmoid() 调用成本函数不同的w&#xff0c;b&#xff0c;绘制逻辑回归模型的决策边界验证哪条决策边界效果好总结 二分类问题的…

对话访谈——五问RAG与搜索引擎:探索知识检索的未来

记一次关于RAG和搜索引擎在知识检索方面的对话访谈&#xff0c;针对 RAG 与传统搜索引擎的异同,以及它们在知识检索领域的优劣势进行了深入的探讨。 Q&#xff1a;传统搜索引擎吗&#xff0c;通过召回-排序的两阶段模式&#xff0c;实现搜索逻辑的实现&#xff0c;当前RAG技术也…

Jetson Orin NX L4T35.5.0平台LT6911芯片 调试记录(2)vi discarding frame问题调试

基于上篇调试记录 Jetson Orin NX L4T35.5.0平台LT6911芯片 调试记录(1)MIPI问题调试-CSDN博客 1.前言 当通过gstreamer持续捕获视频设备时,帧数会下降,并且I输入越高,丢失的帧数越多。 当达到4k30hz时,它完全无法使用,系统会在几秒钟的收集后崩溃并重新启动 4k30hz …

Mac 版 安装NVM

优质博文IT-BLOG-CN NVM&#xff08;Node Version Manager&#xff09;是一个用于管理多个Node.js版本的工具。它允许开发者在同一台机器上安装和切换不同版本的Node.js&#xff0c;以便在不同的项目中使用不同的Node.js版本。macOS用户可以使用homebrew来安装NVM。 一、安装h…

VS code 同步odata服务

在做UI5得开发过程中&#xff0c;经常会出现odata需要更新 那么已经加载过得项目如何去跟新odata服务呢 可以通过如下步骤 1.右键打开应用信息 2.找到manage service models 3.点击编辑 4.选中 刷新并保存

DevEco Studio mac版启动不了【鸿蒙开发Bug已解决】

文章目录 项目场景:问题描述原因分析:解决方案:此Bug解决方案总结Bug解决方案寄语项目场景: 最近也是遇到了这个问题,看到网上也有人在询问这个问题,本文总结了自己和其他人的解决经验,解决了【DevEco Studio mac版启动不了】的问题。 问题描述 报错如下。 -------…

Pytorch学习笔记——认识数据

最近在跟着小土堆pytorch的视频跟着学习python&#xff0c;根据自己的理解和课程上面的知识&#xff0c;写了这一篇学习笔记。 1、加载数据 数据的加载是学习pytorch的第一步&#xff0c;我们需要加载数据&#xff0c;完成特征工程&#xff0c;对加载数据存在的一些特…

【antd + vue】InputNumber 数字输入框 输入限制

一、需求说明 只能输入数字和小数点&#xff0c;保留小数点后两位&#xff1b;最多输入6位&#xff1b;删除所有内容时&#xff0c;默认为0&#xff1b; 二、问题说明 问题1&#xff1a;使用 precision 数值精度 时&#xff0c;超出规定小数位数时会自动四舍五入&#xff1b;…