blob: 1e4183f84220bfd4f03e07ff23aecc55e5348149 [file] [log] [blame] [view] [edit]
# Programming a Guessing Game
Lets jump into Rust by working through a hands-on project together! This
chapter introduces you to a few common Rust concepts by showing you how to use
them in a real program. Youll learn about `let`, `match`, methods, associated
functions, external crates, and more! In the following chapters, well explore
these ideas in more detail. In this chapter, youll just practice the
fundamentals.
Well implement a classic beginner programming problem: a guessing game. Heres
how it works: the program will generate a random integer between 1 and 100. It
will then prompt the player to enter a guess. After a guess is entered, the
program will indicate whether the guess is too low or too high. If the guess is
correct, the game will print a congratulatory message and exit.
## Setting Up a New Project
To set up a new project, go to the _projects_ directory that you created in
Chapter 1 and make a new project using Cargo, like so:
```console
$ cargo new guessing_game
$ cd guessing_game
```
The first command, `cargo new`, takes the name of the project (`guessing_game`)
as the first argument. The second command changes to the new projects
directory.
Look at the generated _Cargo.toml_ file:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial
rm -rf no-listing-01-cargo-new
cargo new no-listing-01-cargo-new --name guessing_game
cd no-listing-01-cargo-new
cargo run > output.txt 2>&1
cd ../../..
-->
<span class="filename">Filename: Cargo.toml</span>
```toml
{{#include ../listings/ch02-guessing-game-tutorial/no-listing-01-cargo-new/Cargo.toml}}
```
As you saw in Chapter 1, `cargo new` generates a Hello, world!” program for
you. Check out the _src/main.rs_ file:
<span class="filename">Filename: src/main.rs</span>
```rust
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/no-listing-01-cargo-new/src/main.rs}}
```
Now lets compile this Hello, world!” program and run it in the same step using
the `cargo run` command:
```console
{{#include ../listings/ch02-guessing-game-tutorial/no-listing-01-cargo-new/output.txt}}
```
The `run` command comes in handy when you need to rapidly iterate on a project,
as well do in this game, quickly testing each iteration before moving on to the
next one.
Reopen the _src/main.rs_ file. Youll be writing all the code in this file.
## Processing a Guess
The first part of the guessing game program will ask for user input, process
that input, and check that the input is in the expected form. To start, well
allow the player to input a guess. Enter the code in Listing 2-1 into
_src/main.rs_.
<Listing number="2-1" file-name="src/main.rs" caption="Code that gets a guess from the user and prints it">
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:all}}
```
</Listing>
This code contains a lot of information, so lets go over it line by line. To
obtain user input and then print the result as output, we need to bring the `io`
input/output library into scope. The `io` library comes from the standard
library, known as `std`:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:io}}
```
By default, Rust has a set of items defined in the standard library that it
brings into the scope of every program. This set is called the _prelude_, and
you can see everything in it [in the standard library documentation][prelude].
If a type you want to use isnt in the prelude, you have to bring that type into
scope explicitly with a `use` statement. Using the `std::io` library provides
you with a number of useful features, including the ability to accept user
input.
As you saw in Chapter 1, the `main` function is the entry point into the
program:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:main}}
```
The `fn` syntax declares a new function; the parentheses, `()`, indicate there
are no parameters; and the curly bracket, `{`, starts the body of the function.
As you also learned in Chapter 1, `println!` is a macro that prints a string to
the screen:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:print}}
```
This code is printing a prompt stating what the game is and requesting input
from the user.
### Storing Values with Variables
Next, well create a _variable_ to store the user input, like this:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:string}}
```
Now the program is getting interesting! Theres a lot going on in this little
line. We use the `let` statement to create the variable. Heres another example:
```rust,ignore
let apples = 5;
```
This line creates a new variable named `apples` and binds it to the value 5. In
Rust, variables are immutable by default, meaning once we give the variable a
value, the value wont change. Well be discussing this concept in detail in the
[“Variables and Mutability”][variables-and-mutability]<!-- ignore --> section in
Chapter 3. To make a variable mutable, we add `mut` before the variable name:
```rust,ignore
let apples = 5; // immutable
let mut bananas = 5; // mutable
```
> Note: The `//` syntax starts a comment that continues until the end of the
> line. Rust ignores everything in comments. Well discuss comments in more
> detail in [Chapter 3][comments]<!-- ignore -->.
Returning to the guessing game program, you now know that `let mut guess` will
introduce a mutable variable named `guess`. The equal sign (`=`) tells Rust we
want to bind something to the variable now. On the right of the equal sign is
the value that `guess` is bound to, which is the result of calling
`String::new`, a function that returns a new instance of a `String`.
[`String`][string]<!-- ignore --> is a string type provided by the standard
library that is a growable, UTF-8 encoded bit of text.
The `::` syntax in the `::new` line indicates that `new` is an associated
function of the `String` type. An _associated function_ is a function thats
implemented on a type, in this case `String`. This `new` function creates a new,
empty string. Youll find a `new` function on many types because its a common
name for a function that makes a new value of some kind.
In full, the `let mut guess = String::new();` line has created a mutable
variable that is currently bound to a new, empty instance of a `String`. Whew!
### Receiving User Input
Recall that we included the input/output functionality from the standard library
with `use std::io;` on the first line of the program. Now well call the `stdin`
function from the `io` module, which will allow us to handle user input:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:read}}
```
If we hadnt imported the `io` library with `use std::io;` at the beginning of
the program, we could still use the function by writing this function call as
`std::io::stdin`. The `stdin` function returns an instance of
[`std::io::Stdin`][iostdin]<!-- ignore -->, which is a type that represents a
handle to the standard input for your terminal.
Next, the line `.read_line(&mut guess)` calls the [`read_line`][read_line]<!--
ignore --> method on the standard input handle to get input from the user. Were
also passing `&mut guess` as the argument to `read_line` to tell it what string
to store the user input in. The full job of `read_line` is to take whatever the
user types into standard input and append that into a string (without
overwriting its contents), so we therefore pass that string as an argument. The
string argument needs to be mutable so the method can change the strings
content.
The `&` indicates that this argument is a _reference_, which gives you a way to
let multiple parts of your code access one piece of data without needing to copy
that data into memory multiple times. References are a complex feature, and one
of Rusts major advantages is how safe and easy it is to use references. You
dont need to know a lot of those details to finish this program. For now, all
you need to know is that, like variables, references are immutable by default.
Hence, you need to write `&mut guess` rather than `&guess` to make it mutable.
(Chapter 4 will explain references more thoroughly.)
<!-- Old heading. Do not remove or links may break. -->
<a id="handling-potential-failure-with-the-result-type"></a>
### Handling Potential Failure with `Result`
Were still working on this line of code. Were now discussing a third line of
text, but note that its still part of a single logical line of code. The next
part is this method:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:expect}}
```
We could have written this code as:
```rust,ignore
io::stdin().read_line(&mut guess).expect("Failed to read line");
```
However, one long line is difficult to read, so its best to divide it. Its
often wise to introduce a newline and other whitespace to help break up long
lines when you call a method with the `.method_name()` syntax. Now lets discuss
what this line does.
As mentioned earlier, `read_line` puts whatever the user enters into the string
we pass to it, but it also returns a `Result` value. [`Result`][result]<!--
ignore --> is an [_enumeration_][enums]<!-- ignore -->, often called an _enum_,
which is a type that can be in one of multiple possible states. We call each
possible state a _variant_.
[Chapter 6][enums]<!-- ignore --> will cover enums in more detail. The purpose
of these `Result` types is to encode error-handling information.
`Result`s variants are `Ok` and `Err`. The `Ok` variant indicates the operation
was successful, and inside `Ok` is the successfully generated value. The `Err`
variant means the operation failed, and `Err` contains information about how or
why the operation failed.
Values of the `Result` type, like values of any type, have methods defined on
them. An instance of `Result` has an [`expect` method][expect]<!-- ignore -->
that you can call. If this instance of `Result` is an `Err` value, `expect` will
cause the program to crash and display the message that you passed as an
argument to `expect`. If the `read_line` method returns an `Err`, it would
likely be the result of an error coming from the underlying operating system. If
this instance of `Result` is an `Ok` value, `expect` will take the return value
that `Ok` is holding and return just that value to you so you can use it. In
this case, that value is the number of bytes in the users input.
If you dont call `expect`, the program will compile, but youll get a warning:
```console
{{#include ../listings/ch02-guessing-game-tutorial/no-listing-02-without-expect/output.txt}}
```
Rust warns that you havent used the `Result` value returned from `read_line`,
indicating that the program hasnt handled a possible error.
The right way to suppress the warning is to actually write error-handling code,
but in our case we just want to crash this program when a problem occurs, so we
can use `expect`. Youll learn about recovering from errors in
[Chapter 9][recover]<!-- ignore -->.
### Printing Values with `println!` Placeholders
Aside from the closing curly bracket, theres only one more line to discuss in
the code so far:
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-01/src/main.rs:print_guess}}
```
This line prints the string that now contains the users input. The `{}` set of
curly brackets is a placeholder: think of `{}` as little crab pincers that hold
a value in place. When printing the value of a variable, the variable name can
go inside the curly brackets. When printing the result of evaluating an
expression, place empty curly brackets in the format string, then follow the
format string with a comma-separated list of expressions to print in each empty
curly bracket placeholder in the same order. Printing a variable and the result
of an expression in one call to `println!` would look like this:
```rust
let x = 5;
let y = 10;
println!("x = {x} and y + 2 = {}", y + 2);
```
This code would print `x = 5 and y + 2 = 12`.
### Testing the First Part
Lets test the first part of the guessing game. Run it using `cargo run`:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-01/
cargo clean
cargo run
input 6 -->
```console
$ cargo run
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 6.44s
Running `target/debug/guessing_game`
Guess the number!
Please input your guess.
6
You guessed: 6
```
At this point, the first part of the game is done: were getting input from the
keyboard and then printing it.
## Generating a Secret Number
Next, we need to generate a secret number that the user will try to guess. The
secret number should be different every time so the game is fun to play more
than once. Well use a random number between 1 and 100 so the game isnt too
difficult. Rust doesnt yet include random number functionality in its standard
library. However, the Rust team does provide a [`rand` crate][randcrate] with
said functionality.
### Using a Crate to Get More Functionality
Remember that a crate is a collection of Rust source code files. The project
weve been building is a _binary crate_, which is an executable. The `rand`
crate is a _library crate_, which contains code that is intended to be used in
other programs and cant be executed on its own.
Cargos coordination of external crates is where Cargo really shines. Before we
can write code that uses `rand`, we need to modify the _Cargo.toml_ file to
include the `rand` crate as a dependency. Open that file now and add the
following line to the bottom, beneath the `[dependencies]` section header that
Cargo created for you. Be sure to specify `rand` exactly as we have here, with
this version number, or the code examples in this tutorial may not work:
<!-- When updating the version of `rand` used, also update the version of
`rand` used in these files so they all match:
* ch07-04-bringing-paths-into-scope-with-the-use-keyword.md
* ch14-03-cargo-workspaces.md
-->
<span class="filename">Filename: Cargo.toml</span>
```toml
{{#include ../listings/ch02-guessing-game-tutorial/listing-02-02/Cargo.toml:8:}}
```
In the _Cargo.toml_ file, everything that follows a header is part of that
section that continues until another section starts. In `[dependencies]` you
tell Cargo which external crates your project depends on and which versions of
those crates you require. In this case, we specify the `rand` crate with the
semantic version specifier `0.8.5`. Cargo understands
[Semantic Versioning][semver]<!-- ignore --> (sometimes called _SemVer_), which
is a standard for writing version numbers. The specifier `0.8.5` is actually
shorthand for `^0.8.5`, which means any version that is at least 0.8.5 but below
0.9.0.
Cargo considers these versions to have public APIs compatible with version
0.8.5, and this specification ensures youll get the latest patch release that
will still compile with the code in this chapter. Any version 0.9.0 or greater
is not guaranteed to have the same API as what the following examples use.
Now, without changing any of the code, lets build the project, as shown in
Listing 2-2.
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-02/
rm Cargo.lock
cargo clean
cargo build -->
<Listing number="2-2" caption="The output from running `cargo build` after adding the rand crate as a dependency">
```console
$ cargo build
Updating crates.io index
Locking 16 packages to latest compatible versions
Adding wasi v0.11.0+wasi-snapshot-preview1 (latest: v0.13.3+wasi-0.2.2)
Adding zerocopy v0.7.35 (latest: v0.8.9)
Adding zerocopy-derive v0.7.35 (latest: v0.8.9)
Downloaded syn v2.0.87
Downloaded 1 crate (278.1 KB) in 0.16s
Compiling proc-macro2 v1.0.89
Compiling unicode-ident v1.0.13
Compiling libc v0.2.161
Compiling cfg-if v1.0.0
Compiling byteorder v1.5.0
Compiling getrandom v0.2.15
Compiling rand_core v0.6.4
Compiling quote v1.0.37
Compiling syn v2.0.87
Compiling zerocopy-derive v0.7.35
Compiling zerocopy v0.7.35
Compiling ppv-lite86 v0.2.20
Compiling rand_chacha v0.3.1
Compiling rand v0.8.5
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 3.69s
```
</Listing>
You may see different version numbers (but they will all be compatible with the
code, thanks to SemVer!) and different lines (depending on the operating
system), and the lines may be in a different order.
When we include an external dependency, Cargo fetches the latest versions of
everything that dependency needs from the _registry_, which is a copy of data
from [Crates.io][cratesio]. Crates.io is where people in the Rust ecosystem post
their open source Rust projects for others to use.
After updating the registry, Cargo checks the `[dependencies]` section and
downloads any crates listed that arent already downloaded. In this case,
although we only listed `rand` as a dependency, Cargo also grabbed other crates
that `rand` depends on to work. After downloading the crates, Rust compiles them
and then compiles the project with the dependencies available.
If you immediately run `cargo build` again without making any changes, you wont
get any output aside from the `Finished` line. Cargo knows it has already
downloaded and compiled the dependencies, and you havent changed anything about
them in your _Cargo.toml_ file. Cargo also knows that you havent changed
anything about your code, so it doesnt recompile that either. With nothing to
do, it simply exits.
If you open the _src/main.rs_ file, make a trivial change, and then save it and
build again, youll only see two lines of output:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-02/
touch src/main.rs
cargo build -->
```console
$ cargo build
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.13s
```
These lines show that Cargo only updates the build with your tiny change to the
_src/main.rs_ file. Your dependencies havent changed, so Cargo knows it can
reuse what it has already downloaded and compiled for those.
#### Ensuring Reproducible Builds with the _Cargo.lock_ File
Cargo has a mechanism that ensures you can rebuild the same artifact every time
you or anyone else builds your code: Cargo will use only the versions of the
dependencies you specified until you indicate otherwise. For example, say that
next week version 0.8.6 of the `rand` crate comes out, and that version contains
an important bug fix, but it also contains a regression that will break your
code. To handle this, Rust creates the _Cargo.lock_ file the first time you run
`cargo build`, so we now have this in the _guessing_game_ directory.
When you build a project for the first time, Cargo figures out all the versions
of the dependencies that fit the criteria and then writes them to the
_Cargo.lock_ file. When you build your project in the future, Cargo will see
that the _Cargo.lock_ file exists and will use the versions specified there
rather than doing all the work of figuring out versions again. This lets you
have a reproducible build automatically. In other words, your project will
remain at 0.8.5 until you explicitly upgrade, thanks to the _Cargo.lock_ file.
Because the _Cargo.lock_ file is important for reproducible builds, its often
checked into source control with the rest of the code in your project.
#### Updating a Crate to Get a New Version
When you _do_ want to update a crate, Cargo provides the command `update`, which
will ignore the _Cargo.lock_ file and figure out all the latest versions that
fit your specifications in _Cargo.toml_. Cargo will then write those versions to
the _Cargo.lock_ file. In this case, Cargo will only look for versions greater
than 0.8.5 and less than 0.9.0. If the `rand` crate has released the two new
versions 0.8.6 and 0.9.0, you would see the following if you ran `cargo update`:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-02/
cargo update
assuming there is a new 0.8.x version of rand; otherwise use another update
as a guide to creating the hypothetical output shown here -->
```console
$ cargo update
Updating crates.io index
Updating rand v0.8.5 -> v0.8.6
```
Cargo ignores the 0.9.0 release. At this point, you would also notice a change
in your _Cargo.lock_ file noting that the version of the `rand` crate you are
now using is 0.8.6. To use `rand` version 0.9.0 or any version in the 0.9._x_
series, youd have to update the _Cargo.toml_ file to look like this instead:
```toml
[dependencies]
rand = "0.9.0"
```
The next time you run `cargo build`, Cargo will update the registry of crates
available and reevaluate your `rand` requirements according to the new version
you have specified.
Theres a lot more to say about [Cargo][doccargo]<!-- ignore --> and
[its ecosystem][doccratesio]<!-- ignore -->, which well discuss in Chapter 14,
but for now, thats all you need to know. Cargo makes it very easy to reuse
libraries, so Rustaceans are able to write smaller projects that are assembled
from a number of packages.
### Generating a Random Number
Lets start using `rand` to generate a number to guess. The next step is to
update _src/main.rs_, as shown in Listing 2-3.
<Listing number="2-3" file-name="src/main.rs" caption="Adding code to generate a random number">
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-03/src/main.rs:all}}
```
</Listing>
First we add the line `use rand::Rng;`. The `Rng` trait defines methods that
random number generators implement, and this trait must be in scope for us to
use those methods. Chapter 10 will cover traits in detail.
Next, were adding two lines in the middle. In the first line, we call the
`rand::thread_rng` function that gives us the particular random number generator
were going to use: one that is local to the current thread of execution and is
seeded by the operating system. Then we call the `gen_range` method on the
random number generator. This method is defined by the `Rng` trait that we
brought into scope with the `use rand::Rng;` statement. The `gen_range` method
takes a range expression as an argument and generates a random number in the
range. The kind of range expression were using here takes the form
`start..=end` and is inclusive on the lower and upper bounds, so we need to
specify `1..=100` to request a number between 1 and 100.
> Note: You wont just know which traits to use and which methods and functions
> to call from a crate, so each crate has documentation with instructions for
> using it. Another neat feature of Cargo is that running the
> `cargo doc
> --open` command will build documentation provided by all your
> dependencies locally and open it in your browser. If youre interested in
> other functionality in the `rand` crate, for example, run `cargo doc --open`
> and click `rand` in the sidebar on the left.
The second new line prints the secret number. This is useful while were
developing the program to be able to test it, but well delete it from the final
version. Its not much of a game if the program prints the answer as soon as it
starts!
Try running the program a few times:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-03/
cargo run
4
cargo run
5
-->
```console
$ cargo run
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.02s
Running `target/debug/guessing_game`
Guess the number!
The secret number is: 7
Please input your guess.
4
You guessed: 4
$ cargo run
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.02s
Running `target/debug/guessing_game`
Guess the number!
The secret number is: 83
Please input your guess.
5
You guessed: 5
```
You should get different random numbers, and they should all be numbers between
1 and 100. Great job!
## Comparing the Guess to the Secret Number
Now that we have user input and a random number, we can compare them. That step
is shown in Listing 2-4. Note that this code wont compile just yet, as we will
explain.
<Listing number="2-4" file-name="src/main.rs" caption="Handling the possible return values of comparing two numbers">
```rust,ignore,does_not_compile
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-04/src/main.rs:here}}
```
</Listing>
First we add another `use` statement, bringing a type called
`std::cmp::Ordering` into scope from the standard library. The `Ordering` type
is another enum and has the variants `Less`, `Greater`, and `Equal`. These are
the three outcomes that are possible when you compare two values.
Then we add five new lines at the bottom that use the `Ordering` type. The `cmp`
method compares two values and can be called on anything that can be compared.
It takes a reference to whatever you want to compare with: here its comparing
`guess` to `secret_number`. Then it returns a variant of the `Ordering` enum we
brought into scope with the `use` statement. We use a
[`match`][match]<!-- ignore --> expression to decide what to do next based on
which variant of `Ordering` was returned from the call to `cmp` with the values
in `guess` and `secret_number`.
A `match` expression is made up of _arms_. An arm consists of a _pattern_ to
match against, and the code that should be run if the value given to `match`
fits that arms pattern. Rust takes the value given to `match` and looks through
each arms pattern in turn. Patterns and the `match` construct are powerful Rust
features: they let you express a variety of situations your code might encounter
and they make sure you handle them all. These features will be covered in detail
in Chapter 6 and Chapter 19, respectively.
Lets walk through an example with the `match` expression we use here. Say that
the user has guessed 50 and the randomly generated secret number this time is
38.
When the code compares 50 to 38, the `cmp` method will return
`Ordering::Greater` because 50 is greater than 38. The `match` expression gets
the `Ordering::Greater` value and starts checking each arms pattern. It looks
at the first arms pattern, `Ordering::Less`, and sees that the value
`Ordering::Greater` does not match `Ordering::Less`, so it ignores the code in
that arm and moves to the next arm. The next arms pattern is
`Ordering::Greater`, which _does_ match `Ordering::Greater`! The associated code
in that arm will execute and print `Too big!` to the screen. The `match`
expression ends after the first successful match, so it wont look at the last
arm in this scenario.
However, the code in Listing 2-4 wont compile yet. Lets try it:
<!--
The error numbers in this output should be that of the code **WITHOUT** the
anchor or snip comments
-->
```console
{{#include ../listings/ch02-guessing-game-tutorial/listing-02-04/output.txt}}
```
The core of the error states that there are _mismatched types_. Rust has a
strong, static type system. However, it also has type inference. When we wrote
`let mut guess = String::new()`, Rust was able to infer that `guess` should be a
`String` and didnt make us write the type. The `secret_number`, on the other
hand, is a number type. A few of Rusts number types can have a value between 1
and 100: `i32`, a 32-bit number; `u32`, an unsigned 32-bit number; `i64`, a
64-bit number; as well as others. Unless otherwise specified, Rust defaults to
an `i32`, which is the type of `secret_number` unless you add type information
elsewhere that would cause Rust to infer a different numerical type. The reason
for the error is that Rust cannot compare a string and a number type.
Ultimately, we want to convert the `String` the program reads as input into a
number type so we can compare it numerically to the secret number. We do so by
adding this line to the `main` function body:
<span class="filename">Filename: src/main.rs</span>
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/no-listing-03-convert-string-to-number/src/main.rs:here}}
```
The line is:
```rust,ignore
let guess: u32 = guess.trim().parse().expect("Please type a number!");
```
We create a variable named `guess`. But wait, doesnt the program already have a
variable named `guess`? It does, but helpfully Rust allows us to shadow the
previous value of `guess` with a new one. _Shadowing_ lets us reuse the `guess`
variable name rather than forcing us to create two unique variables, such as
`guess_str` and `guess`, for example. Well cover this in more detail in
[Chapter 3][shadowing]<!-- ignore -->, but for now, know that this feature is
often used when you want to convert a value from one type to another type.
We bind this new variable to the expression `guess.trim().parse()`. The `guess`
in the expression refers to the original `guess` variable that contained the
input as a string. The `trim` method on a `String` instance will eliminate any
whitespace at the beginning and end, which we must do before we can convert the
string to a `u32`, which can only contain numerical data. The user must press
<kbd>enter</kbd> to satisfy `read_line` and input their guess, which adds a
newline character to the string. For example, if the user types <kbd>5</kbd> and
presses <kbd>enter</kbd>, `guess` looks like this: `5\n`. The `\n` represents
newline.” (On Windows, pressing <kbd>enter</kbd> results in a carriage return
and a newline, `\r\n`.) The `trim` method eliminates `\n` or `\r\n`, resulting
in just `5`.
The [`parse` method on strings][parse]<!-- ignore --> converts a string to
another type. Here, we use it to convert from a string to a number. We need to
tell Rust the exact number type we want by using `let guess: u32`. The colon
(`:`) after `guess` tells Rust well annotate the variables type. Rust has a
few built-in number types; the `u32` seen here is an unsigned, 32-bit integer.
Its a good default choice for a small positive number. Youll learn about other
number types in [Chapter 3][integers]<!-- ignore -->.
Additionally, the `u32` annotation in this example program and the comparison
with `secret_number` means Rust will infer that `secret_number` should be a
`u32` as well. So now the comparison will be between two values of the same
type!
The `parse` method will only work on characters that can logically be converted
into numbers and so can easily cause errors. If, for example, the string
contained `A👍%`, there would be no way to convert that to a number. Because it
might fail, the `parse` method returns a `Result` type, much as the `read_line`
method does (discussed earlier in
[“Handling Potential Failure with
`Result`”](#handling-potential-failure-with-result)<!-- ignore-->). Well treat
this `Result` the same way by using the `expect` method again. If `parse`
returns an `Err` `Result` variant because it couldnt create a number from the
string, the `expect` call will crash the game and print the message we give it.
If `parse` can successfully convert the string to a number, it will return the
`Ok` variant of `Result`, and `expect` will return the number that we want from
the `Ok` value.
Lets run the program now:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/no-listing-03-convert-string-to-number/
touch src/main.rs
cargo run
76
-->
```console
$ cargo run
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.26s
Running `target/debug/guessing_game`
Guess the number!
The secret number is: 58
Please input your guess.
76
You guessed: 76
Too big!
```
Nice! Even though spaces were added before the guess, the program still figured
out that the user guessed 76. Run the program a few times to verify the
different behavior with different kinds of input: guess the number correctly,
guess a number that is too high, and guess a number that is too low.
We have most of the game working now, but the user can make only one guess.
Lets change that by adding a loop!
## Allowing Multiple Guesses with Looping
The `loop` keyword creates an infinite loop. Well add a loop to give users more
chances at guessing the number:
<span class="filename">Filename: src/main.rs</span>
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/no-listing-04-looping/src/main.rs:here}}
```
As you can see, weve moved everything from the guess input prompt onward into a
loop. Be sure to indent the lines inside the loop another four spaces each and
run the program again. The program will now ask for another guess forever, which
actually introduces a new problem. It doesnt seem like the user can quit!
The user could always interrupt the program by using the keyboard shortcut
<kbd>ctrl</kbd>-<kbd>c</kbd>. But theres another way to escape this insatiable
monster, as mentioned in the `parse` discussion in
[“Comparing the Guess to the
Secret Number”](#comparing-the-guess-to-the-secret-number)<!-- ignore -->: if
the user enters a non-number answer, the program will crash. We can take
advantage of that to allow the user to quit, as shown here:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/no-listing-04-looping/
touch src/main.rs
cargo run
(too small guess)
(too big guess)
(correct guess)
quit
-->
```console
$ cargo run
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.23s
Running `target/debug/guessing_game`
Guess the number!
The secret number is: 59
Please input your guess.
45
You guessed: 45
Too small!
Please input your guess.
60
You guessed: 60
Too big!
Please input your guess.
59
You guessed: 59
You win!
Please input your guess.
quit
thread 'main' panicked at 'Please type a number!: ParseIntError { kind: InvalidDigit }', src/main.rs:28:47
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
```
Typing `quit` will quit the game, but as youll notice, so will entering any
other non-number input. This is suboptimal, to say the least; we want the game
to also stop when the correct number is guessed.
### Quitting After a Correct Guess
Lets program the game to quit when the user wins by adding a `break` statement:
<span class="filename">Filename: src/main.rs</span>
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/no-listing-05-quitting/src/main.rs:here}}
```
Adding the `break` line after `You win!` makes the program exit the loop when
the user guesses the secret number correctly. Exiting the loop also means
exiting the program, because the loop is the last part of `main`.
### Handling Invalid Input
To further refine the games behavior, rather than crashing the program when the
user inputs a non-number, lets make the game ignore a non-number so the user
can continue guessing. We can do that by altering the line where `guess` is
converted from a `String` to a `u32`, as shown in Listing 2-5.
<Listing number="2-5" file-name="src/main.rs" caption="Ignoring a non-number guess and asking for another guess instead of crashing the program">
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-05/src/main.rs:here}}
```
</Listing>
We switch from an `expect` call to a `match` expression to move from crashing on
an error to handling the error. Remember that `parse` returns a `Result` type
and `Result` is an enum that has the variants `Ok` and `Err`. Were using a
`match` expression here, as we did with the `Ordering` result of the `cmp`
method.
If `parse` is able to successfully turn the string into a number, it will return
an `Ok` value that contains the resultant number. That `Ok` value will match the
first arms pattern, and the `match` expression will just return the `num` value
that `parse` produced and put inside the `Ok` value. That number will end up
right where we want it in the new `guess` variable were creating.
If `parse` is _not_ able to turn the string into a number, it will return an
`Err` value that contains more information about the error. The `Err` value does
not match the `Ok(num)` pattern in the first `match` arm, but it does match the
`Err(_)` pattern in the second arm. The underscore, `_`, is a catchall value; in
this example, were saying we want to match all `Err` values, no matter what
information they have inside them. So the program will execute the second arms
code, `continue`, which tells the program to go to the next iteration of the
`loop` and ask for another guess. So, effectively, the program ignores all
errors that `parse` might encounter!
Now everything in the program should work as expected. Lets try it:
<!-- manual-regeneration
cd listings/ch02-guessing-game-tutorial/listing-02-05/
cargo run
(too small guess)
(too big guess)
foo
(correct guess)
-->
```console
$ cargo run
Compiling guessing_game v0.1.0 (file:///projects/guessing_game)
Finished `dev` profile [unoptimized + debuginfo] target(s) in 0.13s
Running `target/debug/guessing_game`
Guess the number!
The secret number is: 61
Please input your guess.
10
You guessed: 10
Too small!
Please input your guess.
99
You guessed: 99
Too big!
Please input your guess.
foo
Please input your guess.
61
You guessed: 61
You win!
```
Awesome! With one tiny final tweak, we will finish the guessing game. Recall
that the program is still printing the secret number. That worked well for
testing, but it ruins the game. Lets delete the `println!` that outputs the
secret number. Listing 2-6 shows the final code.
<Listing number="2-6" file-name="src/main.rs" caption="Complete guessing game code">
```rust,ignore
{{#rustdoc_include ../listings/ch02-guessing-game-tutorial/listing-02-06/src/main.rs}}
```
</Listing>
At this point, youve successfully built the guessing game. Congratulations!
## Summary
This project was a hands-on way to introduce you to many new Rust concepts:
`let`, `match`, functions, the use of external crates, and more. In the next few
chapters, youll learn about these concepts in more detail. Chapter 3 covers
concepts that most programming languages have, such as variables, data types,
and functions, and shows how to use them in Rust. Chapter 4 explores ownership,
a feature that makes Rust different from other languages. Chapter 5 discusses
structs and method syntax, and Chapter 6 explains how enums work.
[prelude]: ../std/prelude/index.html
[variables-and-mutability]: ch03-01-variables-and-mutability.html#variables-and-mutability
[comments]: ch03-04-comments.html
[string]: ../std/string/struct.String.html
[iostdin]: ../std/io/struct.Stdin.html
[read_line]: ../std/io/struct.Stdin.html#method.read_line
[result]: ../std/result/enum.Result.html
[enums]: ch06-00-enums.html
[expect]: ../std/result/enum.Result.html#method.expect
[recover]: ch09-02-recoverable-errors-with-result.html
[randcrate]: https://crates.io/crates/rand
[semver]: http://semver.org
[cratesio]: https://crates.io/
[doccargo]: https://doc.rust-lang.org/cargo/
[doccratesio]: https://doc.rust-lang.org/cargo/reference/publishing.html
[match]: ch06-02-match.html
[shadowing]: ch03-01-variables-and-mutability.html#shadowing
[parse]: ../std/primitive.str.html#method.parse
[integers]: ch03-02-data-types.html#integer-types