匹配一个泛型参数到IMPL的另一个泛型参数

Question

我有这样的代码（in playground）：

trait Limit {} 

pub trait Trait 
{ 
    fn give<T>(&self, x: T) -> T 
    where T: Limit; 
} 

struct Struct<T: Limit> {field: T} 

impl<T> Trait for Struct<T> 
    where T: Limit 
{ 
    fn give<S>(&self, x: S) -> S 
    where S: Limit 
    { 
     self.field 
     //interacts with x parameter and gives an "S: Limit" result  
    } 
} 

我想要做的就是保持性状Trait的give功能的签名，并在同一时间为通用结构Struct实现特征Trait。

，但我得到这个错误

<anon>:17:8: 17:14 error: mismatched types: 
expected `S`, 
    found `T` 
(expected type parameter, 
    found a different type parameter) [E0308] 
<anon>:17  self.field  
       ^~~~~~ 

我想用我在这个question其相关的参数与通用参数匹配看见，所以我改变：

fn give<S>(&self, x: S) -> S 
    where S: Limit 

到：

fn give<S = T>(&self, x: S) -> S 
    where S: Limit 

我没有得到关于此语法的错误，但它wa解决上面的错误。

有什么办法可以实现我想要做的事情吗？

而一个侧面的问题，在这种情况下究竟做什么<S = T>？

Answer 1

正如你所写，你的Trait的实现必须实现give的方式适用于任何类型的调用者希望。另一方面，您的give执行Struct<T>只适用于特定类型，T。

如何让特质本身是通用的，而不是方法？

pub trait Trait<T> where T: Limit { 
    fn give(&self, x: T) -> T; 
} 

impl<T> Trait<T> for Struct<T> where T: Limit { 
    fn give(&self, x: T) -> T 
    { 
     self.field // does not compile, you can't give away one of your fields 
        // unless you mem::replace() it with another value 
    } 
} 

这样，Trait<T>实现只适用于由实施者，而不是调用选择特定类型T。

另一种选择是使用相关的类型，而不是：

pub trait Trait { 
    type T: Limit; 

    fn give(&self, x: Self::T) -> Self::T; 
} 

impl<T> Trait for Struct<T> where T: Limit { 
    type T = T; 

    fn give(&self, x: T) -> T 
    { 
     self.field 
    } 
} 

这里，Trait不再是通用的，但Struct仍然是通用的，并且Struct每个实例实现相同的Trait特质。