如何实现参数化特征的特征

Question

我有一个设计问题，当使用类似的东西时：

trait MyTrait<K: OtherTrait> { ... }

impl<K: OtherTrait, M: MyTrait<K>> AnyTrait for M { ... }

use std::fmt;
use std::marker::PhantomData;

pub trait MyTrait<K: fmt::Display> {
    fn get_some_k(&self) -> Option<K>;
}

/* // This is my target impl but results in E207 due to K not constrained
impl<K: fmt::Display, S: MyTrait<K>> fmt::Display for S {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "{}", self.get_some_k().unwrap())
    }
} */
pub struct Ugly<'a, K: fmt::Display, S: 'a + MyTrait<K>>(&'a S, PhantomData<K>);
impl<'a, K: fmt::Display, S: MyTrait<K>> fmt::Display for Ugly<'a, K, S> {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "{}", self.0.get_some_k().unwrap())
    }
}

fn main() { }

我认为应该有一些更好的方法来实现这种参数化的特性。

我在std中没有找到好的示例（例如，在具有类似iterator的关联类型的traits中没有display实现）？

Answer 1

下面是一个使用关联类型的实现（这意味着每个类型只能为一个K实现MyTrait):

use std::fmt;

pub trait MyTrait {
    type K: fmt::Display;
    fn get_some_k(&self) -> Option<Self::K>;
}

impl<S: MyTrait> fmt::Display for S {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "{}", self.get_some_k().unwrap())
    }
}

fn main() { }

但是，如果这样说明，就会清楚地看出这种方法也行不通，因为您要为实现MyTrait的所有类型实现Display--这些类型可能有自己的Display实现。这是禁止的，因此您得到E0210:

错误：类型参数s必须用作某些本地类型的类型参数（例如mystruct )；只有在当前板条箱中定义的特征才能为类型参数实现[E0210]

将其包装成某种东西--就像您的ughlydid那样--是允许这种实现的唯一方法。或者在自己的板条箱中实现一个特征，而不是在其他人的板条箱中实现一个特征（如displayis)。