当两个泛型类型相同时告诉 Rust 编译器

Question

我想知道是否可以告诉 Rust 编译器两种泛型类型相同。

在特定情况下，我有一个泛型方法的特征，我想实现一个与字段具有相同泛型类型的结构，如下例所示：

trait Trait {
    fn foo<T>(&self, t: T) -> T;
}

struct Struct<T> {
    t: T
}

impl<T> Trait for Struct<T> {
    fn foo<U>(&self, t: U) {
        self.t
    }
}

Ofc 在这里我有一个编译器错误，因为它需要 U 但有一个 T。我该如何处理这种情况？

移动通用外部 foo 创建Trait<T>不是一种选择。

Answer 1

您可能会使用关联类型：

trait Trait {
    type U;
    fn foo(&self, t: Self::U) -> Self::U;
}

struct Struct<T> {
    t: T
}

impl<T: Copy> Trait for Struct<T> {
    type U = T;
    fn foo(&self, t: T) -> T {
        self.t
    }
}

操场

PS：我添加了一个额外的T: Copy因为T需要是Copy才能返回self.t因为它是共享参考。

Answer 2

fn foo<T>(&self, t: T) -> T;

in a trait 意味着该方法必须适用于所有T ，并且您的结构字段不可能同时具有所有这些类型！

也就是说，这段代码将根据 trait 和 struct 定义进行编译：

fn main() {
    let x: Struct<i32> = Struct { t: 0 };
    let y: &str = x.foo("abc");
    let z: [i32; 2] = x.foo([0,0]);
}

显然y和z不能是xt 。

（在写完答案后，我看到 mcarton 的评论中已经提出了这一点；如果他问，我会删除它，但希望这种方式更清楚一点，而不需要dyn ）。