Zero の if/else｜条件分岐を解説

基本

Zero の if は他のすべての C 系言語の if とおおむね同じ見た目ですが、注目すべき制限がひとつあります——条件は bool でなければなりません。

pub fun main(world: World) -> Void raises {
    let value = 42
    if value == 42 {
        check world.out.write("yes\n")
    } else {
        check world.out.write("no\n")
    }
}

条件 value == 42 は bool です。2 つの i32 間の == が bool を返すからです。両方のアームはそれぞれ文のブロックを含みます。どちらのアームも省略「できそう」です——else は任意——ですが、両方ある場合は両方とも { ... } ブロックでなければなりません。

bool 要件

if value { ... } のように書いて 0、""、null を falsy として扱う言語もあります。Zero はそうしません。条件は実際の bool でなければなりません。

let count = 0
if count {              // コンパイルエラー: bool が期待されたが i32 だった
    // ...
}

if count == 0 {         // OK
    check world.out.write("nothing to do\n")
}

理由は言語全体に通じるのと同じ——暗黙より明示が勝る、というもの。2 つ目の形を読むエージェントは、何が検査されているかを正確に知ります。1 つ目の形は真偽値ルールを暗黙にし、言語ごとに異なります——Zero はそれをオプトアウトします。

else と else-if

else 句は条件が false のときに実行されます。

pub fun main(world: World) -> Void raises {
    let ok = true
    if ok {
        check world.out.write("yes\n")
    } else {
        check world.out.write("no\n")
    }
}

条件を else if で連鎖します。

if value < 0 {
    check world.out.write("negative\n")
} else if value == 0 {
    check world.out.write("zero\n")
} else {
    check world.out.write("positive\n")
}

else if は単に括弧を省いた else { if ... }——意味は同じで、インデントが減るだけです。最後の else は任意です。

条件の出どころ

条件は bool に評価されるものなら何でも構いません。

• bool バインディング: if ok { ... }。
• 比較: if value == 42 { ... }、if x < y { ... }。
• 論理結合: if a && b { ... }、if pair.left == 1_u8 && pair.right == 2_u8 { ... }。
• bool を返す関数呼び出し: if isReady(world) { ... }。

言語のサンプルから取った実例スニペット。

let pair: BytePair = Pair { left: 1_u8, right: 2_u8 }
if pair.left == 1_u8 && pair.right == 2_u8 {
    check world.out.write("type alias ok\n")
} else {
    check world.out.write("type alias broke\n")
}

&& は期待通りに短絡します——左辺が false なら右辺は評価されません。|| も同様です。

いつ match を使うべきか

if/else if の連鎖は、特に条件が構造を共有しない場合の 2 方向や 3 方向の判断には向いています。しかし直和型——choice や enum ——のバリアントで分岐するときは、match が正しい道具です。

比べてみましょう。

// match——網羅的、コンパイラーが検査
match result {
    .ok  => value   { check world.out.write("ok\n") }
    .err => message { check world.out.write("err\n") }
}

対して、

// 直和型に対する if/else——冗長で、間違えやすい
if result.isOk() {
    let value = result.unwrap()
    check world.out.write("ok\n")
} else {
    check world.out.write("err\n")
}

match 形式はバリアント解析を明示し、後でバリアントが追加されてハンドリングを忘れた場合にコンパイラーが文句を言ってくれます。if 形式は ok ではないものをすべて、知らない新しいバリアントも含めて、else 分岐に静かに流します。

目安: ブーリアンには if、バリアントには match。

スタイルメモ

人間にとってもエージェントにとってもコードが読みやすくなる、小さな慣習です。

• 本体は必ず波括弧で囲む。1 行の本体でも { ... } に入れます。波括弧なしの単一文形式はありません。これは意図的で、インデントを信頼できる状態に保ち、C 系言語によくあるバグ源を取り除きます。
• 最もよくある分岐を先に書く。読み手（とエージェント）は上から下に読みます。
• 同じくらい明確なら肯定の条件を選ぶ。if isReady は、すべてが同じなら if !notReady より追いやすいです。

次回: while ループ

条件分岐は 何を するかを決め、ループは 何回 するかを決めます。次のドキュメントでは Zero の while ループ を扱います——言語が初期段階で出荷しているループ構文です。