If expression in Rust - Time & Space Complexity

Time Complexity: If expression

O(1)

Understanding Time Complexity

We want to see how using an if expression affects how long a program takes to run.

Specifically, does choosing between two paths change the work as input grows?

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

fn check_number(n: i32) -> i32 {
    if n > 0 {
        n * 2
    } else {
        n - 2
    }
}
    

This code checks if a number is positive and returns a value based on that check.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: A single if check (comparison) and one arithmetic operation.
• How many times: Exactly once per function call, no loops or recursion.

How Execution Grows With Input

Each time we call the function, it does the same small amount of work, no matter the input size.

Input Size (n)	Approx. Operations
10	1 if check + 1 arithmetic
100	1 if check + 1 arithmetic
1000	1 if check + 1 arithmetic

Pattern observation: The work stays the same no matter how big the input number is.

Final Time Complexity

Time Complexity: O(1)

This means the time to run does not grow with input size; it stays constant.

Common Mistake

[X] Wrong: "If expressions take longer when the number is bigger because the computer has to compare bigger numbers."

[OK] Correct: Comparing numbers is a simple operation that takes the same time regardless of size in this context.

Interview Connect

Understanding that simple if checks do not slow down your program as inputs grow helps you focus on parts that really matter for performance.

Self-Check

"What if we added a loop inside the if expression? How would the time complexity change?"

Practice

1. What does an if expression do in Rust?

easy

A. It chooses between code blocks based on a condition.

B. It repeats code multiple times.

C. It defines a new function.

D. It declares a variable.

Solution

1. Step 1: Understand the purpose of if

   The if expression checks a condition to decide which code block to run.

2. Step 2: Compare with other options

   Repeating code is done by loops, functions define behavior, and variables store data, so these are incorrect.

3. Final Answer:

   It chooses between code blocks based on a condition. -> Option A

4. Quick Check:

   If expression = choose code [OK]

Hint: If checks true/false to pick code [OK]

Common Mistakes:

• Confusing if with loops
• Thinking if declares variables
• Mixing if with function definitions

2. Which of the following is the correct syntax for an if expression in Rust?

easy

A. if condition: { /* code */ } else: { /* code */ }

B. if condition { /* code */ } else { /* code */ }

C. if (condition) then { /* code */ } else { /* code */ }

D. if condition -> { /* code */ } else -> { /* code */ }

Solution

1. Step 1: Recall Rust if syntax

   Rust uses if condition { ... } else { ... } without parentheses or arrows.

2. Step 2: Check each option

   if condition { /* code */ } else { /* code */ } matches Rust syntax; others use invalid keywords or symbols.

3. Final Answer:

   if condition { /* code */ } else { /* code */ } -> Option B

4. Quick Check:

   Rust if syntax = braces, no parentheses [OK]

Hint: Rust if uses braces, no parentheses [OK]

Common Mistakes:

• Adding parentheses like other languages
• Using 'then' keyword
• Using colons or arrows incorrectly

3. What is the output of this Rust code?

let x = 10;
let y = if x > 5 { "big" } else { "small" };
println!("{}", y);

medium

A. Compilation error

B. small

C. big

D. 10

Solution

1. Step 1: Evaluate the condition x > 5

   Since x is 10, which is greater than 5, the condition is true.

2. Step 2: Determine which branch runs

   The if expression returns "big" because the condition is true, so y is assigned "big".

3. Final Answer:

   big -> Option C

4. Quick Check:

   10 > 5 is true, so output = big [OK]

Hint: Check condition true or false to pick output [OK]

Common Mistakes:

• Confusing output with variable x
• Thinking else branch runs
• Expecting numeric output

4. Identify the error in this Rust code snippet:

let number = 7;
let result = if number % 2 == 0 {
    "even"
} else {
    "odd"
};
println!("{}", result);

medium

A. No error, code runs correctly

B. Mismatched types in if and else branches

C. Missing semicolon after if expression

D. Using % operator incorrectly

Solution

1. Step 1: Check syntax and types

   The if expression returns string slices "even" or "odd", both same type, so no type mismatch.

2. Step 2: Verify semicolons and operators

   The semicolon after the if expression is present, and the modulo operator is used correctly.

3. Final Answer:

   No error, code runs correctly -> Option A

4. Quick Check:

   Correct syntax and types = no error [OK]

Hint: Check types and semicolons carefully [OK]

Common Mistakes:

• Thinking semicolon is missing
• Confusing types in branches
• Misusing modulo operator

5. How can you use an if expression to assign a value to a variable based on multiple conditions in Rust? Choose the correct code snippet.

hard

A. let grade = if score >= 90 -> 'A' else if score >= 80 -> 'B' else -> 'C';

B. let grade = if (score >= 90) then 'A' else if (score >= 80) then 'B' else 'C';

C. let grade = if score >= 90: 'A' elif score >= 80: 'B' else: 'C';

D. let grade = if score >= 90 { 'A' } else if score >= 80 { 'B' } else { 'C' };

Solution

1. Step 1: Understand Rust's if-else if syntax

   Rust uses if condition { value } and else if condition { value } blocks with braces, no keywords like then or arrows.

2. Step 2: Check each option for syntax correctness

   let grade = if score >= 90 { 'A' } else if score >= 80 { 'B' } else { 'C' }; uses correct Rust syntax; others use invalid keywords or punctuation.

3. Final Answer:

   let grade = if score >= 90 { 'A' } else if score >= 80 { 'B' } else { 'C' }; -> Option D

4. Quick Check:

   Rust if-else if uses braces, no then [OK]

Hint: Use braces and else if without extra keywords [OK]

Common Mistakes:

• Adding 'then' keyword
• Using colons or arrows
• Incorrect else if syntax