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作为返回类型意味着“此函数将返回实现此特征的单个类型”，而您试图返回实现此特征的多个类型。这对于编译器来说很困难，因为它需要知道返回的类型有多大，并且不同的类型有不同的大小。

一些选项：

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