トレイトとジェネリクス — Rustの多態性

トレイトは「この型はこの動作ができる」を定義する。Javaのinterfaceに似ているが、既存の型に後からtraitをimplできる点が異なる。

trait Summary {
    fn summarize(&self) -> String;
}

ジェネリック関数でwhere T: Summaryのようなtrait boundを使うと、コンパイラが具体型ごとに関数を個別生成（monomorphization）するため、ランタイムのvtableコストがない。

dyn Traitを使うとランタイム多態性（動的ディスパッチ）も可能。この場合vtable経由の間接呼び出しが発生する。