動的および静的なディスパッチを持つ特性作成者のための機能を実装する

Question

fooは、形質を実装するタイプのインスタンスをとるAです。私はいつも、静的ディスパッチを持つためにジェネリックを使用することを好む：

trait A {} 

fn foo<T: A>(t: T) {} 

---

しかし、このアプローチは、いくつかの硬直を紹介し、私はここのような形質オブジェクトを渡すことはできません。

trait A {} 

fn foo(t: &A) {} 

事は、ときどき私はそのタイプを知っていることがあります。 traitオブジェクトの動的ディスパッチとコンパイル時の既知の型の静的ディスパッチの両方を実装する方法はありますか？

Answer 1

これは確かに可能です。 1つのオプションは、明示的に参照型のためAを実装することです：

impl<'a, T: A + ?Sized> A for &'a T {} 

引数は、まだAの知られている実装のための静的な派遣をしながら、形質オブジェクトT = &Aとなります。次のコードは、今コンパイルする必要があります

fn foo<T: A>(a: T) {} 

struct MyA; 
impl A for MyA {} 

fn main() { 
    foo(MyA{}); 
    foo(&MyA{}); 
    foo(&MyA{} as &A); 
} 

あなたはいつも借り引数を渡すために喜んでいる場合

が、あなたはまた、代わりにこれを行うことができます：

fn foo<T: A + ?Sized>(a: &T) {} 

引数は、形質オブジェクトT = Aとなります。