なぜRustは強制的にコンテナ内のオブジェクトに特化することができないのですか？

Question

Vec<Box<T>>ここで、TはFooを実装しています。 Box<T>のタイプのものをBox<Foo>に強制することができますが、なぜ私はそれをVec<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>と異なるサイズですので。強制は単一値の値で許可されますが、ここではベクトル全体のサイズを変更する必要があります。この本の内容は、Representation of Trait Objectsのセクションで詳しく説明しています。短いバージョン：Box<Bar>は値へのポインタです。 Box<Foo>は、値とのvtableへのポインタへのポインタです。