本周 Rust 动态 487#

2023-03-22

欢迎来到本期 This Week in Rust！Rust 是一种赋予每个人构建可靠和高效软件能力的编程语言。这是每周 Rust 进展和社区的总结。想让某个内容出现在这里吗？在 Twitter 上给我们打标签 @ThisWeekInRust 或在 mastodon.social 上 @ThisWeekinRust，或者给我们提交一个 pull request。想要参与进来吗？我们喜欢贡献。

This Week in Rust 是在 GitHub 上开发的。如果您在本周的新闻中发现任何错误，请提交一个 PR。

Rust 社区更新#

基金会#

• 欢迎软件工程师 Adam Harvey 加入 Rust 基金会团队
• 新的 SLSA++ 调查揭示软件供应链安全的真实开发者方法

通讯#

• Rust OSDev 本月动态：2023 年 2 月 | Rust OSDev

项目/工具更新#

• autometrics 0.3: 在 Rust 源代码中定义服务级别目标（SLO）
• Typst 公测开始并开源
• Klint: 用于内核 Rust 代码的原子上下文违规的编译时检测
• rust-analyzer 更新日志 #173
• Gitea 1.19.0 发布
• Fornjot（基于 Rust 的代码优先 CAD）- 每周发布- 完成！
• activitypub-federation 0.4.0: 主要重写，改进了可用性和文档
• Quickwit 0.5: 使用 Open Telemetry 和 Jaeger 进行分布式跟踪，VRL，Pulsar 支持等等...!
• pavex，一个新的 Rust web 框架-进展报告 #2

观察/思考#

• 暂时生命周期
• 必须移动类型
• 延迟块和异步丢弃
• 在工作中采用 Rust 的模板建议
• 模式和抽象
• Const 作为自动 trait
• 项目模式和结构 else
• 为什么在后端使用 Rust？
• 日志记录的重要性
• AsRef vs Borrow trait（特色：ChatGPT）
• [音频] 与 Alexander Lopatin 谈 Cargo Limit :: Rustacean Station
• [视频] 关于 Rust/WebAssembly 性能的真相

Rust 指南#

• 在 Rust 中使用 Cow 存储有效利用内存
• PAC 中的 STM32F4 嵌入式 Rust：创建硬件抽象
• PAC 中的 STM32F4 嵌入式 Rust：GPIO 中断
• 构建自己的计数布隆过滤器
• [视频] 为 Rust crate 设置 CI 和属性测试

研究#

• Verus：使用线性幽灵类型验证 Rust 程序
• 使用所有权指导的 C 到 Rust 翻译
• 使用面向数据的设计优化解析器/编译器：案例研究

杂项#

• 将 Rust 引入 Xen 项目
• [一个包管理器的诞生用 Rust 编写 ;)

本周的最佳 Crate#

本周的最佳 crate 是 Speedy2D，这是一个提供跨平台硬件加速的形状、图像和文本绘制的 crate，具有易于使用的 API。

感谢 Aleksey Kladov 的建议！

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

征求参与#

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

其中一些任务可能会有导师提供帮助，请访问任务页面获取更多信息。

• racoon - 开源IAM 寻求贡献者
• Ockam - 创建 clap 命令以显示节点上安全通道监听器的详细信息
• Ockam - 创建 clap 命令以删除节点上现有的转发器
• Ockam - ockam run - 一个单一命令来运行许多 ockam“create”命令

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

Rust 项目的更新#

上周已合并了 321 个拉取请求

• inherit_overflow: 适应模式，也能与 v0 装饰兼容
• read_buf_exact: 在错误时，所有读取的字节都被追加到缓冲区
• 为 llvm 添加 enable-warnings 标志，并默认禁用它
• 添加 useless_anonymous_reexport lint
• 因为循环依赖导致的类型不匹配，添加提示
• 不要因 ConstGeneric rib 中的意外生存期而导致内部编译器错误
• 跨 AnonConstBoundary 检查的延续常数不要导致内部编译器错误
• 不稳定时不要建议类似的方法
• 修复 custom-test-frameworks 功能中的内部编译器错误
• 修复 ClashingExternDeclarations lint 的内部编译器错误
• 在方法链中调用单元类型的方法时发出诊断信息
• 确保ptr::read在探测解引用时获得与 LLVM load 元数据相同的信息
• 消除逃逸的延迟绑定区域，以避免出现模糊的关联类型
• 错误信息: 扩展对 unused_def lint 的建议
• 错误信息: 为 E0532 实现更好的建议
• 类型引用错误时回退到旧的元数据计算
• process_obligations 的快速路径
• 为 impl 的 RPITIT（Return Position Impl Trait In Trait）合成的关联类型修复 generics_of
• 为 -Zlower-impl-trait-in-trait-to-assoc-ty 上的 RPITIT 修复泛型不匹配错误
• 正确地安装从 RPITIT 到默认 trait 方法不透明的投影
• 使其他 crate 中的带有 RPITIT 的函数在 -Zlower-impl-trait-in-trait-to-assoc-ty 下可用
• 修复新 RPITITs 的对象安全性检查
• 为 clang 添加前缀时修复链接器检测
• 展开/内联 format_args!() 和（字符串和整数）字面量参数到 format_args!() 中
• 为 UnusedGenericParams 实现 FixedSizeEncoding
• 在 MIR 构建时实现检查的 Shl/Shr
• 只期望 GAT 常量参数适用于 GAT const 参数的 type_of
• 从 get_fn_decl 返回正确的 HIR
• 移除 identity_future 间接引用
• 从 HIR 中移除 box 表达式
• 用常量代替 ZST 操作数和调试信息
• 简化过程宏签名的有效性检查
• 在我们的规范化逻辑中进行一些清理工作
• 建议将宏用 {} 包围以将其解释为语句
• 使用 crate 元数据中的 unused_generic_params
• miri: 在 fcntl 中移动拒绝隔离逻辑
• miri: 树型借用
• 正确允许宏展开的 format_args 调用使用 captures
• 优化 dep node 回溯并忽略致命错误
• 在 Windows 上 stat 失败时回退到 lstat
• 稳定 unix_socket_abstract
• 稳定 atomic_as_ptr
• 允许在常量上下文中使用 Range 作为 Iterator
• cargo: 在降级依赖时准确显示状态
• cargo: 为 cargo install 添加 --ignore-rust-version 标志
• cargo: 为等待发布添加更多信息
• cargo: 对生成的版本控制系统忽略文件的义务进行调整
• cargo: 处理查找 Config 快照中环境变量的大小写不匹配
• rustdoc: 在某些情况下正确合并导入和其目标的文档
• rustdoc: docFS: 用 threadpool 替换 rayon 并在所有目标上启用它
• rustdoc: 为函数参数搜索实现 bag 语义
• clippy: 添加 allow_attribute lint
• clippy: 检测 &std::path::MAIN_SEPARATOR.to_string() 的新 lint
• clippy: 增强 ifs_same_cond 来警告相同的不可变方法调用
• clippy: 修复 almost_swapped 的误报（let mut a = b; a = a)
• clippy: 修复 almost_swapped: 忽略外部宏
• clippy: 在 manual_async_fn lint 中正确输出函数修饰符
• rust-analyzer: 为缺失的 unsafe 诊断添加自动修复
• rust-analyzer: 优先显示匹配模式完成中缺失的变体
• rust-analyzer: 允许再次点击状态栏项目
• rust-analyzer: 修复在参数列表之外发出的引用完成
• rust-analyzer: 修复 rustc proc-macro 处理在 rustc 工作区中的问题
• rust-analyzer: 修复可见性解析不尊重父级块
• rust-analyzer: 仅为重借用的块、if 和 match 表达式跳过调整提示
• rust-analyzer: lint 不一致的固有 impl

Rust 编译器性能调查#

这是一个混合的一周，有一些不错的收获，但至少有两个拉取请求被回滚，比如升级到 LLVM 16。我们想指出 PR #108944, 它减少了包元数据、二进制文件大小，并在许多基准测试中占据了优势。

由 @pnkfelix 完成的调查。 修订范围：00587489..ef03fda3

1 个退步，4 个改进，11 个混合；其中有 2 个是在回滚中 总共进行了 37 次构建比较

完整报告请点击此处

已批准的 RFCs#

Rust 的更改遵循 Rust RFC（请求评论）过程。以下是本周已批准用于实现的 RFC：

• 本周未批准任何 RFC。

终审评论阶段#

每周，团队都会宣布对于 RFC 和关键 PR 达成决定的 '终审评论阶段'。现在可以表达你的观点。

RFCs#

• [disposition: merge] RFC: result_ffi_guarantees

追踪问题和 PR#

• [disposition: merge] Initial support for return type notation (RTN)
• [disposition: merge] rustdoc: add support for type filters in arguments and generics
• [disposition: merge] rustdoc: run more HIR validation to mirror rustc
• [disposition: merge] Add a builtin FnPtr trait that is implemented for all function pointers
• [disposition: merge] Clarify stability guarantee for lifetimes in enum discriminants

新的和更新的 RFCs#

• 本周没有新的或更新的 RFC。

测试请求#

对于 RFC 的实施来说，人们进行实验并提供反馈非常重要，特别是在稳定之前。以下 RFC 正在期待用户测试：

• 本周没有任何 RFC 发出测试请求。

如果您是功能实现者，并希望您的 RFC 出现在上述列表中，请将新的 call-for-testing 标签添加到您的 RFC 并附上评论，提供测试说明和/或有关需要测试的功能方面的指导。

即将到来的活动#

2023年03月22日至2023年04月19日期间的 Rust 事件 🦀

工作#

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

本周的引言#

生成的程序是一个随机的字节序列，碰巧以一个看似能够工作的程序的形式出现。这就是代码中引起未定义行为时的乐趣所在。当你执行一个带有未定义行为的程序时，你无法从中推断出任何东西，因为这个行为本身就是没有意义的。在你从编译器中得到程序之后，你需要先确认你的程序没有未定义行为，然后再根据程序的执行结果进行推断。

– Ralf Jung on github

感谢 bugaevc 的建议！

请提交引言并为下周进行投票!

• 本周 Rust 团队编辑：nellshamrell, llogiq, cdmistman, ericseppanen, extrawurst, andrewpollack, U007D, kolharsam, joelmarcey, mariannegoldin, bennyvasquez.*

• 电子邮箱列表由 Rust 基金会 赞助托管*

在 r/rust 讨论