Rustの型での共通のふるまいを定義できる機能。他言語のインターフェースに近い。

定義としては以下

上記トレイトを実装するとこのような形になる

トレイトは実装する際には、トレイトもしくは、実装対象の型をローカル内で行わなければいけない。

インターフェースや抽象メソッドとは違い、デフォルト実装を組み込むことが出来る。

抽象メソッドやインターフェースを受け付けるように、トレイトを受け付けるシグニチャを定義することも可能。