如何通过MyResult类型获取其Ok变体的关联类型，避免重复写u8？

你可以直接利用标准库Result枚举自带的关联类型实现需求，无需显式写出u8。Result<T, E>默认定义了两个关联类型：Ok对应成功类型T，Err对应错误类型E，你的MyResult别名继承了这些关联类型，因此可以直接通过MyResult::Ok获取目标类型。

修改后的check函数代码如下：

type MyResult = Result<u8, String>;

fn main() {
    match check(42) {
        Ok(number) => println!("OK: {}", number),
        Err(msg) => println!("Error: {}", msg),
    }

    match check(1337) {
        Ok(number) => println!("OK: {}", number),
        Err(msg) => println!("Error: {}", msg),
    }
}

fn check(number: i32) -> MyResult {
    if (0..256).contains(&number) {
        // 通过MyResult的关联类型Ok获取u8类型
        Ok(number as MyResult::Ok)
    } else {
        Err("Out of bounds!".to_string())
    }
}

原理说明 #

当你定义type MyResult = Result<u8, String>时，MyResult完全继承了Result<u8, String>的所有关联类型和方法。其中：

• MyResult::Ok等价于u8
• MyResult::Err等价于String

这种方式能有效减少复杂代码库中的类型重复问题，后续如果需要修改MyResult的成功类型（比如从u8改成u16），只需要修改别名定义，所有使用MyResult::Ok的地方会自动同步，无需逐一修改。

注意事项 #

类型转换number as MyResult::Ok必须保证安全性，你的代码中已经通过(0..256).contains(&number)确保了number在u8的取值范围内，因此不会出现溢出问题。如果没有范围检查，建议使用TryInto trait进行安全转换，避免潜在的运行时错误。

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