Rustにはどのように特性オブジェクトが実装されていますか？

Question

私はRustでどのように特性オブジェクトが実装されているかを理解しようとしています。次のような理解が正しいかどうかをお知らせください。

私はWriteトレイト実装する任意のタイプ取る機能があります。私たちはこの特性を実現し、上記の関数を呼び出すタイプを持っている任意の場所で

fn some_func(write_to: &mut Write) {} 

を、コンパイラは「形質オブジェクトを生成し、おそらく、TraitObject::new(data, vtable)への呼び出しを追加することで可能です。我々のようなものを持っている場合は

：

let input = get_user_input(); // say we are expecting the input to be 1 or 2 
let mut file = File::new("blah.txt").unwrap(); 
let mut vec: Vec<u8> = vec![1, 2, 3]; 

match input { 
    1 => some_func(&mut file), 
    2 => some_func(&mut vec), 
} 

おそらくあることが判明します：

match input { 
    1 => { 
     let file_write_trait_object: &mut Write = 
      TraitObject::new(&file, &vtable_for_file_write_trait); 
     some_func(file_write_trait_object); 
    } 
    2 => { 
     let vec_write_trait_object: &mut Write = 
      TraitObject::new(&vec, &vtable_for_vec_write_trait); 
     some_func(vec_write_trait_object); 
    } 
} 

some_func内部だけに沿って渡さTraitObject中のvtableに基づいて使用されるメソッドにアクセスするコンパイラ。

Answer 1

特性オブジェクトは脂肪ポインタなので、fn some_func(write_to: &mut Write)はfn some_func(_: *mut OpaqueStruct, _: *const WriteVtable)のようなものにコンパイルされます。