带类属参数的锈病性状动态调度

Question

我有以下Rust游乐场永久墨水

如果我从这样的问题中理解正确的话，那么由于泛型是单态的，Rust运行时就不可能泄漏出material的适当方法，假设每个实现normal的类型表面上可能有一个不同的方法？这对我来说并不是很好，因为在与Rust运行时相同的位置上，我似乎可以查看我手头上的normal实现器，比如sphere和我将查看sphere的vtable。你能解释一下我错在哪里吗？

从那里，我尝试简单地与编译器战斗，并进入静态分派。第17-21行

struct Hit<'a> {
    point: Vec3,
    distance: f32,
    object: &'a dyn Normal,
}

变成了

struct Hit<'a, T: Normal> {
    point: Vec3,
    distance: f32,
    object: &'a T,
}

Answer 1

我可能错过了什么，但我认为你可以--至少从我所看到的--沿着你的道路走得更远。

我想你可以改变这个函数：

fn material<T: Material>(&self) -> T;

它是这样说的：任何normal都提供了一个函数material，其中调用方可以指定函数将返回的material。

fn material(&self) -> &dyn Material;

然后，Sphere可以实现Normal:

impl<'a> Normal for Sphere<'a> {
    fn normal(&self, point: &Vec3) -> Ray {
        Ray::new(point, &(point - &self.center))
    }
    fn material(&self) -> &dyn Material {
        self.material
    }
}

连接到游乐场。