blob: df9fb2c9aee0c5aebe63c97e1bdd7e6b4b1227e4 [file] [log] [blame] [view] [edit]
# Guards
A `match` *guard* can be added to filter the arm.
```rust,editable
#[allow(dead_code)]
enum Temperature {
Celsius(i32),
Fahrenheit(i32),
}
fn main() {
let temperature = Temperature::Celsius(35);
// ^ TODO try different values for `temperature`
match temperature {
Temperature::Celsius(t) if t > 30 => println!("{}C is above 30 Celsius", t),
// The `if condition` part ^ is a guard
Temperature::Celsius(t) => println!("{}C is equal to or below 30 Celsius", t),
Temperature::Fahrenheit(t) if t > 86 => println!("{}F is above 86 Fahrenheit", t),
Temperature::Fahrenheit(t) => println!("{}F is equal to or below 86 Fahrenheit", t),
}
}
```
Note that the compiler won't take guard conditions into account when checking
if all patterns are covered by the match expression.
```rust,editable,ignore,mdbook-runnable
fn main() {
let number: u8 = 4;
match number {
i if i == 0 => println!("Zero"),
i if i > 0 => println!("Greater than zero"),
// _ => unreachable!("Should never happen."),
// TODO ^ uncomment to fix compilation
}
}
```
### See also:
[Tuples](../../primitives/tuples.md)
[Enums](../../custom_types/enum.md)