Creating a Singly Linked List from Scratch in DSA Rust - Why This Approach

The Big Idea

What if you could add or remove items in a list without rewriting everything every time?

The Scenario

Imagine you have a long chain of paper clips, and you want to add or remove clips easily without messing up the whole chain.

Trying to manage this chain by remembering each clip's position manually is like trying to keep track of a list of items on paper without any order or connection.

The Problem

Writing down each item separately and updating all positions when you add or remove one is slow and confusing.

You might lose track, make mistakes, or spend too much time rewriting the whole list.

The Solution

A singly linked list connects each item to the next one, like a chain of paper clips where each clip holds the next.

This way, you only need to update the links around the changed spot, making adding or removing items simple and fast.

Before vs After

✗ Before

let mut items = vec!["apple", "banana", "cherry"];
// To add 'date', shift all items manually
items.insert(0, "date");

✓ After

struct Node {
    value: String,
    next: Option<Box<Node>>,
}

// Create new node and link it to the list head
let new_node = Node { value: "date".to_string(), next: head.take() };

What It Enables

It enables building flexible, dynamic lists where items can be added or removed anywhere without reorganizing the entire collection.

Real Life Example

Think of a music playlist where you can add or remove songs anytime without rewriting the whole list.

Key Takeaways

Manual list management is slow and error-prone.

Singly linked lists connect items with pointers for easy updates.

This structure makes dynamic data handling efficient and simple.

Practice

1. What is the main purpose of a Singly Linked List in data structures?

easy

A. To store elements in a random order without any links

B. To store elements in a tree-like hierarchical structure

C. To store elements with direct access by index like an array

D. To store elements in a linear order where each element points to the next

Solution

1. Step 1: Understand the structure of a singly linked list

   A singly linked list stores elements in nodes where each node points to the next node, forming a chain.

2. Step 2: Compare with other data structures

   Unlike arrays, singly linked lists do not provide direct index access and unlike trees, they have a single linear chain of nodes.

3. Final Answer:

   To store elements in a linear order where each element points to the next -> Option D

4. Quick Check:

   Singly Linked List = Linear chain with next pointers [OK]

Hint: Remember: singly linked list nodes point only forward [OK]

Common Mistakes:

• Confusing linked lists with arrays having direct index access
• Thinking linked lists are hierarchical like trees
• Assuming nodes can point backward in singly linked lists

2. Which of the following is the correct way to define a node struct for a singly linked list in Rust?

easy

A. struct Node { value: i32, next: &Node }

B. struct Node { value: i32, next: Node }

C. struct Node { value: i32, next: Option }

D. struct Node { value: i32, next: Vec<Node> }

Solution

1. Step 1: Understand Rust ownership and pointers

   Rust requires heap allocation for recursive types like linked lists, so Box is used to own the next node.

2. Step 2: Analyze each option

   struct Node { value: i32, next: Option } uses Option allowing for a nullable next pointer, which is correct. struct Node { value: i32, next: Node } is invalid because it causes infinite size. struct Node { value: i32, next: &Node } uses a reference without lifetime, which is invalid. struct Node { value: i32, next: Vec<Node> } uses a vector which is not suitable for singly linked list next pointer.

3. Final Answer:

   struct Node { value: i32, next: Option } -> Option C

4. Quick Check:

   Use Option for next pointer in Rust [OK]

Hint: Use Option for nullable next node in Rust [OK]

Common Mistakes:

• Using direct Node type causes infinite size error
• Using references without lifetimes for next pointer
• Using Vec<Node> instead of a single next node pointer

3. What will be the printed output after running this Rust code that creates a singly linked list with values 1, 2, 3 and prints them?

struct Node {
    value: i32,
    next: Option,
}

fn main() {
    let third = Node { value: 3, next: None };
    let second = Node { value: 2, next: Some(Box::new(third)) };
    let first = Node { value: 1, next: Some(Box::new(second)) };

    let mut current = &first;
    while let Some(ref next_node) = current.next {
        println!("{} ->", current.value);
        current = next_node;
    }
    println!("{} -> null", current.value);
}

medium

A. 1 -> 2 -> null

B. 1 -> 2 -> 3 -> null

C. 3 -> 2 -> 1 -> null

D. Compilation error due to borrowing

Solution

1. Step 1: Trace the linked list creation

   Nodes are created in reverse order: third (3, None), second (2, Some(third)), first (1, Some(second)). So the list is 1 -> 2 -> 3 -> null.

2. Step 2: Follow the print loop

   The loop prints current.value followed by '->' while current.next is Some. It prints 1 ->, then 2 ->, then exits loop at 3 (next is None) and prints 3 -> null.

3. Final Answer:

   1 -> 2 -> 3 -> null -> Option B

4. Quick Check:

   Prints nodes in order from first to last [OK]

Hint: Trace node links from first to last for output [OK]

Common Mistakes:

• Printing nodes in reverse order by mistake
• Missing the last node print with 'null'
• Confusing Option with direct node causing errors

4. Identify the error in this Rust code snippet that tries to create a singly linked list node:

struct Node {
    value: i32,
    next: Option,
}

fn main() {
    let node1 = Node { value: 1, next: None };
    let node2 = Node { value: 2, next: node1 };
}

medium

A. next field must be Option, but node1 is Node type

B. Missing semicolon after node2 declaration

C. Cannot move node1 because it is not boxed inside Option

D. No error, code compiles fine

Solution

1. Step 1: Check the type of next field

   The next field expects an Option, but node1 is a Node, not wrapped in Box or Option.

2. Step 2: Understand Rust type requirements

   Rust requires the next pointer to be boxed and wrapped in Option to handle ownership and nullability. Directly assigning node1 causes a type mismatch.

3. Final Answer:

   next field must be Option, but node1 is Node type -> Option A

4. Quick Check:

   next must be Option not Node [OK]

Hint: Match next field type exactly: Option [OK]

Common Mistakes:

• Assigning Node directly instead of Option
• Ignoring Rust ownership rules for recursive types
• Assuming semicolon missing causes error here

5. You want to implement a method append to add a new node at the end of a singly linked list in Rust. Which approach correctly handles ownership and mutability to traverse and append the node?

hard

A. Use a mutable reference to Option and loop until next is None, then set next to Some(new_node)

B. Use an immutable reference to Node and assign next directly without mutability

C. Clone the entire list and add the new node at the front

D. Use unsafe pointers to bypass Rust ownership rules

Solution

1. Step 1: Understand Rust ownership and mutability for linked lists

   To modify the list, you need a mutable reference to the next pointer (Option) to traverse and update it safely.

2. Step 2: Analyze each option

   Use a mutable reference to Option and loop until next is None, then set next to Some(new_node) correctly uses mutable references to traverse until the end and then sets next to Some(new_node). Use an immutable reference to Node and assign next directly without mutability uses immutable reference which cannot modify. Clone the entire list and add the new node at the front clones the list which is inefficient and not appending at end. Use unsafe pointers to bypass Rust ownership rules uses unsafe code which is discouraged.

3. Final Answer:

   Use a mutable reference to Option and loop until next is None, then set next to Some(new_node) -> Option A

4. Quick Check:

   Mutable reference to next pointer needed for append [OK]

Hint: Traverse with mutable Option reference to append [OK]

Common Mistakes:

• Using immutable references preventing modification
• Trying to assign next without Option or Box
• Using unsafe code unnecessarily