let some_u8_value = Some(0u8);
if let Some(3) = some_u8_value {
println!("three");
}
Какой смысл вообще такой конструкции, если можно сделать так:
let some_u8_value = Some(3u8);
if Some(3) == some_u8_value {
println!("three");
}
Что я упустил?
распаковать Option в переменную, если он Some, например
if let Some(a) = some_u8_value
Очень большая разница 1. сопоставление с образцом и итоговая распаковка значения, и должно быть Some(a) (if let Some(3) лучше не использовать, так как можно наткнуться один раз на константы и раст будет их использовать не как константы а как имена (—— похоже это когда-то исправили, сейчас кидает error))) 2. Банальный PartialEq (==) который на Option(Some/None) делает тот же match (или if let) (распаковывает значении) и сравнивает (a/a2 в случае Some) это все разные языковые конструкции //////////////// code 1 pattern matching fn main() { let result1 = my_eq(Some(35), Some(35)); let result2 = my_eq2(Some(35), Some(35)); let result3 = my_eq(None, None); let result4 = my_eq2(None, None); assert_eq!(result1 && result2 && result3 && result4, true); // always true } fn my_eq(a1: Option<usize>, a2: Option<usize>) -> bool { match a1 { Some(a) => match a2 { Some(a2) if a2 == a => true, _ => false, }, None => match a2 { None => true, _ => false } } } fn my_eq2(a1: Option<usize>, a2: Option<usize>) -> bool { if let Some(a) = a1 { if let Some(a1) = a2 { return a == a1; } return false; } if let None = a1 { // для наглядности (а надо else) if let None = a2 { return true; } return false; // для наглядности } false } //////////////// code 2 PartialEq (https://doc.rust-lang.org/src/core/option.rs.html#160) fn main() { if Some(35) == Some(35) { } // valid, ok if None == None { } // valid, ok }
Обсуждают сегодня