Why Function ownership interaction in Rust? - Purpose & Use Cases

The Big Idea

What if your program could automatically prevent losing or misusing data without extra effort?

The Scenario

Imagine you have a box of toys, and you want to lend some toys to your friend to play with. You have to keep track of who has which toy, and make sure no one loses or breaks them. Doing this by writing notes every time you give or get a toy back is tiring and confusing.

The Problem

Manually tracking who owns what data in a program is like writing endless notes about toy lending. It is slow, easy to forget, and can cause mistakes like losing toys or breaking rules. This leads to bugs and crashes in programs, making them unreliable and hard to fix.

The Solution

Rust's function ownership interaction is like having a smart toy lending system that automatically knows who has each toy and when it should be returned. It ensures no toy is lost or used wrongly by checking ownership rules at compile time, so your program stays safe and clear.

Before vs After

✗ Before

fn play(toy: String) {
    println!("Playing with {}", toy);
}

fn main() {
    let my_toy = String::from("car");
    play(my_toy);
    println!("I have {}", my_toy); // Error: toy moved
}

✓ After

fn play(toy: &String) {
    println!("Playing with {}", toy);
}

fn main() {
    let my_toy = String::from("car");
    play(&my_toy);
    println!("I have {}", my_toy); // Works fine
}

What It Enables

This concept lets you write programs that manage data safely and efficiently without losing or corrupting information, making your code more reliable and easier to understand.

Real Life Example

Think of a library system where books are lent out and returned. Rust's ownership rules help programmers build software that tracks who currently has a book, preventing two people from borrowing the same book at once or losing track of it.

Key Takeaways

Manual data tracking is error-prone and confusing.

Ownership interaction automates safe data management between functions.

This leads to safer, clearer, and more reliable programs.

Practice

1. What happens when a function in Rust takes ownership of a variable passed to it?

easy

A. The function borrows the variable temporarily.

B. The original variable can no longer be used after the function call.

C. The variable is copied and both original and function have ownership.

D. The variable is automatically cloned inside the function.

Solution

1. Step 1: Understand ownership transfer

   When a function takes ownership, the original variable's ownership moves to the function.

2. Step 2: Effect on original variable

   After the function call, the original variable is no longer valid and cannot be used.

3. Final Answer:

   The original variable can no longer be used after the function call. -> Option B

4. Quick Check:

   Ownership moves = original invalid [OK]

Hint: Ownership moves to function, original variable becomes unusable [OK]

Common Mistakes:

• Thinking ownership is copied, not moved
• Confusing borrowing with ownership transfer
• Assuming automatic cloning happens

2. Which of the following function signatures correctly borrows a string slice without taking ownership?

easy

A. fn print_name(name: &str) { println!("{}", name); }

B. fn print_name(name: &String) { println!("{}", name); }

C. fn print_name(name: String) { println!("{}", name); }

D. fn print_name(name: String) -> String { name }

Solution

1. Step 1: Identify borrowing syntax

   Borrowing a string slice uses &str type, which is a reference to string data.

2. Step 2: Match function signature

   fn print_name(name: &str) { println!("{}", name); } uses &str, correctly borrowing without taking ownership.

3. Final Answer:

   fn print_name(name: &str) { println!("{}", name); } -> Option A

4. Quick Check:

   Borrow string slice = &str [OK]

Hint: Use &str to borrow string slices, not String type [OK]

Common Mistakes:

• Using String type takes ownership
• Using &String borrows but is less flexible than &str
• Returning String does not borrow

3. What is the output of the following Rust code?

fn take_ownership(s: String) {
    println!("Inside: {}", s);
}

fn main() {
    let s = String::from("hello");
    take_ownership(s);
    println!("Outside: {}", s);
}

medium

A. Inside: hello
Outside: hello

B. Inside: hello
Outside:

C. Inside: hello
Compile error: use of moved value 's'

D. Runtime error: use after free

Solution

1. Step 1: Analyze ownership transfer in function call

   The function take_ownership takes ownership of s, moving it inside the function.

2. Step 2: Check usage after ownership moved

   After the function call, s is no longer valid in main, so using it causes a compile error.

3. Final Answer:

   Inside: hello Compile error: use of moved value 's' -> Option C

4. Quick Check:

   Ownership moved = compile error on use after move [OK]

Hint: Using moved variable after function call causes compile error [OK]

Common Mistakes:

• Assuming variable is still valid after move
• Expecting runtime error instead of compile error
• Thinking variable is copied automatically

4. Identify the error in this Rust code and choose the fix:

fn add_one(num: &i32) -> i32 {
    *num + 1
}

fn main() {
    let x = 5;
    let y = add_one(x);
    println!("{}", y);
}

medium

A. No error, code runs correctly.

B. Change function parameter to num: i32 to take ownership.

C. Change return type to &i32 to return a reference.

D. Change call to add_one(&x) to pass a reference.

Solution

1. Step 1: Check function parameter type

   Function expects a reference &i32, but main passes x (i32) directly.

2. Step 2: Fix function call

   Pass a reference &x to match parameter type and avoid type mismatch error.

3. Final Answer:

   Change call to add_one(&x) to pass a reference. -> Option D

4. Quick Check:

   Pass reference when function expects &i32 [OK]

Hint: Match argument type with parameter type exactly [OK]

Common Mistakes:

• Passing value instead of reference
• Changing return type unnecessarily
• Ignoring compiler type mismatch errors

5. Given this Rust code, what is the correct way to write a function that takes ownership of a vector, adds an element, and returns ownership back?

fn add_element(vec: Vec<i32>) -> Vec<i32> {
    // Add 10 to the vector
    vec.push(10);
    vec
}

hard

A. fn add_element(mut vec: Vec<i32>) -> Vec<i32> { vec.push(10); vec }

B. fn add_element(vec: &Vec<i32>) -> Vec<i32> { vec.push(10); vec.clone() }

C. fn add_element(vec: Vec<i32>) { vec.push(10); }

D. fn add_element(vec: &mut Vec<i32>) { vec.push(10); }

Solution

1. Step 1: Understand ownership and mutability

   To modify the vector, the function must take ownership and have mutable access, so parameter must be mutable.

2. Step 2: Return ownership after modification

   Return the modified vector to give ownership back to the caller.

3. Final Answer:

   fn add_element(mut vec: Vec<i32>) -> Vec<i32> { vec.push(10); vec } -> Option A

4. Quick Check:

   Mutable ownership + return ownership = fn add_element(mut vec: Vec<i32>) -> Vec<i32> { vec.push(10); vec } [OK]

Hint: Use mut parameter and return vector to keep ownership [OK]

Common Mistakes:

• Forgetting mut keyword for parameter
• Trying to modify borrowed vector without mut
• Not returning the vector after modification