泛型的 impl &dyn 特征界限如何？

Question

我想创建一个Vec<T>，其中T 绑定到一个名为HTML 的特征：

pub trait HTML {
    fn to_email_body(&self) -> String;
}

现在我想要一个结构体：

impl Body {
pub fn new(from: String, to: Vec<String>, components: Vec<C>) -> Self 
    where C: HTML 
    {
        Self {
            from,
            to,
            components,
        }
    }
}

所以我可以将带有泛型类型T 的components 传递给new 构造函数。

但是，我必须创建一个 Vec<&dyn HTML> 以便 Rust 可以在编译期间调整它的大小：

let mut components: Vec<&dyn HTML> = Vec::new();
components.push(&dashboard);

trait impl 看起来会是什么样子？到目前为止我有

impl HTML for Dashboard {
    fn to_email_body(&self) -> String {
        format!("{}", self)
    }
}

现在我收到以下错误：

the trait bound `&dyn HTML: HTML` is not satisfied
the trait `HTML` is not implemented for `&dyn HTML`

我无法在我必须定义 trait/trait impl 的 &dyn 部分的地方建立联系！

Answer 1

dyn HTML 实现 HTML，&dyn HTML 没有。要么将 Body::new 更改为 Vec<&C> 其中 C: HTML，要么添加 HTML 的全面实现以供参考：

impl<T: HTML> HTML for &T {
    fn to_email_body(&self) {
        self.to_email_body()
    }
}