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는 두 i32 사이의 ==가 bool을 반환하기 때문에 bool입니다. 두 분기는 각각 문장 블록을 담고 있어요. 한쪽 분기를 생략하는 건 어느 정도 가능합니다 — else는 선택 사항이거든요 — 하지만 둘 다 있을 때는 모두 { ... } 블록이어야 합니다.

bool 요구 사항

if value { ... }라고 적고 0, "", null을 거짓으로 다루는 언어가 있죠. Zero는 그러지 않습니다. 조건은 실제 bool이어야 합니다.

let count = 0
if count {              // 컴파일 에러: bool을 기대했는데 i32가 옴
    // ...
}

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

이유는 언어 전체를 관통하는 그 원칙과 같아요. 명시적인 것이 암묵적인 것을 이깁니다. 두 번째 형태를 읽는 에이전트는 무엇이 검사되고 있는지 정확히 압니다. 첫 번째 형태는 참/거짓 규칙을 암묵적으로 남기고, 그것은 언어마다 다릅니다. Zero는 거기서 빠집니다.

Else와 Else-If

조건이 거짓일 때 else 절이 실행됩니다.

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 체인은 두 갈래나 세 갈래 결정에 잘 어울립니다. 특히 조건들이 구조를 공유하지 않을 때요. 하지만 합 타입의 변종 — choice나 enum — 으로 분기한다면 match가 맞는 도구입니다.

비교해 봅시다.

// match — 망라적이고 컴파일러가 검사
match result {
    .ok  => value   { check world.out.write("ok\n") }
    .err => message { check world.out.write("err\n") }
}

vs.

// 합 타입을 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.

스타일 노트

사람과 에이전트 모두에게 코드를 읽기 쉽게 만드는 작은 관행 몇 가지입니다.

• 본문은 늘 중괄호로 감싸세요. 한 줄짜리 본문도 { ... } 안에 두세요. 중괄호 없는 단문 형태가 없는 건 의도된 거예요. 들여쓰기를 일관되게 유지하고, C 계열에서 흔히 나는 버그 원인을 없앱니다.
• 가장 흔한 분기를 먼저 두세요. 읽는 사람(과 에이전트)은 위에서 아래로 훑습니다.
• 동등한 조건이라면 긍정 조건을 선호하세요. 다른 게 같다면 if !notReady보다 if isReady가 따라가기 쉽습니다.

다음 글: while 루프

조건문은 무엇을 할지 정하고, 루프는 몇 번 할지 정합니다. 다음 문서에서는 Zero가 초기 단계에 함께 출시한 루프 구조, while 루프를 다룹니다.