Why traits are used in Rust - See It in Action

Why traits are used

📖 Scenario: Imagine you are building a program that handles different types of animals. Each animal can make a sound, but the way they make sounds is different. You want a way to tell your program that all animals can make a sound, without writing the same code for each animal.

🎯 Goal: You will create a trait called AnimalSound that defines a behavior for making a sound. Then, you will implement this trait for different animal types. Finally, you will call the sound method on each animal to see their unique sounds.

📋 What You'll Learn

Create a trait called AnimalSound with a method make_sound

Create two structs: Dog and Cat

Implement the AnimalSound trait for both Dog and Cat

Call the make_sound method for both animals and print the results

💡 Why This Matters

🌍 Real World

Traits are used in Rust to define common behaviors for different types, like animals making sounds or shapes calculating area.

💼 Career

Understanding traits is essential for Rust programming jobs, as they enable writing clean, modular, and maintainable code.

1

Create the structs for animals

Create two structs called Dog and Cat with no fields.

Rust

# Your code here

Hint

Use struct Dog; and struct Cat; to define empty structs.

2

Create the trait AnimalSound

Create a trait called AnimalSound with a method make_sound that returns a &str.

Rust

struct Dog;
struct Cat;

# Your code here

Hint

Define the trait with trait AnimalSound { fn make_sound(&self) -> &str; }.

3

Implement the trait for Dog and Cat

Implement the AnimalSound trait for Dog and Cat. For Dog, make_sound should return "Bark". For Cat, it should return "Meow".

Rust

struct Dog;
struct Cat;

trait AnimalSound {
    fn make_sound(&self) -> &str;
}

# Your code here

Hint

Use impl AnimalSound for Dog and impl AnimalSound for Cat with the method returning the correct sounds.

4

Call the make_sound method and print results

Create instances of Dog and Cat. Call their make_sound methods and print the results using println!.

Rust

struct Dog;
struct Cat;

trait AnimalSound {
    fn make_sound(&self) -> &str;
}

impl AnimalSound for Dog {
    fn make_sound(&self) -> &str {
        "Bark"
    }
}

impl AnimalSound for Cat {
    fn make_sound(&self) -> &str {
        "Meow"
    }
}

// Your code here

Hint

Create dog and cat variables, then print their sounds with println!("Dog says: {}", dog.make_sound()).

Practice

1. Why are traits used in Rust programming?

easy

A. To define shared behavior that multiple types can implement

B. To store data in a fixed-size array

C. To create global variables accessible everywhere

D. To write code that only works with one specific type

Solution

1. Step 1: Understand the purpose of traits

   Traits allow different types to share common behavior by defining methods they must implement.

2. Step 2: Compare options with trait purpose

   Only To define shared behavior that multiple types can implement correctly describes traits as defining shared behavior for multiple types.

3. Final Answer:

   To define shared behavior that multiple types can implement -> Option A

4. Quick Check:

   Traits = shared behavior [OK]

Hint: Traits define shared behavior for many types [OK]

Common Mistakes:

• Confusing traits with data storage
• Thinking traits create global variables
• Believing traits limit code to one type

2. Which of the following is the correct syntax to declare a trait named Speak in Rust?

easy

A. trait Speak { fn speak(&self); }

B. struct Speak { fn speak(&self); }

C. impl Speak { fn speak(&self); }

D. fn Speak { fn speak(&self); }

Solution

1. Step 1: Recall trait declaration syntax

   Traits are declared using the keyword trait followed by the trait name and method signatures.

2. Step 2: Match options with correct syntax

   trait Speak { fn speak(&self); } uses trait Speak { fn speak(&self); }, which is the correct syntax.

3. Final Answer:

   trait Speak { fn speak(&self); } -> Option A

4. Quick Check:

   Trait declaration starts with 'trait' keyword [OK]

Hint: Traits start with 'trait' keyword, not struct or impl [OK]

Common Mistakes:

• Using struct or impl instead of trait keyword
• Omitting parentheses in method signature
• Writing function keyword instead of trait

3. What will be the output of this Rust code?

trait Greet {
    fn greet(&self);
}

struct Person;

impl Greet for Person {
    fn greet(&self) {
        println!("Hello from Person!");
    }
}

fn main() {
    let p = Person;
    p.greet();
}

medium

A. Compilation error: trait not implemented

B. Hello from Person!

C. Runtime error: method not found

D. No output

Solution

1. Step 1: Check trait implementation

   The struct Person implements the trait Greet with method greet that prints a message.

2. Step 2: Analyze main function call

   In main, calling p.greet() invokes the implemented method, printing "Hello from Person!".

3. Final Answer:

   Hello from Person! -> Option B

4. Quick Check:

   Trait method called prints message [OK]

Hint: Implemented trait methods run as expected [OK]

Common Mistakes:

• Assuming missing trait implementation error
• Confusing trait with struct methods
• Expecting no output without println!

4. Identify the error in this Rust code using traits:

trait Fly {
    fn fly(&self);
}

struct Bird;

impl Fly for Bird {
    fn fly(&self) {
        println!("Bird is flying");
    }
}

fn main() {
    let b = Bird;
    b.fly();
    b.sing();
}

medium

A. Cannot create instance of struct Bird

B. Trait Fly is not implemented correctly

C. Missing semicolon after println!

D. Method sing is not defined for Bird

Solution

1. Step 1: Check methods called on Bird

   The code calls b.fly() and b.sing(). The trait Fly defines fly, but no sing method exists.

2. Step 2: Identify error cause

   Calling b.sing() causes a compile error because sing is not defined for Bird.

3. Final Answer:

   Method sing is not defined for Bird -> Option D

4. Quick Check:

   Undefined method call causes error [OK]

Hint: Check if all called methods are defined [OK]

Common Mistakes:

• Thinking trait implementation is incorrect
• Assuming missing semicolon error
• Believing struct cannot be instantiated

5. You want to write a function that accepts any type that can be converted to a string. Which trait should you use to make your function flexible and reusable?

hard

A. Use the Copy trait to copy values

B. Use the Drop trait to clean up resources

C. Use the Display trait to require string conversion

D. Use the Clone trait to duplicate values

Solution

1. Step 1: Identify trait for string conversion

   The Display trait allows types to be formatted as strings, enabling conversion to string output.

2. Step 2: Match function flexibility requirement

   Using Display as a trait bound lets the function accept any type that can be shown as a string, making it reusable.

3. Final Answer:

   Use the Display trait to require string conversion -> Option C

4. Quick Check:

   Display trait = string conversion [OK]

Hint: Display trait enables string formatting for any type [OK]

Common Mistakes:

• Confusing Copy or Clone with string conversion
• Using Drop trait incorrectly
• Not using trait bounds for flexibility