这是一个创建于 1033 天前的主题，其中的信息可能已经有所发展或是发生改变。
请问大佬，我下面这个代码有个问题：
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 。
 | 1 nebkad 2023-01-31 13:34:36 +08:00 你可能想要的是 `fn user(&self) -> dyn A` |
 | 2 istomyang OP @nebkad 谢谢！这样的签名不就导致编译期不能确定 Size 吗？用 Box<T> 可以，但不够优雅。 PS：我习惯先写接口，用接口确定组织架构关系，然后写实现代码，所以我想是不是姿势不对。然后我看一些标准库和 reqwest 源码，他们的代码组织好像也没有这种习惯（可能我看的东西少）。 |
 | 3 DeWjjj PRO 我是萌新啊，我看过的问题是。 你返回的是个 Trait 对象，而 Trait 对象好像在抽象语法树里面生成之后是无法去界定大小的。 需要使用到 dyn 。 |
| 4 DeWjjj PRO 你真的要返回的话，你要开个 BOX 或者用&去用。 |
 | 5 dianqk 2023-01-31 16:01:24 +08:00 你不能在泛型 A 中返回一个具体的类型，如果用的时候是 `ImplT2<ImplTX>` 会导致期望返回 `ImplTX` 而实际返回 `ImplT1`，这不符合约定。（这里不是 Java ，更没有继承）。 感觉 op 想可以在不同场景下，切换 T1 和 T2 的实现，不知道 https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=c63c18f4708f830a22130e5e2297b42d 能不能满足？ |
 | 6 johnli 2023-01-31 18:14:06 +08:00 @istomyang 也可以改 `trait T2` 的方法`user` 的返回类型为 `impl T1`, 这个目前只能在 nightly 使用 |
 | 7 icodesign 2023-01-31 18:50:37 +08:00 其中一种办法是如果 T1 的实现是可以枚举的，把他们封装成 enum ，然后返回这个 enum 就行，我看到不少是这么处理的，要么只能返回 Box 了 |
Select Language