优秀

--
👇
苦瓜小仔: 从入门的泛型语法开始学习。如果只是一个纯粹的练习，一个近似的东西可以是

pub struct A(u64);

pub trait T1<T> {
    fn test() -> T;
}

pub trait T2 {}

impl T2 for A {}

pub struct B<T>(T);

impl T1<A> for B<A> {
    fn test() -> A { A(5) }
}

这只用到了简单的类型泛型和 trait 实现。

main.rs这样写就可以编译通过了：

pub struct A(u64);

pub trait T1<F> {
    fn test() -> F;
}

pub trait T2 {}

impl T2 for A {}

pub struct B<T>(T);

impl T1<A> for B<A> {
    fn test() -> A {
        A(5)
    }
}

fn main() {
    println!("done");
}

想要 impl<T: T2> T1 for B 所表达的功能，可能写这样的代码

pub struct A(u64);

pub trait T1<T> {
    fn test() -> T;
}

pub trait T2 {
    fn new() -> Self;
}

impl T2 for A {
    fn new() -> Self { A(5) }
}

pub struct B<T>(T);

impl<T: T2> T1<T> for B<T> {
    fn test() -> T { T::new() }
}

从入门的泛型语法开始学习。如果只是一个纯粹的练习，一个近似的东西可以是

pub struct A(u64);

pub trait T1<T> {
    fn test() -> T;
}

pub trait T2 {}

impl T2 for A {}

pub struct B<T>(T);

impl T1<A> for B<A> {
    fn test() -> A { A(5) }
}

这只用到了简单的类型泛型和 trait 实现。