预期特征对象`dyn Responsability`，找到类型参数`T`

Question

我正在尝试在 Rust 中实现责任链：

link to playground

use std::error::Error;

struct Query {
    query: String,
}

struct Response {
    response: u64,
}

trait Responsability {
    fn take(&self, iterator: std::slice::Iter<Box<dyn Responsability>>, query: Query) -> Result<Response, Box<dyn Error>>;
}

struct ResponsabilityChain<T: Responsability> {
    responsabilities: Vec<Box<T>>,
}

impl<T: Responsability> ResponsabilityChain<T>
where
    T: Responsability,
{
    pub fn new(responsabilities: Vec<T>) -> Self {
        let responsabilities = responsabilities.into_iter()
            .map(|elt| Box::new(elt))
            .collect();
        
        Self { responsabilities }
    }
    
    pub fn launch(&self, query: Query) -> Result<Response, Box<dyn Error>> {
        let iterator = self.responsabilities.iter();
        let responsability = iterator.next().unwrap();
        
        responsability.take(iterator, query)
    }
}

fn main() {
    println!("Hello, world!");
}

臭名昭著的消息是：

编译 Playground v0.0.1 (/playground) 错误[E0308]：不匹配 类型 --> src/main.rs:35:29 | 19 | impl 责任链 | - 这个类型的参数... 35 |
responsability.take（迭代器，查询）|
^^^^^^^^ 预期特征对象dyn Responsability，找到类型 参数T | = 注意：预期结构 std::slice::Iter<'_, Box<(dyn Responsability + 'static)>> 找到 struct std::slice::Iter<'_, Box<T>> = help: 类型参数必须被约束以匹配其他类型 = 注意： 欲了解更多信息，请访问 https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters

有关此错误的更多信息，请尝试rustc --explain E0308。 错误：由于先前的错误，无法编译playground

我不明白为什么编译器抱怨期待Box<dyn Responsability> 而拥有Box<T>，因为我指定了T: Responsability。我做错了什么？

Answer 1

dyn I 和 <T> where T: I 在 Rust 中是不同的类型，因此编译器会报错，因为没有隐式转换。

T 是在编译时确定的具体类型。 dyn I 它是一个“特征对象”，它是动态的，具体类型未知，但有点包含在其中。

关于该主题的good video。

从<T> where T: I 到dyn I 的转换不是免费的，它有运行时成本，所以必须明确Rust 的理念。

可以通过在所有地方使用Vec<Box<dyn Responsability>> 来修复代码。它还允许您将任意类型传递给new()，这可能是您想要的，因为Vec<T> 必须包含相同类型的对象（请记住，此类型是在编译时确定的）。