2天时间,聊今年最热的 Agent、上下文工程、AI 产品创新等话题。2025 年最后一场~ 了解详情
写点什么

Rust 1.84 已发布,包括可能会破坏工具链的 WASI 目标更名

  • 2025-03-05
    北京
  • 本文字数:946 字

    阅读完需:约 3 分钟

大小:435.31K时长:02:28
Rust 1.84 已发布,包括可能会破坏工具链的 WASI 目标更名

本文最初发布于 DEV CLASS。



Rust 团队发布了 1.84.0 稳定版,带来下一代 trait 求解器和依赖版本检查改进方面的进展。不过,如果开发人员尚未进行必要的更新,那么 WebAssembly 系统接口(WASI)目标名称的变更可能会破坏工具链。

 

新版 Rust 主要有三个特性。首先是 Cargo 解析器可以感知支持的最小 Rust 版本(MRSV)。虽然该特性在默认情况下并未启用,但现在已经稳定。Cargo 是 Rust 官方的软件包管理器。如果升级后的软件包需要新一些的 Rust 版本,那么 Cargo 现在可以自动忽略它。在软件包清单中,MSRV 使用了可选的 rust-version 字段。

 

接下来是下一代 trait 求解器的进展。新的 trait 求解器是 Rust 类型系统的一部分,用于确定类型是否以及如何实现 trait (类似于其他语言中的接口)。按照 Rust 类型团队的说法,新求解器“应能修复许多长期存在的(稳定性)Bug,赋能未来类型系统的改进,并改善编译时间”。新求解器尚未完成,但现在将用于一致性检查,确保任何给定类型的 trait 最多只有一种实现。

 

第三,Rust 正在添加用于对指针出处进行严格检查的 API,尤其是在将指针转换为整数和返回整数时。该团队解释说,这个问题本身就存在模糊性。新 API 将有利于 Miri 等工具检测 Rust 代码中的未定义行为,也有利于证明 Rust 代码的形式正确性。

 

一些开发人员在升级 Rust 时会收到错误信息,因为目标 wasm32-wasi 已不再可用。这是因为该目标在 Rust 1.71 中已更名为 was32-wasip1 [zero point 1]。解决方法是升级前进行以下操作 :

rustup target remove wasm32-wasi
复制代码

 

这背后的故事是,还有一个 wasm-wasip2 [zero point 2] 目标,与 WASI(WebAssembly 系统接口)的里程碑版本相匹配。将初始目标命名为 wasm32-wasi(当时它还是早期预览版)是个错误,这掩盖了它还是一个正在开发中的接口这一事实。去年 4 月,开发人员收到了有关更改的预警,并有 8 个月的过渡期在项目中改用新的目标名称。不可避免的是,有些开发者还没有这样做,wasm32-wasi 的消失会造成一些麻烦,不过这也可能促使开发者在可能的情况下转向更新的 warm-wasip2 目标。

 

声明:本文为 InfoQ 翻译,未经许可禁止转载。

 

原文链接:https://devclass.com/2025/01/14/rust-1-84-released-including-name-change-to-wasi-target-that-may-break-toolchains/

2025-03-05 17:524590

评论

发布
暂无评论

Lightroom Classic 2020 for mac/win (lrC 2020) 中文直装版

你的猪会飞吗

Mac电脑软件 苹果电脑软件下载

一文读懂Lumoz节点的潜力与收益,加密收益新范式

加密眼界

mac单机游戏推荐:星际争霸母巢之战 for Mac v1.16.1汉化版

你的猪会飞吗

Mac游戏下载 Mac游戏推荐

Leangoo一站式敏捷研发协同平台,助力敏捷企业高效协同

顿顿顿

敏捷开发 敏捷工具 scrum工具

百度大模型安全及产业应用实践将亮相 2024 WAVE SUMMIT

百度安全

Telegram的强大社交属性下TON链项目的潜力及开发前景

区块链软件开发推广运营

dapp开发 区块链开发 NFT开发 公链开发

Advanced RAG 08:使用 Self-RAG 打造高质量、可追溯的 RAG System

Baihai IDP

程序员 AI 企业号 6 月 PK 榜 rag

KDD 2024 | 专业实力再获认可!网易伏羲四篇论文入选

网易伏羲

人工智能 论文 KDD 网易伏羲

Apache Paimon统一大数据湖存储底座

Apache Flink

大数据 flink 流批一体 paimon

百度二面,有点小激动!附面试题

王磊

Java

开始报名啦!智能可观测运维技术 MeetUp 议题硬核来袭

OpenAnolis小助手

操作系统 系统运维 可观测运维技术

高性能网络SIG月度动态:自研 IPPROTO_SMC 贡献 Linux 社区,virtio 增加多项优化

OpenAnolis小助手

高性能网络 龙蜥社区 龙蜥社区SIG

国际导师上海面授大规模敏捷LeSS认证2024年10月24-26日开班 | 报名享特大福利

ShineScrum

less safe 大规模敏捷

产品交付能力提升的探索与分享

鲸品堂

交付 交付能力 企业号 6 月 PK 榜

和鲸101计划:Python 气象海洋数据分析 Workshop 回顾

ModelWhale

数据 气象

系统和流程是我最好的朋友

zhumingwu

软件测试学习笔记丨测试体系与测试方案设计

测试人

软件测试 测试开发

长文本创作者福音来了,百度文库新产品「橙篇」一口气生成10万字

极客天地

Flutter中的异步和多进程

凌宇之蓝

晶澳太阳能选择 TDengine 加强数据管理,助力实现双碳目标

TDengine

数据库 tdengine 时序数据库

使用 curl 发送请求

霍格沃兹测试开发学社

和鲸101计划:助力上海外国语大学人文社科专业数据分析

ModelWhale

数据 人文社科

Rust 1.84 已发布,包括可能会破坏工具链的 WASI 目标更名_编程语言_Tim Anderson_InfoQ精选文章