dyn
を利用してトレイトを返す
Rustのコンパイラはあらゆる関数のリターン型に必要なスペースを知っておく必要があります。
つまり、すべての関数は具体的な型を返す必要があるのです。
他の言語と違って、Animal
のようなトレイトがある場合に、Animal
を返す関数を書くことはできません。
なぜなら、そのトレイトの異なる実装はそれぞれ別の量のメモリを必要とするからです。
しかし、簡単な回避策があります。
直接トレイトオブジェクトを返す代わりに、Animal
を 含む Box
を返すのです。
Box
はヒープ中のメモリへの単なる参照です。
参照のサイズは静的に知ることができ、コンパイラは参照がヒープに割り当てられたAnimal
を指していると保証できるので、私たちは関数からトレイトを返すことができます。
ヒープにメモリを割り当てる際、Rustは可能な限り明示的であろうとします。
なので、もしあなたの関数がヒープ上のトレイトへのポインタを返す場合、例えばBox<dyn Animal>
のように、リターン型にdyn
キーワードをつける必要があります。