generics - "generic parameters of trait function"和 "generic parameters of trait"有什么区别？

Question

generic parameters of trait function 的简单示例:

trait Ext: Sized {
    fn then<R>(self, f: fn(Self) -> R) -> R {
        f(self)
    }
}

impl<T> Ext for T {}

generic parameters of trait 的简单示例:

trait Ext<R>: Sized {
    fn then(self, f: fn(Self) -> R) -> R {
        f(self)
    }
}

impl<T, R> Ext<R> for T {}

两者有什么区别？
什么时候应该使用“特征函数的通用参数”，什么时候应该使用“特征的通用参数”？

Answer 1

如果您在特征上使用泛型参数，那么相同的值将必须应用于特征实现中的所有函数，而不是仅应用于每个函数，但您还必须在引用特征时指定参数。
这样做的一个优点是您可以为该 trait 参数的特定值实现一个 trait，其中每个实现都是独立的:

impl Ext<String> for Something { }
impl Ext<u32> for Something { }

也可以根据特征参数限制类型。例如，对于 Mul 特征:

pub trait Mul<Rhs = Self> {
    type Output;
    pub fn mul(self, rhs: Rhs) -> Self::Output;
}

特定类型的实现将确定 Self 的类型，并且它必须指定 Self::Output(不必与 type 相同)。这里的 trait 参数是确保 rhs 的类型与 Self 相同