===编辑于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
特征不同。
如何处理动态调度问题?