Zero の enum｜ペイロードなしのシンプルな列挙

enum を宣言する

enum は、値が固定された名前付きバリアントのセットである型を宣言します。

enum Status {
    ready,
    failed,
}

これで Status はちょうど 2 つの値、Status.ready と Status.failed を持つ型になります。それ以外は Status になれません。

文法は意図的に小さく作られています。

• enum Name { で宣言を開く。
• 各行に 1 つのバリアント名をカンマ区切りで並べる。
• } で閉じる。

ペイロードなし、判別子の値なし、派生メソッドなし——これが enum を「小さな直和型」のままに保ちます。

enum を使う

バリアントは enum 型で修飾して名指します。

let state: Status = Status.ready

右辺が型を確定させれば : Status の注釈は任意です。たいていの場合は、

let state = Status.ready

と書けば、コンパイラーは型を Status と推論します。

enum の値を比較する

2 つの enum 値は、同じバリアントなら等しいです。

if state == Status.ready {
    check world.out.write("ready\n")
} else {
    check world.out.write("not ready\n")
}

enum で分岐する最もシンプルな方法です。網羅的な解析——すべての バリアントを明示的に扱う——には match に手を伸ばします。

match state {
    .ready  => { check world.out.write("ready\n") }
    .failed => { check world.out.write("failed\n") }
}

if/else if に対する match の利点は、後で 3 つ目のバリアントを追加したときに現れます。新しいケースが欠けているすべての match をコンパイラーが教えてくれます——if/else の連鎖は、デフォルト分岐に静かに流れます。

Choice と match で match をより詳しく扱います。enum と choice の両方で動きます。

動作例

公式の Zero サンプルは、enum と choice を同じファイルに並べています。

choice Result {
    ok: i32,
    err: String,
}

enum Status {
    ready,
    failed,
}

pub fun main(world: World) -> Void raises {
    let result: Result = Result.ok(42)
    match result {
        .ok => value {
            if value == 42 {
                check world.out.write("choice ok\n")
            }
        }
        .err => message {
            check world.out.write("choice err\n")
        }
    }
}

Status はこのスニペットでは何もしていません——対比を見せるためにあります。choice のバリアントはマッチ時にペイロード（value、message）を束縛します。enum のバリアントは束縛するものがない——なぜなら束縛すべきものがないから——ので、何も束縛しません。

enum と choice: 簡単な判断ツリー

短いルール。

• バリアントが 単なるラベル → enum。
• バリアントが データを持たねばならない → choice。

ライフサイクル状態をモデル化していて、最終的に「失敗」状態にエラーメッセージを付ける必要が出たら、型を enum から choice に切り替えます。バリアントはそれぞれペイロード型を得て、下流の match アームはそのペイロードのバインディングを得ます。コンパイラーが導いてくれるリファクタリングです。

具体的には、

// 変更前——enum、ペイロードなし
enum Status {
    ready,
    failed,
}

// 変更後——各バリアントにペイロードを持つ choice
choice Status {
    ready: Void,
    failed: String,
}

ペイロードが Void のバリアントは、choice 形式での単なるラベルです。同じ 論理的 な状態に対して enum と choice の両方を使えますが、データを付ける必要が本当にないときは enum を選びましょう。

用途

enum が正しい答えになる、日常的な例です。

• メタデータなしのライフサイクル。 Loading、Ready、Empty——純粋な状態、ペイロードなし。
• モード。 ファイルオープンモードの Read、Write、Append。
• 方向。 North、South、East、West。
• ログレベル。 Trace、Debug、Info、Warn、Error。（後でメッセージを追加したくなったら、その時点で choice に切り替えます。）
• 曜日。 定番の例。

マジックな整数定数（0 = pending、1 = active、2 = done）に手を伸ばしそうな場面はほぼ常に、enum のほうがクリアです。

スタイルメモ

• 小文字のバリアント名は、言語の他の場所の識別子に対する Zero のスタイルと一致します。
• 最後のバリアントの後ろの末尾カンマは構いません（むしろ diff フレンドリーのために推奨——新しいバリアントを追加しても前の行が変わりません）。
• enum のリストは小さく保つ。1 ダースのバリアントがあって多くにペイロードを持たせたいなら、より大きな enum ではなく choice ——あるいは設計の見直し——を検討する時です。

次回: Choice と Match

自然な次の一歩は、よりリッチな従兄弟です——choice と match ——Zero のタグ付き共用体型と、それに伴うパターンマッチ構文です。