在Rust的Ok()中添加类型标注为何触发语法错误？

问题详情 #

可运行代码 #

let image: DynamicImage = match image::load_from_memory(&img_bytes) {
        Ok(img) => img,
        Err(error) => panic!("Problem loading the image from memory: {:?}", error),
    };

错误代码（添加类型标注后） #

let image: DynamicImage = match image::load_from_memory(&img_bytes) {
        Ok(img: DynamicImage) => img,
        Err(error: ImageError) => panic!("Problem loading the image from memory: {:?}", error),
    };

报错信息 #

error: expected one of ), ,, @, or |, found :
--> src\main.rs:65:15

|
65 | Ok(img: DynamicImage) => img,
| ^ expected one of ), ,, @, or |

尝试在match分支的Ok/Err中为绑定的变量添加类型标注时触发语法错误，但VS Code的inlay hints显示变量类型与标注完全一致。所有match语句采用这种写法都会报错，明明标注的是正确类型，为何必须移除？

原因与解决方式 #

Rust的模式匹配语法不支持直接在模式绑定的变量后通过: 类型来标注类型，这属于语法违规。match表达式的返回值类型（此处为Result<DynamicImage, ImageError>）已经明确了Ok/Err变体的内部类型，编译器可以自动推导出img和error的类型，不需要额外标注。

如果确实需要显式指定类型，有两种合法写法：

• 使用@绑定配合类型标注（冗余但合法）：

let image: DynamicImage = match image::load_from_memory(&img_bytes) {
        Ok(img @ _: DynamicImage) => img,
        Err(error @ _: ImageError) => panic!("Problem loading the image from memory: {:?}", error),
    };

• 在分支代码块内单独标注类型（更常用）：

let image: DynamicImage = match image::load_from_memory(&img_bytes) {
        Ok(img) => {
            let typed_img: DynamicImage = img;
            typed_img
        },
        Err(error) => {
            let typed_err: ImageError = error;
            panic!("Problem loading the image from memory: {:?}", typed_err)
        },
    };

通常情况下，依赖编译器的自动类型推导即可，这也是Rust简化代码、保证类型安全的设计之一。

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