列挙型

enumキーワードを使うと、いくつかの異なるバリアントのいずれかになり得る型を作成できます。structとして有効なバリアントは、すべてenumでも有効です。

// Webイベントを分類するための`enum`を作成します。名前と型情報の
// 両方が一緒にバリアントを指定していることに注目してください:
// `PageLoad != PageUnload`かつ`KeyPress(char) != Paste(String)`です。
// それぞれが異なり、独立しています。
enum WebEvent {
    // `enum`バリアントは`unit-like`でも、
    PageLoad,
    PageUnload,
    // タプル構造体のようなものでも、
    KeyPress(char),
    Paste(String),
    // あるいはC風構造体でもかまいません。
    Click { x: i64, y: i64 },
}

// `WebEvent`列挙型を引数として受け取り、
// 何も返さない関数。
fn inspect(event: WebEvent) {
    match event {
        WebEvent::PageLoad => println!("page loaded"),
        WebEvent::PageUnload => println!("page unloaded"),
        // `enum`バリアントの内側から`c`を分解します。
        WebEvent::KeyPress(c) => println!("pressed '{}'.", c),
        WebEvent::Paste(s) => println!("pasted \"{}\".", s),
        // `Click`を`x`と`y`に分解します。
        WebEvent::Click { x, y } => {
            println!("clicked at x={}, y={}.", x, y);
        },
    }
}

fn main() {
    let pressed = WebEvent::KeyPress('x');
    // `to_owned()`は文字列スライスから所有された`String`を作成します。
    let pasted  = WebEvent::Paste("my text".to_owned());
    let click   = WebEvent::Click { x: 20, y: 80 };
    let load    = WebEvent::PageLoad;
    let unload  = WebEvent::PageUnload;

    inspect(pressed);
    inspect(pasted);
    inspect(click);
    inspect(load);
    inspect(unload);
}

型エイリアス

型エイリアスを使用すると、そのエイリアスを介して各列挙型バリアントを参照できます。 これは、列挙型の名前が長すぎたり、汎用的すぎたりして、名前を変更したい場合に役立つことがあります。

enum VeryVerboseEnumOfThingsToDoWithNumbers {
    Add,
    Subtract,
}

// 型エイリアスを作成します
type Operations = VeryVerboseEnumOfThingsToDoWithNumbers;

fn main() {
    // 長くて不便な名前ではなく、そのエイリアスを介して各バリアントを
    // 参照できます。
    let x = Operations::Add;
}

これを最もよく見かける場所は、Selfエイリアスを使用するimplブロック内です。

enum VeryVerboseEnumOfThingsToDoWithNumbers {
    Add,
    Subtract,
}

impl VeryVerboseEnumOfThingsToDoWithNumbers {
    fn run(&self, x: i32, y: i32) -> i32 {
        match self {
            Self::Add => x + y,
            Self::Subtract => x - y,
        }
    }
}

列挙型と型エイリアスについてさらに詳しく知るには、この機能がRustで安定化されたときの 安定化レポートを読むことができます。

関連項目:

match、fn、String、および「型エイリアス列挙型バリアント」RFC