Rust能否在解构语句内为变量声明类型？是否有相关RFC？

当前稳定版Rust不支持在解构模式内部直接为单个变量添加类型标注，这就是你尝试let (a: i32, b: u32) = return_stuff();时触发编译错误的原因——Rust的模式语法规则里，解构位置的变量不允许直接使用:添加类型注解。

可行的替代方案 #

如果你想在单语句内完成类型声明和解构，有两种常用方式：

1. 为整个解构绑定标注类型：

fn return_stuff() -> (i32, u32) {
    (-1 as i32, 1 as u32)
}

fn main() {
    let (a, b): (i32, u32) = return_stuff();
}

这种方式通过标注整个元组的类型，让编译器推导内部变量的类型，效果和你想要的一致。

2. 使用@绑定配合类型标注（更适合局部变量需要单独类型约束的场景）：

fn return_stuff() -> (i32, u32) {
    (-1 as i32, 1 as u32)
}

fn main() {
    let (a @ _: i32, b @ _: u32) = return_stuff();
}

不过这种写法相对冗余，一般更推荐第一种方案。

关于在研的RFC #

确实有针对该特性的RFC正在讨论：RFC 2393: Allow type annotations in patterns，它明确提议允许在模式中的变量上直接添加类型标注，比如你期望的let (a: i32, b: u32) = ...写法。目前这个RFC仍处于社区讨论阶段，尚未被合并，也没有进入稳定版的明确计划。

内容的提问来源于stack exchange，提问作者JamesThomasMoon