Trait objects overview in Rust - Cheat Sheet & Quick Revision

Recall & Review

beginner

What is a trait object in Rust?

A trait object is a way to use traits for dynamic dispatch, allowing you to call methods on types that implement a trait without knowing the exact type at compile time.

beginner

How do you create a trait object in Rust?

You create a trait object by using a reference or a pointer to a type that implements a trait, like &dyn Trait or Box<dyn Trait>.

intermediate

Why use trait objects instead of generics?

Trait objects allow for dynamic dispatch and can store different types that implement the same trait in one variable, while generics use static dispatch and require knowing the type at compile time.

intermediate

What is dynamic dispatch in the context of trait objects?

Dynamic dispatch means the program decides at runtime which method implementation to call based on the actual type behind the trait object.

advanced

Can trait objects be used with traits that have generic methods?

No, trait objects cannot be created from traits with generic methods because the compiler needs to know the exact types to perform dynamic dispatch.

Which syntax correctly creates a trait object for a trait named `Draw`?

A &dyn Draw

B &Draw

C Box<Draw>

D dyn &Draw

The correct syntax for a trait object reference is &dyn Trait, so &dyn Draw is correct.

What does dynamic dispatch mean when using trait objects?

A Choosing method implementation at runtime

B Choosing method implementation at compile time

C Inlining all methods

D Using generics for performance

Dynamic dispatch means the program decides which method to call at runtime based on the actual type.

Why can't trait objects be used with traits that have generic methods?

A Because trait objects only support static dispatch

B Because trait objects only work with structs

C Because generic methods are slower

D Because generic methods require knowing exact types at compile time

Generic methods require the compiler to know exact types, which trait objects cannot provide for dynamic dispatch.

Which of these is a benefit of using trait objects?

A Enable compile-time type checking only

B Store different types implementing the same trait in one variable

C Avoid runtime overhead

D Make code run faster than generics

Trait objects allow storing different types that implement the same trait in one variable using dynamic dispatch.

What is the main difference between trait objects and generics?

A Generics can only be used with primitive types

B Trait objects are faster than generics

C Trait objects use dynamic dispatch; generics use static dispatch

D Trait objects require knowing types at compile time

Trait objects use dynamic dispatch to decide method calls at runtime, while generics use static dispatch at compile time.

Explain what a trait object is and how it enables dynamic dispatch in Rust.

Think about how Rust calls methods when the exact type is not known at compile time.

Describe the main differences between using trait objects and generics in Rust.

Consider when you want flexibility versus performance.