Liệu nếu-cho phép với một cặp ngắn mạch?

Question

Giả sử f() và g() trả lại Option<T>.

if let (Some(x), Some(y)) = (f(), g()) { 
    h(); 
} 

Nếu f() lợi nhuận None, sẽ g() được đánh giá? Đánh giá có được đảm bảo hoặc bị cấm bởi thông số kỹ thuật không?

Answer 1

Nó không tắt. Để khớp mẫu với cặp, cặp phải được xây dựng hoàn chỉnh, có nghĩa là cả hai số f và g đã được gọi. Không có đánh giá lười biếng trong đó khớp mẫu có thể xảy ra trước khi các giá trị được tính toán.

(Nhân tiện, thật dễ dàng để thử và trình biên dịch Rust khá nhiều là thông số ngay bây giờ.)