小白： Rust 一个编译问题。

[istomyang]

请问大佬，我下面这个代码有个问题：

use std::marker::PhantomData;

trait T1 {
    fn f();
}

trait T2<A: T1>
where
    A: T1,
{
    fn user(&self) -> A;
}

struct ImplT2<A> {
    _marker: PhantomData<A>,
}

impl<A> T2<A> for ImplT2<A>
where
    A: T1,
{
    fn user(&self) -> A {
        ImplT1 {}
    }
}

struct ImplT1;

impl T1 for ImplT1 {
    fn f() {
        print!("")
    }
}

cargo check 提供的信息：

error[E0308]: mismatched types
  --> src/iam/chain/test.rs:23:9
   |
18 | impl<A> T2<A> for ImplT2<A>
   |      - this type parameter
...
22 |     fn user(&self) -> A {
   |                       - expected `A` because of return type
23 |         ImplT1 {}
   |         ^^^^^^^^^ expected type parameter `A`, found struct `ImplT1`
   |
   = note: expected type parameter `A`
                      found struct `ImplT1`

语法检查区并不认为 A 等同于 ImplT1 。

[nebkad]

你可能想要的是 `fn user(&self) -> dyn A`

[istomyang]

@nebkad 谢谢！这样的签名不就导致编译期不能确定 Size 吗？用 Box<T> 可以，但不够优雅。

PS：我习惯先写接口，用接口确定组织架构关系，然后写实现代码，所以我想是不是姿势不对。然后我看一些标准库和 reqwest 源码，他们的代码组织好像也没有这种习惯（可能我看的东西少）。

[DeWjjj]

我是萌新啊，我看过的问题是。
你返回的是个 Trait 对象，而 Trait 对象好像在抽象语法树里面生成之后是无法去界定大小的。
需要使用到 dyn 。

[DeWjjj]

你真的要返回的话，你要开个 BOX 或者用&去用。

[DianQK]

你不能在泛型 A 中返回一个具体的类型，如果用的时候是 `ImplT2<ImplTX>` 会导致期望返回 `ImplTX` 而实际返回 `ImplT1`，这不符合约定。（这里不是 Java ，更没有继承）。

感觉 op 想可以在不同场景下，切换 T1 和 T2 的实现，不知道 https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=c63c18f4708f830a22130e5e2297b42d 能不能满足？

[johnli]

@istomyang 也可以改 `trait T2` 的方法`user` 的返回类型为 `impl T1`, 这个目前只能在 nightly 使用

[icodesign]

其中一种办法是如果 T1 的实现是可以枚举的，把他们封装成 enum ，然后返回这个 enum 就行，我看到不少是这么处理的，要么只能返回 Box 了

[nebkad]

@istomyang 如果你需要运行时多态而不是编译期多态，但又觉得锁死用 Box 不够优雅，那么你可以试试约束为 DerefMut<Target = dyn T1>
当然，现在直接这么写是不行的，T1 必须是 Sized

[istomyang]

@DeWjjj 谢谢回复！是的，不满足 Size ，只能用 Box 或者其他智能指针，但总感觉不优雅。

[istomyang]

@DianQK 感谢回复，满足需求，大佬太厉害了，万分感谢🙏。

[istomyang]

@johnli 感谢回复🙏，我用的是 stable ，trait 里不能用 impl 关键词，未来有希望。

[istomyang]

@icodesign 感谢回复！用枚举就有点，，，，很不优雅。

[istomyang]

@nebkad 感谢回复🙏，是的，这个方法也不错，学习到了，谢谢大佬！