Default method implementations in Rust - Mini Project: Build & Apply

Default method implementations

📖 Scenario: Imagine you are creating a simple system to describe different animals and their sounds. Some animals have a common sound, but others might have their own unique sound.

🎯 Goal: You will create a trait with a default method implementation for making a sound. Then, you will implement this trait for different animals, using the default sound for some and a custom sound for others.

📋 What You'll Learn

Create a trait called Animal with a method make_sound that returns a String.

Provide a default implementation for make_sound that returns "Some generic animal sound".

Create a struct called Dog.

Create a struct called Cat.

Implement the Animal trait for Dog using the default make_sound method.

Implement the Animal trait for Cat with a custom make_sound method returning "Meow".

Create instances of Dog and Cat.

Print the sounds made by both animals.

💡 Why This Matters

🌍 Real World

Traits with default methods let you define common behavior for many types, while allowing specific types to customize that behavior.

💼 Career

Understanding traits and default implementations is key for writing clean, reusable Rust code in many software projects.

1

Create the Animal trait with a default method

Write a trait called Animal with a method make_sound that returns a String. Provide a default implementation for make_sound that returns "Some generic animal sound".

Rust

# Your code here

Hint

Use trait to define Animal. Inside, define fn make_sound(&self) -> String with a default body returning String::from("Some generic animal sound").

2

Create structs Dog and Cat

Create two empty structs called Dog and Cat.

Rust

trait Animal {
    fn make_sound(&self) -> String {
        String::from("Some generic animal sound")
    }
}

# Your code here

Hint

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

3

Implement Animal for Dog and Cat

Implement the Animal trait for Dog using the default make_sound method. Then implement Animal for Cat with a custom make_sound method that returns "Meow".

Rust

trait Animal {
    fn make_sound(&self) -> String {
        String::from("Some generic animal sound")
    }
}

struct Dog;
struct Cat;

# Your code here

Hint

For Dog, write impl Animal for Dog {} to use the default method. For Cat, write impl Animal for Cat and override make_sound to return String::from("Meow").

4

Create instances and print their sounds

Create a variable dog as an instance of Dog and a variable cat as an instance of Cat. Then print the result of calling make_sound on both dog and cat.

Rust

trait Animal {
    fn make_sound(&self) -> String {
        String::from("Some generic animal sound")
    }
}

struct Dog;
struct Cat;

impl Animal for Dog {}

impl Animal for Cat {
    fn make_sound(&self) -> String {
        String::from("Meow")
    }
}

# Your code here

Hint

Create dog and cat variables with Dog and Cat. Use println!("{}", dog.make_sound()) and similarly for cat.

Practice

1. What is the main purpose of default method implementations in Rust traits?

easy

A. To automatically generate structs from traits

B. To force all types to implement the method themselves

C. To prevent any method from being used outside the trait

D. To provide reusable behavior that types can use or override

Solution

1. Step 1: Understand trait default methods

   Default methods in traits provide a common implementation that types can use without writing their own code.

2. Step 2: Compare with other options

   Options A, B, and C describe behaviors that are not true for default methods in Rust traits.

3. Final Answer:

   To provide reusable behavior that types can use or override -> Option D

4. Quick Check:

   Default methods = reusable behavior [OK]

Hint: Default methods give ready code to reuse or replace [OK]

Common Mistakes:

• Thinking default methods force implementation
• Confusing traits with structs
• Believing default methods hide methods

2. Which of the following is the correct syntax to define a default method in a Rust trait?

easy

A. fn greet() { println!("Hello"); }

B. fn greet();

C. fn greet() -> { println!("Hello"); }

D. fn greet() => println!("Hello");

Solution

1. Step 1: Recall Rust trait method syntax

   Default methods in traits have a body with curly braces, like fn greet() { ... }.

2. Step 2: Check each option

   fn greet() { println!("Hello"); } uses correct syntax with braces. fn greet(); is a method signature without body (no default). Options A and D have invalid syntax.

3. Final Answer:

   fn greet() { println!("Hello"); } -> Option A

4. Quick Check:

   Default method = fn name() { body } [OK]

Hint: Default methods always have braces with code inside [OK]

Common Mistakes:

• Omitting braces for default methods
• Using arrow syntax instead of braces
• Writing only method signatures without body

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

trait Speak {
    fn say(&self) {
        println!("Default speaking");
    }
}

struct Dog;

impl Speak for Dog {}

fn main() {
    let d = Dog;
    d.say();
}

medium

A. Dog says woof

B. Compilation error: method say not implemented

C. Default speaking

D. No output

Solution

1. Step 1: Analyze trait and struct implementation

   The trait Speak has a default method say that prints "Default speaking". Dog implements Speak but does not override say.

2. Step 2: Determine method called

   Since Dog does not override say, calling d.say() uses the default method from the trait.

3. Final Answer:

   Default speaking -> Option C

4. Quick Check:

   Default method runs if not overridden [OK]

Hint: If no override, default method runs [OK]

Common Mistakes:

• Expecting an error for missing method
• Assuming default method is not used
• Confusing struct behavior with trait methods

4. Identify the error in this Rust code using default method implementations:

trait Talk {
    fn talk(&self) {
        println!("Talking");
    }
}

struct Cat;

impl Talk for Cat {
    fn talk(&self);
}

fn main() {
    let c = Cat;
    c.talk();
}

medium

A. Trait Talk must not have default methods

B. Missing method body in impl causes compilation error

C. Struct Cat cannot implement Talk

D. No error, code runs fine

Solution

1. Step 1: Check impl block for talk method

   The impl for Cat declares fn talk(&self); without a body, which is invalid syntax in Rust.

2. Step 2: Understand default method usage

   Since Talk trait has a default talk method, Cat can omit implementing it or provide a full method body. Declaring without body causes error.

3. Final Answer:

   Missing method body in impl causes compilation error -> Option B

4. Quick Check:

   Impl methods need bodies unless default used [OK]

Hint: Impl methods must have bodies or be omitted [OK]

Common Mistakes:

• Declaring method without body in impl
• Thinking default method forces impl
• Ignoring compiler error messages

5. Given this trait and structs, how can you override the default method only for Cat while Dog uses the default?

trait Animal {
    fn sound(&self) {
        println!("Some sound");
    }
}

struct Dog;
struct Cat;

impl Animal for Dog {}
impl Animal for Cat {
    // What goes here?
}

fn main() {
    let dog = Dog;
    dog.sound();
    let cat = Cat;
    cat.sound();
}

hard

A. fn sound(&self) { println!("Meow"); }

B. fn sound(&self);

C. fn sound() { println!("Meow"); }

D. fn sound(&self) -> String { "Meow".to_string() }

Solution

1. Step 1: Understand overriding default methods

   To override a default method, provide a method with the same signature and a body in the impl block.

2. Step 2: Check options for correct override syntax

   fn sound(&self) { println!("Meow"); } correctly defines fn sound(&self) with a body printing "Meow". fn sound(&self); lacks body, causing error. fn sound() { println!("Meow"); } misses &self parameter. fn sound(&self) -> String { "Meow".to_string() } changes return type, incompatible with trait.

3. Final Answer:

   fn sound(&self) { println!("Meow"); } -> Option A

4. Quick Check:

   Override = same signature + method body [OK]

Hint: Override with same signature and method body [OK]

Common Mistakes:

• Omitting &self parameter
• Declaring method without body
• Changing return type in override