【Rust日报】2026-08-22 下一代 trait solver 在 nightly 默认启用
内容提要
Rust官方近期发布多项更新：下一代trait solver在nightly默认启用，修复200多个问题并提升编译性能；arrayref crate遭供应链攻击，恶意版本已移除；Rust 1.98.0发布，新增浮点运算和格式化API；HelixDB开源图数据库以对象存储为主存储，支持向量检索。
延伸解读
如何应对 nightly 回归
自 8 月 22 日起，最新 nightly 默认启用下一代 trait solver。若遇到编译回归，可传 -Znext-solver=coherence 临时关闭，并关注跟踪 issue #160895 了解已知破坏。该改动是 Rust 编译器最大变更之一，修复 200 多个问题，但可能影响依赖旧行为的代码。
供应链攻击的防范要点
arrayref 0.3.10 恶意版本在 crates.io 上线约 86 分钟后被删除，期间下载约 2285 次。官方建议检查本地 ~/.cargo/registry/cache 是否拉取过相关恶意包。受影响包还包括 internment@0.8.7 与 append-only-vec@0.1.9，相关公告见 RUSTSEC-2026-0260。
新版本性能与 API 亮点
Rust 1.98.0 为 f32/f64 增加 algebraic 浮点运算方法，允许编译器基于实数代数性质优化；稳定 format_into 配合 NumBuffer 实现接近 itoa 的整数格式化性能。其他稳定 API 包括 str::substr_range、[T]::subslice_range、String::from_utf16le/be 等。
HelixDB 的设计取舍
HelixDB 将对象存储作为主磁盘，通过内存与 SSD 缓存加速，冷查询只拉取所需 object range。全文搜索基于改造后的 Tantivy，并与图事务提交顺序对齐，避免索引不一致。支持图遍历、等值与范围索引、BM25 和近似最近邻，提供多种语言 SDK。
Q&A
Rust 下一代 trait solver 在 nightly 默认启用有什么意义？
这是 Rust 编译器自首次发布以来最大的单次变更之一，完整替换了 where 子句证明、关联类型归一化等路径，修复了 200 多个已知 GitHub issue，并为 Type Alias Impl Trait、Return Type Notation 以及后续默认 trait bound（如 Move、Forget）等能力扫清障碍。
如果遇到下一代 trait solver 的回归问题，如何临时关闭？
可以传 -Znext-solver=coherence 临时关闭，并到跟踪 issue #160895 查看已知破坏。
下一代 trait solver 对编译性能有什么影响？
部分 crate（如 datafusion）已出现超过 8 倍的编译加速，团队仍在继续优化。
arrayref 供应链攻击事件中，恶意版本是如何传播的？
arrayref 的 0.3.10 版本被发布并直接依赖恶意 crate proc-macro1，其 build script 会下载恶意载荷。
arrayref 供应链攻击事件中，用户应该如何自查？
建议用户检查本地 ~/.cargo/registry/cache 是否拉取过相关恶意包。
Rust 1.98.0 为浮点运算增加了什么？
为 f32/f64 增加了 algebraic 浮点运算方法，允许编译器基于实数代数性质做重排与向量化类优化。
Rust 1.98.0 稳定了哪些与整数格式化相关的 API？
为整数类型稳定了 format_into，配合 NumBuffer 做缓冲整数格式化，性能接近 itoa。
HelixDB 图数据库的存储架构有什么特点？
HelixDB 把对象存储（如 S3）作为主磁盘，基于 fork 后的 SlateDB 做面向对象存储的 LSM 引擎，前面再加内存与 SSD 缓存；冷查询只拉取所需 object range，而不是整份 SST。
HelixDB 支持哪些查询功能？
支持图遍历、等值与范围索引、BM25 和近似最近邻，并提供 Rust、TypeScript、Python 与 Go SDK。
