具有“自我quot”的功能的特征因为不能将参数制成对象

Question

我正在尝试建立一个实体组件系统，以作为我学习生锈的旅程的一部分。 我知道每个组件在哪里具有静态ID，并且对象将具有其中包含的组件的缩放图（每种类型的一个组件的限制）。

这是对象本身：

pub struct Object {
    // TODO : components !
    components: HashMap<i32, Box<dyn Component>>
}

impl Object {
    pub fn add_component<C: Component>(&self) {
        self.components.insert(C::id(), Box::new(C::new()));
    }

    pub fn get_component<C: Component>(&self) -> Option<&C> {
        return self.components.get(C::id())
    }
}

这是我的组件特征：

pub trait Component {
    fn id() -> i32 {
        // one must ensure this returns different id for every component
        return 0;
    }

    fn new<C: Component>() -> C;

    fn require_rendering(&self) -> bool {
        return false;
    }

    fn some_function_on_component(&mut self) {
        // do something on the component 
    }
}

不幸的是，我得到此错误： “这个特征不能成为对象... ...因为关联的函数 id 没有 self 参数“

谁能解释为什么这不起作用，以及如何处理它？

Answer 1

通过遵循编译器消息，大多数可以很容易地解决。

我在试图将代码编译时遇到的最大障碍是降低 box＆lt; dyn＆gt; 回到其原始类型。

那是我的尝试，我不知道它是否最终是否确实在做某事，但至少它编译了:)

use std::any::Any;
use std::collections::HashMap;

pub struct Object {
    // TODO : components !
    components: HashMap<i32, Box<dyn Component>>,
}

impl Object {
    pub fn new() -> Self {
        Self {
            components: HashMap::new(),
        }
    }

    pub fn add_component<C: 'static + Component>(&mut self) {
        self.components.insert(C::id(), Box::new(C::new()));
    }

    pub fn get_component<C: 'static + Component>(&self) -> Option<&C> {
        self.components
            .get(&C::id())
            .map(|boxed_component| boxed_component.as_any().downcast_ref::<C>().unwrap())
    }
}

pub trait Component {
    fn id() -> i32
    where
        Self: Sized;

    fn new() -> Self
    where
        Self: Sized;

    fn require_rendering(&self) -> bool {
        return false;
    }

    fn some_function_on_component(&mut self) {
        // do something on the component
    }

    fn as_any(&self) -> &dyn Any;
}

我已经完成的事情：

• 添加 self：sized id（）和 new（）。这两个都是性状函数，因此必须在运行时解决。解决类型的步骤需要称为“ vtable”的东西，这仅存在于实际尺寸的类型上。 （至少这是我对问题的理解）
• 用 new 上的 self 替换通用参数，因为这是您实际上想要的。
• 将 mut 添加到 self in add_component
• 删除 id> id（）的默认实现，以实际强制实现结构来覆盖其降低
• 其垂直基于 get_component 的＆amp; dyn Component ，基于此帖子。当然，可能有不同的解决方案，我只是选择了一个，因为我不想做任何进一步的研究:)

我没有解决您目前只从 get_component 。这可能是您将要解决的下一步。

总而言之，这是带有“名称”和“年龄”组件的代码的最小工作示例，只是为了证明您的方法是可行的：