使用Rust trait对象时遇到类型错误，求解答

问题背景 #

定义了如下结构体和实现：

pub struct HitableList <'a> {
    pub list : Vec<Box<dyn Hitable + 'a>>
}

impl <'a> HitableList <'a> {
    pub fn new (l : &Vec<Box<dyn Hitable + 'a>>) -> HitableList<'a> {
        HitableList {list : *l}
    }                                                                                         
}

其中Hitable是一个trait，Sphere也实现了该trait。尝试创建实例时：

let list = vec![Box::new(Sphere::new(Vec3::new(0f32, 0f32, -1f32), 0.5f32)), Box::new(Sphere::new(Vec3::new(0f32, -100.5f32, -1f32), 100f32))];
let world = &HitableList::new(&list);

出现编译错误：

error[E0308]: mismatched types
--> src/image_gen/many_spheres.rs:39:35
   |     let world = &HitableList::new(&list);
   |                  ---------------- ^^^^^ expected trait object `dyn Hitable`, found struct `Sphere`
   |                  |
   |                  arguments to this function are incorrect
   |
   = note: expected reference `&Vec<Box<dyn Hitable>>`
              found reference `&Vec<Box<Sphere>>`

问题原因 #

1. 容器类型不兼容：Vec<Box<Sphere>>和Vec<Box<dyn Hitable>>是完全不同的具体类型，Rust不会自动将前者转换为后者。虽然单个Box<Sphere>可以被强制转换为Box<dyn Hitable>，但这种转换不会自动应用到整个Vec容器上。
2. 构造函数设计问题：当前new函数要求接收&Vec<Box<dyn Hitable + 'a>>类型的参数，而你传入的是&Vec<Box<Sphere>>，类型不匹配导致报错。另外，函数内部直接解引用*l会转移Vec的所有权，这种设计既不直观也容易引发所有权问题。

修复方案 #

方案一：显式转换Vec元素类型 #

在创建list时，将每个Box<Sphere>显式转换为Box<dyn Hitable>，让Vec的类型符合构造函数的要求：

// 方式1：逐个转换
let list: Vec<Box<dyn Hitable>> = vec![
    Box::new(Sphere::new(Vec3::new(0f32, 0f32, -1f32), 0.5f32)) as Box<dyn Hitable>,
    Box::new(Sphere::new(Vec3::new(0f32, -100.5f32, -1f32), 100f32)) as Box<dyn Hitable>,
];
let world = HitableList::new(&list);

或者更简洁的写法，直接指定Vec的目标类型：

// 方式2：整体转换
let list = vec![
    Box::new(Sphere::new(Vec3::new(0f32, 0f32, -1f32), 0.5f32)),
    Box::new(Sphere::new(Vec3::new(0f32, -100.5f32, -1f32), 100f32)),
] as Vec<Box<dyn Hitable>>;
let world = HitableList::new(&list);

方案二：优化HitableList构造函数 #

修改构造函数，让它直接接收Vec的所有权（更符合Rust所有权模型），同时支持更灵活的输入：

impl <'a> HitableList <'a> {
    // 直接接收Vec所有权，简化逻辑
    pub fn new(l: Vec<Box<dyn Hitable + 'a>>) -> HitableList<'a> {
        HitableList { list: l }
    }

    // 可选：提供从迭代器构造的方法，更方便创建实例
    pub fn from_iter<I>(iter: I) -> HitableList<'a>
    where
        I: IntoIterator<Item = Box<dyn Hitable + 'a>>,
    {
        HitableList { list: iter.into_iter().collect() }
    }
}

之后创建实例时，可以直接传递转换后的Vec：

let list = vec![
    Box::new(Sphere::new(Vec3::new(0f32, 0f32, -1f32), 0.5f32)) as Box<dyn Hitable>,
    Box::new(Sphere::new(Vec3::new(0f32, -100.5f32, -1f32), 100f32)) as Box<dyn Hitable>,
];
let world = HitableList::new(list); // 直接转移Vec所有权，无需引用

或者使用from_iter方法更便捷：

let world = HitableList::from_iter([
    Box::new(Sphere::new(Vec3::new(0f32, 0f32, -1f32), 0.5f32)) as Box<dyn Hitable>,
    Box::new(Sphere::new(Vec3::new(0f32, -100.5f32, -1f32), 100f32)) as Box<dyn Hitable>,
]);

内容的提问来源于stack exchange，提问作者Francisco José Letterio