Rust函数重载——呼吁实验
内容提要
Rust项目与Rust基金会合作，实验函数重载以改善FFI绑定。通过“splat”特性，允许重载函数以独立参数调用，如`hypot(2.0, 3.0, 6.0)`，无需元组。该特性仅限nightly编译器，不稳定，旨在探索类型系统限制和互操作用例。未来可能引入更优雅的`#[overload]`属性，但尚在早期阶段。
延伸解读
实验性质与稳定性风险
该特性目前仅在 nightly 编译器上可用，且没有 RFC，随时可能更改或移除。开发者若在项目中使用，需注意其不稳定性，并做好后续迁移准备。实验旨在探索类型系统限制和互操作用例，而非提供稳定 API，因此不建议在生产环境依赖此特性。
对 FFI 绑定的实际意义
通过 splat 特性，Rust 可以更自然地调用 C++ 等语言的重载函数，无需手动构造元组。例如 hypot(2.0, 3.0, 6.0) 直接对应 C++ 的 std::hypot 重载。这降低了 FFI 绑定的心智负担，但当前仍需手动实现 trait 和 impl，实际使用并不省力，更多是验证可行性。
未来可能的演进方向
文章提到未来可能引入 #[overload] 属性，让编译器自动处理重载，甚至可能仅限 extern 块。但最终形态尚不明确，可能通过宏隐藏实现细节。当前实验将帮助发现类型系统限制和诊断需求，为后续设计提供依据。
Q&A
Rust 最近在实验什么新特性来改善 FFI 绑定？
Rust 项目与 Rust 基金会合作，正在实验函数重载，通过一个名为“splat”的不稳定编译器特性，允许重载函数以独立参数调用，而不是必须使用元组。
在稳定版 Rust 中，如何实现函数重载？
稳定版 Rust 支持通过元组和 trait 实现函数重载，但调用时参数必须作为单个元组传递，例如 `hypot((2.0, 3.0, 6.0))`。此外，稳定版还允许通过 trait 对内置运算符进行重载，如 `Add` 和 `Neg`。
splat 特性目前处于什么状态？
splat 是一个不完整的编译器特性，仅在 nightly 编译器上可用，从 2026-07-31 起的 nightly 构建开始支持。它没有 RFC，可能随时更改或移除，目前主要用于实验和探索。
splat 特性如何使重载函数调用更简洁？
使用 splat 特性后，重载函数可以直接以独立参数调用，例如 `hypot(2.0, 3.0, 6.0)`，无需像稳定版那样使用双括号 `hypot((2.0, 3.0, 6.0))`。
Rust 的 splat 实验旨在回答哪些问题？
实验旨在探索 Rust 类型系统的限制、如何处理典型的外语重载、指导重载用户所需的诊断信息，以及未来工作的设计缺口。
splat 特性在 rustdoc 中如何显示？
rustdoc 支持 splatted 参数显示为省略号（…），而不是参数名。例如，`fn example(#[rustc_splat] args: (u32, String))` 显示为 `fn example(…: (u32, String))`。
未来 Rust 可能如何实现更优雅的重载？
未来可能引入 `#[overload]` 属性，使调用重载的外部函数时无需 trait、元组或 `#[rustc_splat]`，编译器自动处理。该特性可能首先限于 extern 块，扩展到原生 Rust 可能作为单独特性，时间更长或可能不会实现。
splat 实验与哪些项目或计划相关？
该实验与 Rust 基金会的 Rust-C++ 互操作倡议相关，由 Google 资助，是 Nightly 支持 FFI 绑定中函数重载的 Rust 项目目标的一部分，也是 C++/Rust 互操作问题空间映射项目目标的成果。
