如何暗示返回在Rust中使用动态调度的值?

时间:2018-04-27 14:55:35

标签: generics rust

===编辑于2018-04-28 10:17 AM ===

感谢您的回答,但是当我使用Box<>关注您的回答时,我发现了一种无法继续工作的情况。

https://play.rust-lang.org/?gist=211845d953cd9012f6f214aa5d81332d&version=stable&mode=debug

错误信息是:

error[E0038]: the trait `Entity` cannot be made into an object
  --> src/main.rs:20:5
   |
20 |     entities: Vec<Box<Entity>>
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Entity` cannot be made into an object
   |
   = note: the trait cannot require that `Self : Sized`

所以我想知道cannot be made into an object是什么?我该如何解决这个问题?

===原始答案===
我想实现一个像Java的接口/抽象类这样的层次结构和一个普通的类:

trait Entry {
    fn new() -> Entry;
}

struct EntryA {}
impl Entry for EntryA {
    fn new() -> EntryA {
        // I want to return EntryA rather Entry here, just like dynamic dispatch in Java
    }
}

struct EntryB {}
impl Entry for EntryB {
    fn new() -> EntryB {
        // Another Entry struct
    }
}

现在我要创建一个Vec或一个包含Entry的数组:

fn create_an_array() -> [Something to write here] {
    let mut vec: Vec<Entry> = vec![];
    let ea = EntryA::new();
    let eb = EntryB::new();
    vec.push(ea);
    vec.push(eb);
    vec
}

当我使用Vec创建的create_an_array()时,我得到的所有元素都只能显示Entry外观,而不是详细的子类。

然而,主要的问题是,当覆盖函数时,Rust不仅会考虑参数而且会考虑返回类型(为什么这样做,Rust?!),因此我无法覆盖{{1}中的new() }或EntryA因为函数的返回类型与EntryB特征不同。

如何处理动态调度问题?

0 个答案:

没有答案