Question

我是Rust的新手，并且看过一些人使用Box的例子，允许将许多实现特定Trait的类型推送到Vec上。当使用Trait with Generics时，我遇到了一个问题。

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);
    }
}

我正在尝试使用collidables作为异类游戏对象的列表，这些对象会让我与ncollide兼容的Shapes返回到碰撞检测引擎中。

编辑：澄清一些困惑。我不是想构造并返回Trait的实例。我只是想创建一个Vec，它可以将任何可碰撞特性的实例推到它上面。

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);
}

编译器执行所谓的monomorphization，这意味着编译器中的代码基本上是

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在一种情况下使用数字而在另一种情况下使用布尔值调用，并且它可以100％确定地知道这些是使用该函数的唯一两种方式。 / p>

使用您的代码

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

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

其他链接：

使用Trait作为Vec类型

1 个答案: