2 回答

TA貢獻1856條經(jīng)驗 獲得超11個贊
Vec<Animal>是不合法的,但是編譯器無法告訴您,因為類型不匹配以某種方式將其隱藏。如果我們刪除對的調(diào)用push,則編譯器將給我們以下錯誤:
<anon>:22:9: 22:40 error: instantiating a type parameter with an incompatible type `Animal`, which does not fulfill `Sized` [E0144]
<anon>:22 let mut v: Vec<Animal> = Vec::new();
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
之所以不合法,是因為a 在內(nèi)存中連續(xù)Vec<T>存儲了許多T對象。但是,Animal是一個特征,特征沒有大?。ú荒鼙WCa Cat和a Dog具有相同的大小)。
要解決此問題,我們需要在中存儲大小為一定的內(nèi)容Vec。最直接的解決方案是將這些值包裝在Box,即中Vec<Box<Animal>>。Box<T>具有固定大小(如果T是特征,則為“胖指針”,否則為簡單指針)。
這是一個工作main:
fn main () {
let dog: Dog = Dog;
let cat: Cat = Cat;
let mut v: Vec<Box<Animal>> = Vec::new();
v.push(Box::new(cat));
v.push(Box::new(dog));
for animal in v.iter() {
println!("{}", animal.make_sound());
}
}

TA貢獻1890條經(jīng)驗 獲得超9個贊
您可以使用參考特征對象&Animal借用元素并將這些特征對象存儲在中Vec。然后,您可以枚舉它并使用特征的界面。
Vec通過&在trait前面添加a 來更改的通用類型將起作用:
fn main() {
let dog: Dog = Dog;
let cat: Cat = Cat;
let mut v: Vec<&Animal> = Vec::new();
// ~~~~~~~
v.push(&dog);
v.push(&cat);
for animal in v.iter() {
println!("{}", animal.make_sound());
}
// Ownership is still bound to the original variable.
println!("{}", cat.make_sound());
}
如果您可能希望原始變量保留所有權(quán)并在以后重新使用,那就太好了。
請牢記上述情況,您不能轉(zhuǎn)讓的所有權(quán),dog或者cat因為Vec曾在相同范圍借用了這些具體實例。
引入新的作用域可以幫助處理特定情況:
fn main() {
let dog: Dog = Dog;
let cat: Cat = Cat;
{
let mut v: Vec<&Animal> = Vec::new();
v.push(&dog);
v.push(&cat);
for animal in v.iter() {
println!("{}", animal.make_sound());
}
}
let pete_dog: Dog = dog;
println!("{}", pete_dog.make_sound());
}
- 2 回答
- 0 關(guān)注
- 528 瀏覽
添加回答
舉報