Supponiamo che f() e g() restituiscano Option<T>.If-let con una coppia di cortocircuito?
if let (Some(x), Some(y)) = (f(), g()) {
h();
}
If f() rendimenti None, sarà g() essere valutati? La valutazione è garantita o vietata dalle specifiche?
Non è scorciatoia. Per abbinare il pattern alla coppia, la coppia deve essere completamente costruita, il che significa che sono stati chiamati sia f sia g. Non esiste una valutazione lenta in cui la corrispondenza del modello potrebbe verificarsi prima che i valori vengano calcolati.
(A proposito, è facile da provare, e il compilatore Rust praticamente è le specifiche in questo momento.)