Default method implementations in Rust - Interactive Code Practice

Practice - 5 Tasks

1fill in blank

easy

Complete the code to define a trait with a default method implementation.

Rust

trait Greet {
    fn say_hello(&self) {
        println!("[1]!");
    }
}

Drag options to blanks, or click blank then click option'

A"Hello"

B"Hi"

C"Hey"

D"Greetings"

Attempts:

3 left

💡 Hint

Common Mistakes

Forgetting the quotes around the string.

Using a method signature without a body.

The default method say_hello prints "Hello!" using println!.

2fill in blank

medium

Complete the code to override the default method in the struct implementation.

Rust

struct Person;

impl Greet for Person {
    fn say_hello(&self) {
        println!("[1]!");
    }
}

Drag options to blanks, or click blank then click option'

A"Welcome"

B"Good morning"

C"Hello"

D"Hi there"

Attempts:

3 left

💡 Hint

Common Mistakes

Using the default greeting instead of overriding.

Missing the impl Greet for Person block.

The Person struct overrides the default say_hello method to print "Hi there!".

3fill in blank

hard

Fix the error in the trait method signature to allow a default implementation.

Rust

trait Farewell {
    fn say_goodbye(&self) -> [1] {
        println!("Goodbye!");
    }
}

Drag options to blanks, or click blank then click option'

Abool

Bi32

C()

DString

Attempts:

3 left

💡 Hint

Common Mistakes

Specifying a return type but not returning a value.

Using a non-unit return type without a return statement.

The method returns nothing, so the return type should be () (unit type) to allow a default implementation with println!.

4fill in blank

hard

Fill both blanks to define a trait with a default method that returns a string slice.

Rust

trait Describe {
    fn description(&self) -> [1] {
        [2]
    }
}

Drag options to blanks, or click blank then click option'

A&str

B"No description"

CString

D"Default description"

Attempts:

3 left

💡 Hint

Common Mistakes

Using String instead of &str as return type.

Returning a string literal without quotes.

The method returns a string slice &str and the default return value is "Default description".

5fill in blank

hard

Fill all three blanks to implement a trait with a default method that uses a generic type and returns a formatted string.

Rust

trait Info {
    fn info<T: ToString>(&self, value: T) -> [1] {
        format!("Value: [2]", value[3])
    }
}

Drag options to blanks, or click blank then click option'

AString

B{}

C.to_string()

D&str

Attempts:

3 left

💡 Hint

Common Mistakes

Using &str as return type but returning a formatted string.

Forgetting to convert the generic value to string.

Using incorrect format placeholders.

The method returns a String. The format string uses {} as placeholder, and value.to_string() converts the generic value to a string.

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