`if let`允许你合并`if`和`let`来减少特定类型模式匹配的开销。 例如，让我们假设我们有一些`Option`。我们想如果它是`Some`时在其上调用一个函数，而它是`None`时什么也不做。这看起来像： ~~~ match option { Some(x) => { foo(x) }, None => {}, } ~~~ 我们并不一定要在这使用`match`，例如，我们可以使用`if`： ~~~ if option.is_some() { let x = option.unwrap(); foo(x); } ~~~ 这两种选项都不是特别吸引人。我们可以使用`if let`来优雅地完成相同的功能： ~~~ if let Some(x) = option { foo(x); } ~~~ 如果一个[模式](http://doc.rust-lang.org/nightly/book/patterns.html)匹配成功，它绑定任何值的合适的部分到模式的标识符中，并计算这个表达式。如果模式不匹配，啥也不做。 如果你更想在模式不匹配时做点别的，你可以使用`else`： ~~~ if let Some(x) = option { foo(x); } else { bar(); } ~~~ ## `while let` 类似的，当你想一直循环，直到一个值匹配到特定的模式的时候，你可以选择使用`while let`。使用`while let`可以把类似这样的代码： ~~~ loop { match option { Some(x) => println!("{}", x), _ => break, } } ~~~ 变成这样的代码： ~~~ while let Some(x) = option { println!("{}", x); } ~~~