為什么Rust不允許強制特征容器內的對象？

Question

我有一個Vec<Box<T>> ，其中T實現了Foo 。 為什么我不能將它強制轉換為Vec<Box<Foo>>即使我可以將Box<T>任何類型強制轉換為Box<Foo> ？ 為什么以下代碼無法編譯？

use std::vec;

trait Foo {}

struct Bar {}

impl Foo for Bar {}

fn main() {
    let v = vec![Box::new(Bar {})];
    let v_1 = v as Vec<Box<Foo>>;
}

Answer 1

因為Box<Bar>的大小與Box<Foo> 。 強制允許單個值，但在這里你必須調整整個向量的大小。 本書在“ 特征對象表示 ”一節中詳細介紹了這一點。 簡短版本： Box<Bar>是一個指向值的指針。 Box<Foo>是指向值的指針和指向vtable的指針。