継承

コンパイラは、#[derive]属性によって、いくつかのトレイトの 標準実装を提供しています。これらのトレイトは、もっと複雑な振る舞いが必要な 場合、手動で実装することもできます。

以下が継承できるトレイトの一覧です。

• 比較トレイト: Eq、PartialEq、Ord、PartialOrd。
• &TをコピーしてTを作成するClone
• 'ムーブを行わず、コピーするためのCopy
• &Tからハッシュを算出するHash
• データ型のからのインスタンスを作るDefault
• {:?}フォーマットで値を出力するDebug

// `Centimeters`は比較できるタプル構造体です。
#[derive(PartialEq, PartialOrd)]
struct Centimeters(f64);

// `Inches`は出力できるタプル構造体です。
#[derive(Debug)]
struct Inches(i32);

impl Inches {
    fn to_centimeters(&self) -> Centimeters {
        let &Inches(inches) = self;

        Centimeters(inches as f64 * 2.54)
    }
}

// `Seconds`は何も属性がないタプル構造体です。
struct Seconds(i32);

fn main() {
    let _one_second = Seconds(1);

    // エラー: `Seconds`は`Debug`トレイトを実装していないためプリントできません。
    //println!("One second looks like: {:?}", _one_second);
    // TODO ^ この行をアンコメントしてみてください

    // エラー: `Seconds`は`PartialEq`トレイトを実装していないため比較できません。
    //let _this_is_true = (_one_second == _one_second);
    // TODO ^ この行をアンコメントしてみてください

    let foot = Inches(12);

    println!("One foot equals {:?}", foot);

    let meter = Centimeters(100.0);

    let cmp =
        if foot.to_centimeters() < meter {
            "smaller"
        } else {
            "bigger"
        };

    println!("One foot is {} than one meter.", cmp);
}

こちらも参照:

• derive