If/else trong Zero: giải thích câu lệnh rẽ nhánh

Cơ bản

if trong Zero trông gần giống if trong mọi ngôn ngữ họ C khác, với một hạn chế đáng chú ý: điều kiện phải là một 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")
    }
}

Điều kiện value == 42 là một bool vì == giữa hai i32 trả về bool. Mỗi nhánh chứa một khối lệnh. Có thể bỏ bớt một nhánh, vì else là tùy chọn, nhưng khi có cả hai thì cả hai đều phải là khối { ... }.

Yêu cầu về bool

Một số ngôn ngữ cho phép viết if value { ... } và coi 0, "" hay null là falsy. Zero thì không. Điều kiện phải là một bool thực sự.

let count = 0
if count {              // compile error: expected bool, got i32
    // ...
}

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

Lý do cũng chính là tinh thần xuyên suốt cả ngôn ngữ: tường minh tốt hơn ngầm định. Một agent đọc dạng thứ hai biết chính xác điều gì đang được kiểm tra. Dạng thứ nhất để các quy tắc truthy ở trạng thái ngầm định, và chúng khác nhau giữa các ngôn ngữ: Zero chọn không tham gia.

Else và else if

Mệnh đề else chạy khi điều kiện là 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")
    }
}

Nối các điều kiện bằng 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 chỉ là else { if ... } bỏ bớt dấu ngoặc nhọn: cùng ngữ nghĩa, ít thụt lề hơn. else cuối cùng là tùy chọn.

Điều kiện đến từ đâu

Điều kiện có thể là bất cứ thứ gì cho ra bool:

• Một biến bool: if ok { ... }.
• Một phép so sánh: if value == 42 { ... }, if x < y { ... }.
• Một tổ hợp logic: if a && b { ... }, if pair.left == 1_u8 && pair.right == 2_u8 { ... }.
• Một lời gọi hàm trả về bool: if isReady(world) { ... }.

Một đoạn code thực tế từ các ví dụ của ngôn ngữ:

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")
}

&& đánh giá ngắn mạch đúng như bạn mong đợi: nếu vế trái là false, vế phải sẽ không được tính. || cũng vậy.

Khi nào nên dùng match

Chuỗi if/else if ổn cho các quyết định hai hoặc ba hướng, nhất là khi các điều kiện không có cấu trúc chung. Nhưng khi bạn rẽ nhánh theo các biến thể của một kiểu tổng, một choice hoặc enum, thì match mới là công cụ đúng.

So sánh:

// match - exhaustive, compiler-checked
match result {
    .ok  => value   { check world.out.write("ok\n") }
    .err => message { check world.out.write("err\n") }
}

với:

// if/else over a sum type - verbose and easier to get wrong
if result.isOk() {
    let value = result.unwrap()
    check world.out.write("ok\n")
} else {
    check world.out.write("err\n")
}

Dạng match làm cho việc phân tích biến thể trở nên tường minh, và trình biên dịch sẽ báo lỗi nếu sau này có biến thể mới mà bạn quên xử lý. Dạng if âm thầm cho mọi thứ không phải ok đi vào nhánh else, kể cả những biến thể hoàn toàn mới mà bạn chưa từng nghĩ tới.

Quy tắc nhanh: if cho boolean, match cho biến thể.

Ghi chú về phong cách

Vài quy ước nhỏ giúp code dễ đọc hơn cho cả con người lẫn agent:

• Luôn đặt thân trong ngoặc nhọn. Kể cả thân chỉ một dòng cũng nằm trong { ... }. Không có dạng một câu lệnh không ngoặc. Điều này là có chủ đích: nó giữ thụt lề đáng tin cậy và loại bỏ một nguồn bug phổ biến trong họ ngôn ngữ C.
• Đặt nhánh thường gặp nhất lên trước. Người đọc (và agent) lướt từ trên xuống dưới.
• Ưu tiên điều kiện khẳng định khi chúng rõ ràng như nhau. if isReady dễ theo dõi hơn if !notReady, khi mọi thứ khác là như nhau.

Tiếp theo: vòng lặp while

Câu lệnh điều kiện quyết định làm gì; vòng lặp quyết định làm bao nhiêu lần. Tài liệu tiếp theo trình bày vòng lặp while của Zero, cấu trúc lặp ở giai đoạn đầu mà ngôn ngữ đang cung cấp.