本周 Rust 动态 479#

2023-01-25

你好，欢迎阅读本期的 本周 Rust 速递！

Rust 是一种赋予每个人构建可靠高效软件能力的编程语言。 这是我们对 Rust 进展和社区情况的每周汇总。 希望有什么内容被提及？在 Twitter 上给我们打标签 @ThisWeekInRust 或者在 mastodon.social 上给我们打标签 @ThisWeekinRust，或者给我们提交 pull request。 想参与其中？我们欢迎贡献。

本周 Rust 速递 是在 GitHub 上开发的。 如果你发现本周速递中有任何错误，请提交 PR。

Rust 社区更新#

官方#

• 正式宣布类型团队
• 多样化我们的内容交付网络

基金会#

• Lars Bergstrom 当选为 Rust 基金会董事会主席
• 加入 Rust 基金会参加 2023 年 Rust Nation UK 活动

通讯#

项目/工具更新#

• rust-analyzer 更新日志 #165
• hyper-ish 2022 年回顾
• 具有改进稳定性的 Mobc 0.8.1 版本发布
• Zenoh 0.7.0 版本发布，这是一个纯 Rust 云到物联网的发布/订阅/查询协议，充满了新特性。
• Fornjot（Rust 中的面向代码的 CAD）- 每周更新
• Slint 0.3.4 版本发布
• Astra: 基于 Hyper 构建的阻塞式 HTTP 服务器
• 与 NGenate 一起迈出的第一步 - 使用 Rust 构建的数据流和可视化编程平台
• toml vs toml_edit
• Fyrox 本周动态 #11
• Dimforge 中的 2022 年及我们 2023 年的目标

观察/思考#

• Rust 在 2023 年: 成熟起来
• 2022 年 Rust 开发生态系统现状：发现最新趋势
• Rust Futures 的大小
• 能力安全性 I: 前言
• Rust JSON 生态系统中的惊喜
• 以 Rust 程序员的视角审查 Git 源代码
• 将 Rust 结构体转换为枚举并不总是一个重大破坏性变化
• Linux 终端用户的 14 个 Rust 工具
• [音频] 与 Shuang Zhu 聊 Rust 杂志
• [音频] 与 Ernest Kissiedu 聊 Rust Nation

Rust 演练#

• 临时值、借用和生命周期
• 由于借用检查器的限制，这意味着一个 'static 生命周期
• 我希望我早些时候学会的 Rust 概念
• Rust 中的比较模糊
• 领域特定的错误宏
• 构建 Rust 中的简单数据库 - 第二部分 - 基本执行
• Rust FFI 和 cbindgen：将嵌入式 Rust 代码集成到 C 中

研究#

杂项#

• crates.io 注册表现在是 GitHub 秘密扫描整合者
• 使用 Rust 运算符重载的六个有趣的事情
• 为 NPM 注册表打包 Rust 应用程序
• 宣布在 CodeSandbox 中支持 Rust
• [视频] 不使用 Rust 的 10 个理由（全部真相）
• [视频] 绕过 Rust 借用检查器 - 内部可变性

本周的最佳 Crate#

本周的 crate 是 Darkbird，这是一个受 mnesia 启发的高并发、实时、内存存储库。

感谢 DanyalMh 自荐！

请提交你对下周的建议和投票！

征集参与#

一直想要为开源项目做贡献，但不知道从哪里开始吗？ 每周我们会为你挑选一些 Rust 社区的任务，让你可以选择并开始参与！

• Ockam - 实现 'ockam node logs' 命令行工具
• Ockam - 实现 'ockam worker list' 命令行工具
• Ockam - 添加 CI 检查以避免 'TypeTag' id 冲突

如果你是 Rust 项目的所有者，正在寻找贡献者，请在 这里 提交任务。

Rust 项目的更新#

上周有 378 个拉取请求被合并

• llvm-wrapper：适应 LLVM API 更改
• 为 s390x-linux 启用消毒剂
• 对所有不允许未初始化的标量添加 noundef
• 当 HRTB 隐含了 'static 要求时，添加 'static 寿命建议

• 为建议中的关键字添加原始标识符
• 考虑区域对 ADT 字段进行复制实现的检查
• 将 TypeId 排序实现变为常量
• 诊断：建议将导出的 s@self::{macro}@::macro 更改为 s::{macro}@::macro
• 不要随机使用_来打印出常量泛型参数
• 删除跟踪 Visit 中断表达式
• 如果闭包是常量，则对闭包的 const mir 进行编码
• 修复宏展开检查
• 标记闭包捕获/生成器本地变量以使不透明类型递归
• 在 borrowck 中进行懒惰支配者树构建

• 使 CastError::NeedsDeref 创建一个 MachineApplicable 建议
• 使得在 impl &Trait 上产生的错误更友好
• 重构基本块控制流缓存
• 简化字段为空的枚举的 derive(Debug) 输出
• 建议删除解引用以解决类型不匹配
• 建议在模式中尝试整数标识符
• 微调 "借用闭包参数" 建议
• 统一同一核心模块中稳定和不稳定的排序实现
• 使用 UnordMap 和 UnordSet 作为标识符集合的数据结构 (DefIdMap, LocalDefIdMap, 等)
• 在预 TyCtxt 查询和函数周围进行各种清理
• 在 select_nth_unstable 中添加堆排序回退
• 为 Option<$NUM> 类型实现 alloc::vec::IsZero
• 将一些 strict_provenance 指针方法中的 T: Sized 限制解除
• 为安全丢弃 Arc 而添加 Arc::into_inner 方法，不调用内部类型的析构函数
• hashbrown：为 Vacant 和 Occupied 条目提供默认哈希类型
• futures: 添加 Either::as_pin_mut 和 Either::as_pin_ref
• futures: 在 ReadyChunks 中为所有流实现 FusedStream
• (cherry-pick) 修复 WebAssembly 多值堆栈问题
• cargo: 稳定稀疏注册表
• cargo: 用于不应记录日志的数据的包装类型
• rustfmt: 修正对带有常量泛型结构的范围
• clippy: 添加 multiple_unsafe_ops_per_block lint
• clippy: 为 bool_assert_comparison 添加适用于机器的建议
• clippy: 修复 unnecessary_safety_comment 中的误报
• clippy: 修复 transmutes_expressible_as_ptr_casts 中的建议，当源类型是 borrow 时
• rust-analyzer: assist 中不转义非片段
• rust-analyzer: 加载工作区时不响应 ContentModified
• rust-analyzer: 修复 checkOnSave 以检查配置修补是否总是有效的问题
• rust-analyzer: 修复悬停处理空格时奇怪地处理 markdown 删除
• rust-analyzer: 在 "填充匹配分支" 中处理切片模式
• rust-analyzer: 更精确的二进制运算符推断
• rust-analyzer: 在 config.serverPath 中替换 vscode 变量
• rust-analyzer: 解析 const_closures 语法
• rust-analyzer: 使用语言项枚举替换 SmolStr 的用法
• rust-analyzer: 使用 workspace.dependencies 声明本地依赖

即将到来的活动#

2023年1月25日至2023年2月22日之间的 Rusty 活动 🦀

虚拟活动#

• 2023年01月25日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond | Microsoft Reactor San Francisco
  • Rust 初步：QA 和社区时长 | 旧金山镜像
• 2023年01月26日 | 虚拟活动（美国弗吉尼亚州夏洛茨维尔） | 夏洛茨维尔 Rust Meetup
  • Rust 闪电演讲！
• 2023年01月26日 | 虚拟活动（德国卡尔斯鲁厄） | 卡尔斯鲁厄函数式程序员聚会
  • Stammtisch（与 C++ UG KA 共同举办）
• 2023年01月26日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国加利福尼亚州旧金山; 美国纽约州纽约; 瑞典斯德哥尔摩） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco and Microsoft Reactor Stockholm
  • 在 Rust 中解决面试问题 - 第 3 集 | 纽约镜像 | 旧金山镜像 | 斯德哥尔摩镜像
• 2023年01月27日 | 虚拟活动（突尼斯） | Rust 突尼斯聚会
  • Rust 突尼斯聚会 - 第一卷第一期
• 2023年01月30日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco
  • Rust 初步 - Rust 中的错误控制 | 纽约镜像 | 旧金山镜像
• 2023年01月31日 | 虚拟活动（德国柏林） | OpenTechSchool 柏林
  • Rust 编程和学习
• 2023年01月31日 | 虚拟活动（美国德克萨斯州达拉斯） | 达拉斯 Rust
  • 最后一个星期二
• 2023年01月31日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco
  • Rust 初步 - Rust 内存管理概述 | 纽约镜像 | 旧金山镜像
• 2023年02月01日 | 虚拟活动（英国卡迪夫） | 卡迪夫 Rust 和 C++
  • 新年虚拟社交 + 分享
• 2023年02月01日 | 虚拟活动（美国印第安纳波利斯） | Indy Rust
  • Indy.rs - 社交距离
• 2023年02月01日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco
  • Rust 初步：QA 和社区时长 | 纽约镜像 | 旧金山镜像
• 2023年02月01日 | 虚拟活动（德国斯图加特） | 斯图加特 Rust 社群
  • Rust 探讨会
• 2023年02月06日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco
  • Rust 初步 - 实现泛型类型和特质 | 纽约镜像 | 旧金山镜像
• 2023年02月07日 | 虚拟活动（中国北京） | WebAssembly 和 Rust Meetup (Rustlang)
  • WasmEdge 社区月度会议，CNCF 沙箱 WebAssembly 运行时
• 2023年02月07日 | 虚拟活动（美国纽约州布法罗） | 布法罗 Rust 聚会
  • 布法罗 Rust 用户组，每月第一个星期二
• 2023年02月07日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Reactor New York and Microsoft Reactor San Francisco
  • Rust 初步 - 模块、包和第三方容器 | 纽约镜像 | 旧金山镜像
• 2023年02月08日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Rector New York and Microsoft Reactor San Francisco
  • Rust 初步：QA 和社区时长 | 纽约镜像 | 旧金山镜像
• 2023年02月11日 | 虚拟活动 | Rust 游戏开发
  • Rust 游戏开发月度聚会
• 2023年02月13日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Rector New York and Microsoft Reactor San Francisco
  • Rust 初步 - 编写自动化测试 | 纽约镜像 | 旧金山镜像
• 2023年02月14日 | 虚拟活动（德国柏林） | OpenTechSchool 柏林
  • Rust 编程和学习
• 2023年02月14日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山） | Microsoft Reactor Redmond and Microsoft Rector New York and Microsoft Reactor San Francisco
  • Rust 初步 - 在命令行中创建一个待办事项程序 | 旧金山镜像 | 纽约镜像
• 2023年02月14日 | 虚拟活动（德国萨尔布吕肯） | Rust-Saar
  • 聚会：26u16
• 2023年02月15日 | 虚拟活动（美国华盛顿州雷德蒙德; 美国纽约州纽约; 美国加利福尼亚州旧金山; 巴西圣保罗） | Microsoft Reactor Redmond and Microsoft Rector New York and Microsoft Reactor San Francisco and Microsoft Reactor São Paulo
  • Rust 初步：QA 和社区时长 | 旧金山镜像 | 纽约镜像 | 圣保罗镜像
• 2023年02月15日 | 虚拟活动（加拿大不列颠哥伦比亚省温哥华） | 温哥华 Rust
  • Rust 学习/探讨/交流

亚洲#

• 2023年02月01日 | 日本京都 | Kansai Rust
  • Rust 演讲：如何在元组上实现迭代器...某种程度上

欧洲#

• 2023年01月25日 | 法国巴黎 | Rust Paris
  • Rust Paris见面会 #55
• 2023年01月26日 | 丹麦哥本哈根 | 哥本哈根 Rust 见面会小组
  • Rust Hack Night #32
• 2023年02月02日 | 德国柏林 | 彭策劳尔山软件工程师
  • PBerg engineers - 初次见面会；Lukas：使用 Rust 和 Azure 函数构建无服务器 API（收费）
• 2023年02月02日 | 德国汉堡 | Rust 汉堡见面会
  • Rust Hack & Learn 2023年2月
• 2023年02月02日 | 法国里昂 | Rust 里昂
  • Rust 里昂见面会 #01
• 2023年02月04日 | 比利时布鲁塞尔 | FOSDEM
  • FOSDEM 2023大会：Rust 开发室
• 2023年02月21日 | 瑞士苏黎世 | Rust 苏黎世
  • 实用密码学 - 2月见面会（2023年2月7日开始注册）

北美#

• 2023年01月26日 | Lehi, UT, US | Utah Rust
  • 使用WASM和Lane构建Rust Playground并享用美食！

如果你正在举办一个 Rust 活动，请将其添加到[日历]中以便在这里提及。请记得同时添加一个活动链接。发送电子邮件至 Rust 社区团队 以获得权限。

工作#

请查看最新的 r/rust 招聘帖子

本周引言#

Rust 已经证明了，即使在命令式语言中，你可以使用类型系统作为分离逻辑的载体，这并不像那些不可变的函数式前辈所建议的那样神秘。它通过确保语言定义了一个能够帮助你的类型系统，以及确保了其核心属性的健全性可以在其中表达来实现这一点。

• 内存访问的健全性要求：生命周期
• 带有值语义的引用的健全性要求：&/&mut _
• 资源的健全性要求：Copy 和 Drop
• 确保你的逻辑是单调的：特质而不是继承，缺乏特化（是的，这是一个特性）。
• （明显缺失：没有依赖类型；显然不是‘必要的’，但我确信它可能会有用；然而，研究正在积极进行；谨慎是好的）

这使得标准库可以将其所有相关要求编码为类型。并且在各处做到这一点是其健全性属性：安全函数除了其参数类型的总和之外没有要求，而unsafe函数可以。没有任何新的或特别的东西，没有使 Rust 的健全性概念特别的东西。

基于分离逻辑的数学推理使得健全性审查变得局部而不需要整个程序的分析。这就是它变得实际的原因。它做得相当成功和有原则，但它没有做出真正革命性的事情。它是过去十年类型系统研究的好部分的总和。这可能就是人们为什么称之为‘健全性定义’的原因，这只是一种非常有力的方式来表达：“我们了解到一个实际的类型系统可以作为证明检查器”。

– HeroicKatora on /r/cpp

感谢 Stephan Sokolow 的建议！

请提交引言并投票选择下周的引言

本周 Rust 摘要由: nellshamrell, llogiq, cdmistman, ericseppanen, extrawurst, andrewpollack, U007D, kolharsam, joelmarcey, mariannegoldin, bennyvasquez 编辑。

电子邮件列表托管由 Rust 基金会 赞助。

在 r/rust 上讨论