rust语言闭包trait类型编译器推导总结

Rust编译器根据闭包对捕获的外部变量的使用方式自动推断其实现的Trait类型,如:Fn, FnMut,FnOnce;而非是否捕获所有权。

注意move关键字只是令闭包捕获外部变量的所有权,并非决定闭包的Trait类型为FnOnce。

对捕获变量的使用方式组合:

(1)捕获外部变量的所有权。

(2)消耗捕获的变量,消耗:释放,杀死,清除,关闭等。

(3)只读。

(4)可写(变)

(5)不可变借用。

(6)可变借用。

(7)捕获的外部变量具有Copy语义。

(1) && (2) => FnOnce.

(1) && (3) => Fn.

(1) && (4) => FnMute.

(5) =>Fn.

(6) => FnMute.

(7) && (3) => Fn.

(7) && (4) => FnMute.

其他注意事项:

  1. 函数指针fn默认实现了闭包tait: Fn/FnMute/FnOnce. 换言之函数指针可以赋给闭包类型变量。

  2. 对于不捕获任何外部变量的闭包,rust编译器将其优化为一个函数指针,所以这样的闭包类型可以赋值给一个函数指针。

  3. 使用Fn trait闭包类型作为泛型约束可以同时接受函数指针类型和闭包类型。

  4. FnOnce类型闭包被设计的目的:只能被调用一次!用于处理(消耗)那些一次性资源和独占性资源,因为这类资源不能 重复消耗,比如只能被释放清理或关闭一次。

  5. 函数和闭包的根本区别在于前者不能捕获外部变量,即使是嵌套函数也不可以,但是闭包可以。

  6. 每个闭包的具体类型都是不同的,因为rust编译器为每个闭包实现了各自的"匿名结构体",用于存储捕获的外部变量, 同时rust编译器为每个闭包自动推断实现相应的Trait类型,如:Fn/FnMute/FnOnce.

注意:个人水平有限,难免谬误,欢迎指正,仅做参考,抛砖引玉;怕日后遗忘,故随笔记录。

相关推荐
Wang's Blog7 小时前
Go-Zero项目开发17: IM私聊功能实现与消息存储设计
开发语言·后端·golang
Ulyanov7 小时前
Python雷达电子对抗仿真引擎(一):打破单体瓶颈,构建微服务与ECS架构的顶层设计
开发语言·python·微服务·云原生·架构·雷达电子对抗
IT方大同7 小时前
C语言分支与循环语句
c语言·开发语言·算法
她的男孩7 小时前
一行配置,把 Spring Boot 后台变成 AI Agent 的工具箱:Forge MCP Server 插件源码拆解
人工智能·后端
长不胖的路人甲8 小时前
斐波那契查找Java 实现 + 完整思路
java·开发语言
user_lwl8 小时前
Oracle 数据库备份还原工具
后端
星恒随风8 小时前
C++ 继承进阶:默认成员函数、多继承、虚继承与组合设计
开发语言·c++·笔记·学习
lczllx8 小时前
从 TCP 90μs 到 SHM 28μs:我的 RPC 框架零拷贝优化历程
linux·后端
Yeauty8 小时前
用 Whisper 转录前,你不用再离开 Rust
开发语言·rust·ffmpeg·音视频·视频
电子云与长程纠缠8 小时前
UE中使用TGuardValue与TInlineComponentArray数据结构
开发语言·数据结构·学习·ue5·游戏引擎