Rust impl Trait 作为函数返回类型

Question

我有以下函数，其中Command是一个特征

pub fn parse_arguments(matches: ArgMatches) -> Result<impl Command, &'static str>

在函数体内，我想根据参数返回不同的 Command 实现，例如

match args.subcommand() {
    ("init", Some(args)) => {
        Ok(Init::new(args))
    }
    ("btc", Some(args)) => {
        Ok(ImportBtc::new(args))
    },
    ("grin", Some(args)) => {
        Ok(ImportGrin::new(args))
    },
    _ => Err ("Invalid subcommand supplied")
}

编译将失败并出现错误：

expected struct `commands::cmd_types::Init`, found struct `commands::cmd_types::ImportBtc`

和ImportGrin返回线类似。

我是否误解了impl Trait工作原理？

Answer 1

不幸的是，这并不是impl Trait所做的。 impl Trait作为返回类型意味着“此函数将返回实现此 trait 的单个类型”，而您试图返回实现该 trait 的多个类型。 这对编译器来说很难，因为它需要知道返回的类型有多大，并且不同的类型有不同的大小。

一些选项：

1. 将返回值装箱，因为Box始终具有相同的大小
2. 定义一个每个返回类型都有一个变体的enum ，将返回值包装在enum ，并为enum实现特征。
3. 使用https://crates.io/crates/auto_enums自动创建 2 中描述的枚举。