27. トレイトの定義と実装

トレイトは「この型はこういうメソッドを持つ」という共通の振る舞いの約束です。trait Greet { fn greet(&self) -> String; } のようにシグネチャだけを定義し、impl Greet for Dog { ... } の形で型ごとに実装します。

他言語のインターフェースに近い仕組みで、「種類は違うが同じ操作ができる」型たちをそろえるのに使います。実務では、ログ出力・シリアライズ・比較など、型をまたいだ共通操作の口をトレイトで定義します。

これまで使ってきた #[derive(Debug)] も、実は Debug トレイトの実装を自動生成する機能です。トレイトを理解すると、標準ライブラリのドキュメントがぐっと読みやすくなります。

▶ サンプルコードを実行してみよう(自由に書き換えてOK)

Rust

trait Greet {
    fn greet(&self) -> String; // 約束するシグネチャだけ書く
}

struct Dog;
struct Cat;

impl Greet for Dog {
    fn greet(&self) -> String {
        String::from("わん")
    }
}

impl Greet for Cat {
    fn greet(&self) -> String {
        String::from("にゃー")
    }
}

fn main() {
    let d = Dog;
    let c = Cat;
    println!("{} / {}", d.greet(), c.greet());
}

公式ドキュメントで詳しく ↗