CODEWITHSUNDEEP
rust
Nan Xiao
Nan Xiao

Reputation: 17487

Why does an if without an else always result in () as the value?

From this tutorial:

An if without an else always results in () as the value.

Why does Rust impose this restriction and doesn't let an if without an else return other values, like this: 

let y = if x == 5 { 10 };

Upvotes: 8

Views: 3838

Answers (1)

Lukas Kalbertodt
Lukas Kalbertodt

Reputation: 88986

For your example, the right question is: “What would the value of y be if x is not 5?”. What would happen here?

let x = 3;
let y = if x == 5 { 10 };
println!("{}", y);  // what?!

You could think that the if-without-else-expression could return an Option<_>, but...

  1. this would mean that the core language depends on yet another library item (those are then called lang items) which everyone tries to avoid
  2. you don't run into this situation too often
  3. you can get the same behavior by adding only a little bit of code (Some() & else { None })

In Rust, nearly everything is an expression (with the exception of let-bindings and expressions ending with a semicolon, so called expression statements). And there are a few examples of expressions always returning (), because nothing else makes sense. These include (compound-)assignments (why?), loops and if-without-else.

Upvotes: 21

Related Questions