初探 Rust 2026 项目目标：66 个目标、6 大旗舰主题与全年路线图

本文是对 Rust 官方 Inside Rust 博客《First look at 2026 Project goals》及其配套 RFC 草案的完整中文解读。作者为 Niko Matsakis代表 Goals 团队发布于 2026 年 2 月 3 日。内容结构概览背景项目目标机制的演变RFC 草案已发布正式征求反馈六大旗舰主题详解Beyond the让智能指针像引用一样自然Unblocking dormant traits解锁沉睡的 traitConstify all the things全面 const 化Higher-level Rust更高层次的 RustSecure your supply chain保障供应链安全Building blocks基础设施积木流程时间线从草案到正式公告66 个目标全览按规模分类大型目标Large16 项中型目标Medium30 项小型目标Small20 项常见问题解答为什么是2026 目标而不是2026H1 目标目标还可以提交吗是否有资金支持什么是旗舰主题Small / Medium / Large 请求分别意味着什么什么是团队 Champion项目目标名称的含义如何参与一、背景项目目标机制的演变Rust 项目目标计划Project Goals是 Rust 社区近年来建立的一套机制用于明确声明项目在特定时间段内重点推进的工作并为这些工作匹配所有者owner负责做事的人和团队team负责接受和支持这项工作的人。本次发布的是2026 年度项目目标的第一稿 RFC 草案与以往半年一次的节奏不同这次计划以全年为周期运作。目标机制也在持续完善加入了旗舰主题Flagship Theme这一新概念为更长远的技术方向提供高层次的叙事框架。二、RFC 草案已发布正式征求反馈Goals 团队已发布 2026 项目目标 RFC 草案的第一稿内容包括迄今为止提交的所有目标提案以及候选的旗舰主题列表。作为第一稿其目的是征集反馈、激发讨论。如果你有疑问或意见欢迎在 Zulip 的 #project-goals/2026-workshop 频道中开启话题。Goals 团队希望收到以下方面的反馈对任何目标向你所在团队发出请求是否有顾虑例如认为这个目标方向不好或你的团队没有能力支持它各目标中的Team Asks是否合理规模是否应该调整对旗舰主题有何看法是否有其他主题方向的想法是否愿意担任某个主题的联系人point of contact负责追踪整体进展并起草定期更新博文是否有你想推进的工作认为可以作为一个目标或与现有主题契合如果资金是障碍也许可以获得支持三、六大旗舰主题详解旗舰主题是跨越多个目标周期的长期努力方向每个主题代表对 Rust 未来走向的一种愿景并配有 2026 年度的具体里程碑。以下逐一介绍。1. Beyond the让智能指针像引用一样自然Rust 的引用和mut非常符合人体工学但对于Arc、Pin、自定义智能指针等类型来说用法往往要繁琐得多。这一主题致力于弥合这一差距让智能指针拥有接近原生引用的使用体验。2026 年关键里程碑Field Projections 的实验性支持允许通过智能指针直接访问其包裹类型的字段而无需手动解引用或编写样板代码。Reborrow traits 的推进通过引入显式的 reborrow trait让自定义指针类型能够像T那样参与借用检查支持更自然的临时借用语义。In-place initialization 的设计对齐为在智能指针中直接构造对象无需先在栈上构造再移动提供语言层面的支持对 Linux 内核等场景尤为重要。2. Unblocking dormant traits解锁沉睡的 traitRust 中有一些 trait 和类型系统特性长期处于沉睡状态无法稳定或演进根本原因在于底层 trait solver 的局限性以及缺乏必要的类型系统基础设施。这一主题旨在系统性地解决这些阻碍。2026 年关键里程碑稳定下一代 trait solver新版 trait solver基于 next-generation solver将带来更正确、更强大、更可预测的类型推断和 trait 解析能力是解锁众多沉睡特性的前提。稳定 Sized 层次结构通过引入更精细的 Sized 层次包括对?Sized、dyn以及可扩展向量等的改进使之前无法正确表达的类型关系得以建模。3. Constify all the things全面 const 化将更多计算提前到编译期是 Rust 性能与表达能力的重要组成部分。这一主题推动const能力在语言的各个层面得到全面扩展和完善。2026 年关键里程碑稳定 const generics 的扩展完整的 const generics 支持Full Const Generics将允许在泛型参数中使用更复杂的常量表达式包括对 struct 和关联常量的支持。prototype reflection探索编译期类型内省reflection和 comptime 求值的原型为 Rust 未来的元编程能力奠定基础。4. Higher-level Rust更高层次的 Rust这一主题关注降低 Rust 的使用门槛提升日常开发体验让 Rust 能更自然地用于脚本、工具和应用级开发而不仅仅是系统编程场景。2026 年关键里程碑稳定 cargo-script允许在单个.rs文件的开头直接声明依赖无需创建完整的 Cargo 项目即可运行含依赖的 Rust 脚本大幅降低一次性工具和脚本的编写门槛。prototype the Share trait即 Ergonomic ref-counting探索让引用计数Arc/Rc更符合人体工学的语言机制减少.clone()噪音使共享所有权的代码更加简洁。5. Secure your supply chain保障供应链安全随着 Rust 在安全敏感领域内核、嵌入式、云基础设施的广泛应用供应链安全变得愈发重要。这一主题致力于为 Rust 生态提供更强大的供应链安全工具。2026 年关键里程碑稳定 public/private dependencies允许 crate 显式声明哪些依赖是公开 API 的一部分哪些仅用于内部实现从而帮助工具链检测意外的 API 泄漏。稳定 SBOM 支持为 Cargo 添加软件物料清单Software Bill of Materials的生成能力使项目能够系统化地追踪和审计其依赖树中的所有组件。6. Building blocks基础设施积木这一主题聚焦于让 Rust 的工具链和构建系统在复杂、大型工程场景中更具可组合性和可集成性为 Rust 进入更多工业级场景打下基础。2026 年关键里程碑build-std 的设计推进允许用户以自定义编译选项重新构建标准库如启用特定优化或目标特性对嵌入式和裸机场景尤为关键。cargo plumbing 命令原型探索一组底层 Cargo 管道命令使 Cargo 能够更方便地被集成到 Bazel、CMake 等外部构建系统中而无需绕过 Cargo 的核心逻辑。四、流程时间线本轮项目目标的推进按月推进各阶段如下一月已完成征集目标提案撰写第一稿草案。二月进行中公开征求反馈完善 RFC 文本。三月正式开放 RFC推动合并。RFC 需获得所有在目标中有Team Ask的团队负责人的批准。四月正式公告 2026 项目目标。五、66 个目标全览本次草案共包含66 个目标按团队投入规模分为大型Large、中型Medium、小型Small三类。以下按分类逐一列举。大型目标Large——共 16 项大型目标需要整个团队深度参与包括设计会议、复杂 RFC 的审查与推进等。目标负责人核心团队Arbitrary Self Types任意 Self 类型Ding Xiang Feitypes、lang、libs-api 等build-std标准库自定义构建David Woodcargo、compiler、libs 等Full Const Generics完整 const 泛型Boxylang、typesConst Traitsconst traitDeadbeeflang、typesArchitectural groundwork for expansion-time evaluation展开期求值架构基础Oliver Scherercompiler、typesField Projections字段投影Benno Lossinlang、compiler、types、libs 等Evolving the standard library API across editions跨 edition 演进标准库 APIAmanieu d’Antrasedition、libs-api、compiler 等MIR move eliminationMIR 移动消除Amanieu d’Antrasopsem、compilerImmobile types and guaranteed destructors不可移动类型与确定性析构Jack Hueylang、typesStabilize the next-generation trait solver稳定下一代 trait solverlcnrtypes、langPromoting Parallel Front End推进并行前端Sparrow Liwg-parallel-rustc、compilerStabilize and model Polonius Alpha稳定并建模 Polonius AlphaRémy RakictypesRedesigningsuper letFlexible Temporary Lifetime Extension重新设计super let灵活的临时值生命周期扩展diannelang、compilerreflection and comptime反射与编译期求值Oliver Schererlang、compiler、libs-apiNormative Documentation for SoundunsafeRust健全 unsafe Rust 的规范性文档Pete LeVasseuropsem、lang、libs-apiDesign, model, and implement a stabilizable-subset of specialization设计并实现可稳定化的 specialization 子集Jack Hueytypes、lang、libsStabilize FLS Release Cadence稳定 FLS 发布节奏Pete LeVasseurfls、spec中型目标Medium——共 30 项中型目标需要来自团队的一名 Champion 提供专项支持但不需要整个团队深度介入。目标负责人Box notation for dyn async traitdyn async trait 的 Box 表示法Niko MatsakisAssumptions on BindersBinder 上的假设条件BoxyAsync Future Memory Optimisation异步 Future 内存优化Ding Xiang FeiAsync statemachine optimisation异步状态机优化Dion DokterBorrowSanitizer借用检查器 SanitizerIan McCormackCargo cross workspace cacheCargo 跨 workspace 缓存Ross SullivanDictionary Passing Style Experiment字典传递风格实验NadrierilErgonomic ref-counting人体工学引用计数寻找负责人Experimental language specification实验性语言规范Jack HueyHigh-Level ML optimizations高层 ML 优化Manuel DrehwaldImproverustc_codegen_craneliftperformance改进 Cranelift 代码生成后端性能bjorn3In-place initialization原地初始化Alice RyhlIncremental Systems Rethought增量编译系统重构Alejandra GonzálezDeclarative (macro_rules!) macro improvements声明式宏改进Josh TriplettControl over Drop semanticsDrop 语义控制Jayan SunilImplement and Maintain MC/DC Coverage SupportMC/DC 覆盖率支持Dorian PéronImplement Verifiable Mirroring Prototype可验证镜像原型实现walterhpearceOpen Enums开放枚举Alyssa HaroldsenNightly support for function overloading in FFI bindingsFFI 绑定中函数重载的 nightly 支持Devin JeanpierreContinue Experimentation with Pin Ergonomics继续 Pin 人体工学实验Frank KingStabilize public/private dependencies稳定公开/私有依赖寻找负责人Reborrow traits重新借用 traitAapo AlasuutariPrepare TAIT RTN for stabilization为 TAIT RTN 稳定化做准备寻找负责人Stabilize Rust for Linux compiler features稳定 Rust for Linux 编译器特性Tomas SedovicSized Hierarchy and Scalable VectorsSized 层次结构与可扩展向量David WoodStabilize MemorySanitizer and ThreadSanitizer Support稳定 MSan/TSan 支持Jakob KoschelStabilize Cargo SBOM precursor稳定 Cargo SBOM 前驱特性寻找负责人Stabilize the Try trait稳定 Try traitTyler MandryImplement Supertraitauto impl实现 Supertrait auto implDing Xiang FeiExplicit tail calls loop_match显式尾调用与loop_matchFolkert de VriesWasm ComponentsWasm 组件模型支持Yoshua Wuyts小型目标Small——共 20 项小型目标通过标准团队流程处理不需要专人专项支持。目标负责人Expanding a-mir-formality to work better as a Rust type system spec扩展 a-mir-formality 作为类型系统规范Jack HueyAArch64 Pointer Authentication using pauthtest targetAArch64 指针认证Jakub ChlandaStabilize Cargo’s linting system稳定 Cargo lint 系统Ed PagePrototype a new set of Cargo “plumbing” commandsCargo 管道命令原型寻找负责人Stabilize cargo-script稳定 cargo-scriptEd PageContinue resolvingcargo-semver-checksblockers推进 cargo-semver-checks 合入 cargoPredrag GruevskiImproving Unsafe Code Documentation in std改进标准库 unsafe 文档XU HuiInteractive cargo-tree: TUI for dependency graphcargo-tree 交互式 TUIOrhun ParmaksızC/Rust Interop Problem Space MappingC/Rust 互操作问题空间映射teorlibc 1.0 release readinesslibc 1.0 发布准备Yuki OkushiFinish the libtest json output experiment完成 libtest JSON 输出实验寻找负责人Implement Open Rust Namespace Support开放命名空间支持实现寻找负责人Establish a Spot for Safety-Critical Lints in Clippy在 Clippy 中为安全关键 lint 建立专区Pete LeVasseurStabilize never type (!)稳定 never 类型waffleStabilizingf16稳定 f16 类型Folkert de VriesType System Documentation类型系统文档BoxyStabilize Unsafe Fields稳定 unsafe 字段Jack WrennEstablish a User Research Team建立用户研究团队Niko Matsakis六、常见问题解答为什么说2026 目标而不是2026H1 目标项目目标的节奏从每半年一次调整为每年一次。目标计划聚焦于规模较大、需要较长时间推进的工作。团队成员可以在年中新增目标但要求届时已有 Champion 和团队对目标方向的基本共识。还可以提交目标吗可以目标全年均可提交。但对于二月及之后提交的目标要求提交时已有 Champion并已获得相关团队的初步认可。当然作为某个团队的成员你可以为自己所在团队的目标担任 Champion。是否有资金支持有。团队正在与潜在赞助方就项目目标及 Champion 的资助事宜进行商议。如果有意向可以在 Zulip 上联系 nikomatsakis 进一步沟通。什么是旗舰主题旗舰主题的设计初衷是对于只有有限时间关注 Rust 进展的人它能提供一个高层次的视角了解项目在大方向上的走势。这些主题的时间跨度往往超过一年例如Beyond the代表一个多年期的技术演进计划。目标是每个旗舰主题都有一名联系人point of contact负责持有愿景、回答外部问题并参与起草定期进展博文。可以提出新的旗舰主题吗可以截止日期为 2 月 14 日情人节。可以使用FLAGSHIP_TEMPLATE.md提交 PR。如果只是对现有主题提出修改意见或愿意担任某个主题的联系人可以在#project-goals/2026-workshop中联系。Small / Medium / Large 请求分别意味着什么这三个级别用于描述一个目标需要从各团队获取的支持规模帮助各团队避免过度承诺。Vibes快速检验一个想法是否值得深入探索是否适合未来带着更成熟方案来找团队。Small小型团队只需做常规性的小型 review 和操作。典型场景添加一个 lint涉及单个 PR。Medium中型需要一名团队成员提供专项支持协助探索设计或特性其他团队成员小范围参与。典型场景早期阶段的实验或需要多个 PR 才能完成的任务。Large大型需要整个团队围绕设计或特性达成共识。典型场景RFC、稳定化决策或需要广泛团队共识的事项。以下是一些具体规则参考以 lang compiler 为例任务langcompiler添加一个 lintSmallSmall落地复杂的编译器变更—Medium推进早期语言实验MediumMedium接受一个语言 RFCLargeMedium稳定一个语言特性LargeMedium审查并稳定微妙的引用变更Large—重构编译器增量系统—Large什么是团队 Champion团队 Champion 是指同意以个人身份为目标 owner 提供持续支持的团队成员。Champion 通常每周或每两周与 owner 进行一次会面帮助提供设计指导指引 owner 找到团队内更合适的人获取进一步信息并负责代表 owner 在团队内部回答关于该目标的问题。作为某个团队的成员你可以为自己的目标担任 Champion。项目目标这个名称的含义项目目标Project Goal是以下两方之间的一个协议Owner所有者负责完成具体工作的人Team团队愿意接受并支持这项工作的团队。Owner 可以是 Rust 团队成员也可以是项目外部的贡献者。唯有相关团队认可该目标这一条件成立它才能成为 Rust 的项目目标。这也是项目目标中项目二字的含义所在——它代表整个 Rust 项目对这项工作的背书。七、如何参与如果你对某个目标有疑问或想法欢迎在 #project-goals/2026-workshop 频道发起讨论。想提交新目标现在仍然来得及只需提前找好 Champion 并与相关团队取得初步共识。想提出或完善旗舰主题参见上方可以提出新的旗舰主题吗一节截止日期为 2 月 14 日。需要资金支持可在 Zulip 上联系 nikomatsakis。完整草案可在 rust-lang.github.io/rust-project-goals/2026/ 查阅。原文作者Niko Matsakis代表 Goals 团队发布。原文链接https://blog.rust-lang.org/inside-rust/2026/02/03/first-look-at-2026-project-goals/