Может ли синтаксис `let Some (var) = option;` использоваться в ситуации, когда известно, что это не `None`?

Question

Когда переменная опции, как известно, не- None, его обычно прекрасно пишут:

let var = option_var.unwrap(); 

В одном случае я столкнулся, это вызвало ошибку о переходе из заимствованного контекста.

if let Some(var) = option_var { ... } 

(Handy, так как позволяет Some(ref mut var) = option_var тоже).

Это работает, однако в этом случае я не хочу, чтобы это было заявлением if. Письмо let Some(var) = option_var; с ошибкой "шаблон None не покрыт".

Должно быть ясным Этот вопрос не о заемном контексте.

Может ли синтаксис let Some(var) = option; использоваться в ситуации, когда известно, что это не None? Разрешение «Шаблон None не покрыт» предупреждением? Или это просто не поддерживается вне заявления if?

Answer 1

Учитывая следующий случай:

fn main() { 
    let foo = Some(1); 
    let Some(bar) = foo; 
} 

ошибки [E0005]: опровержим узор в локальном связывании: None не охватывается

let Some(x) = y вводит шаблон; let и match утверждения и аргументы функции являются контекстами сопоставления шаблонов, но поскольку в этом случае шаблон не охватывает другой возможный случай, это не является допустимым контекстом сопоставления шаблонов.

Режимы let Some(x) = y применимы к выражениям if let и while let.

Если вы уверены (например, с более ранней assert!() или если он будет введен «вручную»), что None не представляется возможным, вы можете просто использовать unwrap().