Rust 1.99.0 发布：可变参数与指针布局

技术要点

Rust 1.99.0 是 Rust 团队发布的稳定版本，Rust 是让每个人都能构建可靠、高效软件的语言。已通过 rustup 安装旧版本的用户可执行 rustup update stable 获取 1.99.0；未安装 rustup 的用户可从官网对应页面获取。有意参与未来版本测试的用户可切换到 beta 通道（rustup default beta）或 nightly 通道（rustup default nightly）。

1.99.0 stable 主要包含三项内容：

其一，稳定 extern "C" 可变参数函数。本次稳定使用 "C" 与 "C-unwind" ABI 定义 C-ABI 可变参数函数的能力，这类函数通过 ... 表示可变参数列表、可接收任意数量参数。此前 Rust 已能调用外部定义的可变参数函数（如 libc::printf），1.99 起可在 Rust 自身中编写此类函数。... 的类型为 VaList，跨目标与 C 的 va_list ABI 兼容；能从 VaList 读取哪些类型由 VaArgSafe trait 约束。

其二，从原始指针获取布局信息。本次明确了从原始指针获取大小与对齐时的安全要求，覆盖 Sized 与非 Sized 类型，通过稳定 Layout::for_value_raw、mem::size_of_val_raw、mem::align_of_val_raw 三个函数实现。

其三，不推荐 Box::leak 后的「再释放」写法。1.99 无语言语义变更，仅更新了 Box::leak 文档，建议避免先 leak 之后再释放内存的模式。

原理与背景

可变参数函数在跨语言边界中十分常见。C ABI 可变参数函数通过 ... 接收不定数量参数，Rust 此前只能作为调用方使用（例如调用 libc 的 printf），无法用 Rust 编写。1.99 补齐了这一方向，允许在 Rust 中定义 C-ABI 可变参数函数，使 Rust 也能作为提供方参与跨语言交互。... 对应的 VaList 与 C 的 va_list 在 ABI 层面兼容，保证底层调用约定统一；VaArgSafe trait 则从类型安全角度约束可从 VaList 读取哪些类型，避免不安全读取。

原始指针布局信息方面，获取 Sized 类型的大小与对齐此前已可在稳定版完成，但非 Sized 类型的安全要求此前未定。本次稳定三个函数，明确了针对两种类型的访问安全边界，为底层内存操作提供稳定的 API 支撑。

关于 Box::leak 的文档调整，动机在于先 leak 之后再释放内存的代码与当前及未来潜在的编译器优化存在不良交互，尤其在自定义分配器即将稳定之际问题更为突出，因此团队选择在文档层面给出指引而非改动语言语义。

落地建议

准备升级的用户建议先通过 rustup update stable 将本地工具链更新到 1.99.0，再在测试环境中验证项目能否正常编译与运行，确认依赖库与新版本兼容后再推广到生产。

若需在 Rust 中定义 C-ABI 可变参数函数，注意函数体处于 unsafe 上下文，调用方需保证参数数量与类型满足约定；读取 VaList 时应确保所读类型满足 VaArgSafe trait。

使用原始指针获取布局信息时，Layout::for_value_raw、mem::size_of_val_raw、mem::align_of_val_raw 虽已稳定，仍需对指针所指对象的生命周期与有效性负责，确保指针合法后再调用。

对于已使用 Box::leak 的代码，建议审视是否存在「先 leak 之后再释放」的写法，如有则按新文档建议调整，避免与未来编译器优化及自定义分配器的交互带来问题。