Using unwrap and expect in Rust - Step-by-Step Execution

Concept Flow - Using unwrap and expect

Start

↓

Call unwrap() or expect() on Option/Result

↓

Is value Some/Ok?

No→Panic: unwrap or expect message

Yes↓

Return inner value

↓

Continue execution

The program calls unwrap or expect on an Option or Result. If the value is present, it returns it. Otherwise, it panics with a message.

Execution Sample

Rust

let val = Some(10).unwrap();
println!("Value: {}", val);

let res: Result<i32, &str> = Err("fail");
res.expect("Failed to get value");

This code unwraps a Some value successfully, then tries to expect on an Err, causing a panic with a message.

Execution Table

Step	Expression	Value/Condition	Action	Output/Result
1	Some(10).unwrap()	Some(10) is Some	Return inner value 10	10
2	println!("Value: {}", val)	val = 10	Print value	Value: 10
3	res.expect("Failed to get value")	res is Err("fail")	Panic with message	thread 'main' panicked at 'Failed to get value: fail', src/main.rs:4:5

💡 Execution stops at step 3 due to panic caused by calling expect on Err value.

Variable Tracker

Variable	Start	After Step 1	After Step 3
val	uninitialized	10	10
res	uninitialized	uninitialized	Err("fail")

Key Moments - 2 Insights

Why does unwrap succeed on Some but panic on None?

unwrap returns the inner value if the Option is Some. If it is None, unwrap panics. See execution_table step 1 where Some(10) unwraps to 10, but if it were None, it would panic.

What is the difference between unwrap and expect?

Both unwrap and expect return the inner value if present, but expect lets you provide a custom panic message. In execution_table step 3, expect panics with 'Failed to get value: fail' instead of a default message.

Visual Quiz - 3 Questions

Look at the execution table, what value does unwrap return at step 1?

A 10

B None

C Err("fail")

D Panics

💡 Hint

Check the 'Value/Condition' and 'Output/Result' columns at step 1 in the execution_table.

At which step does the program panic due to expect?

A Step 1

B Step 3

C Step 2

D No panic occurs

💡 Hint

Look at the 'Action' and 'Output/Result' columns in execution_table for the panic event.

If we replace expect with unwrap on the Err value, what changes in the panic message?

A Panic message is the same as expect

B No panic occurs

C Panic message is default unwrap message

D Program returns Ok value

💡 Hint

Compare the panic messages from unwrap and expect in Rust; expect allows custom messages.

Concept Snapshot

unwrap and expect are used to get the value inside Option or Result.
unwrap returns the value if present, panics if None or Err.
expect does the same but lets you add a custom panic message.
Use expect to give clearer error info when panicking.
Panics stop program execution immediately.

Full Transcript

This visual execution shows how unwrap and expect work in Rust. First, unwrap is called on Some(10), which returns 10 successfully. Then, expect is called on an Err value, which causes the program to panic with a custom message. Variables val and res track the values before and after these calls. Key moments clarify why unwrap panics on None and how expect differs by allowing a custom panic message. The quiz tests understanding of return values, panic steps, and message differences.