rust - 使用 Trait 作为 Vec 类型

Question

我是 Rust 的新手，见过一些使用 Box 的示例，可以将实现特定 Trait 的多种类型推送到 Vec 上。将 Trait 与泛型一起使用时，我遇到了一个问题。

error[E0038]: the trait `collision::collision_detection::Collidable` cannot be made into an object
  --> src/collision/collision_detection.rs:19:5
   |
19 |     collidables: Vec<Box<Collidable<P, M>>>,
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `collision::collision_detection::Collidable` cannot be made into an object
   |
   = note: method `get_ncollide_shape` has generic type parameters

error: aborting due to previous error

error: Could not compile `game_proto`.

To learn more, run the command again with --verbose.

这是我的代码

extern crate ncollide;
extern crate nalgebra as na;

use self::ncollide::shape::Shape;
use self::ncollide::math::Point;
use self::ncollide::math::Isometry;
use self::na::Isometry2;

pub trait Collidable<P: Point, M> {
    fn get_ncollide_shape<T: Shape<P, M>>(&self) -> Box<T>;
    fn get_isometry(&self) -> Isometry2<f64>;
}

pub struct CollisionRegistry<P, M>
where
    P: Point,
    M: Isometry<P>,
{
    collidables: Vec<Box<Collidable<P, M>>>,
}

impl<P: Point, M: Isometry<P>> CollisionRegistry<P, M> {
    pub fn new() -> Self {
        let objs: Vec<Box<Collidable<P, M>>> = Vec::new();
        CollisionRegistry { collidables: objs }
    }

    pub fn register<D>(&mut self, obj: Box<D>)
    where
        D: Collidable<P, M>,
    {
        self.collidables.push(obj);
    }
}

我正在尝试使用可碰撞对象作为异构游戏对象的列表，这些对象会给我 ncollide 兼容的形状，以反馈给碰撞检测引擎。

编辑:澄清一些困惑。我不是在尝试构造和返回 Trait 的实例。我只是想创建一个 Vec，它允许将 Collidable 特征的任何实例推送到它上面。

Answer 1

Rust 是一种编译语言，因此当它编译您的代码时，它需要知道生成机器代码可能需要的所有信息。

当你说

trait MyTrait {
  fn do_thing() -> Box<u32>;
}

struct Foo {
   field: Box<MyTrait>
}

您告诉 Rust Foo 将包含一个 box，其中包含任何实现 MyTrait 的内容。通过对类型进行装箱，编译器将删除该特征未涵盖的有关数据类型的任何其他数据。这些trait objects被实现为一组数据字段和一个函数表(称为 vtable)，其中包含特征公开的函数，因此可以调用它们。

当你改变的时候

fn do_thing() -> Box<u32>;

到

fn do_thing<T>() -> Box<T>;

它可能看起来很相似，但行为却大不相同。让我们以一个普通的函数为例

fn do_thing<T>(val: T) { }

fn main() {
  do_thing(true);
  do_thing(45 as u32);
}

编译器执行所谓的单态化，这意味着编译器中的代码本质上变成了

fn do_thing_bool(val: bool) { }
fn do_thing_num(val: u32) { }

fn main() {
  do_thing_bool(true);
  do_thing_num(45 as u32);
}

要意识到的关键是，您要求它为您的特质做同样的事情。问题是编译器做不到。上面的示例依赖于提前知道 do_thing 在一种情况下用数字调用，在另一种情况下用 bool 值调用，并且它可以 100% 确定这是函数唯一的两种方式用过。

用你的代码

trait MyTrait {
  fn do_thing<T>() -> Box<T>;
}

编译器不知道 do_thing 将被调用的类型，因此它无法生成您需要调用的函数。为此，无论您将实现 Collidable 的结构转换为盒装对象，它都必须知道 get_ncollide_shape 可能具有的每种可能的返回类型，而这是不受支持的。

其他链接:

• Understanding Traits and Object Safety
• https://www.reddit.com/r/rust/comments/3an132/how_to_wrap_a_trait_object_that_has_generic/