m04-zero-cost

Rust generics use monomorphization to generate specific code for each type, improving runtime speed but increasing binary size and recompilation costs, whereas dynamic dispatch uses vtables for smaller binaries at a slight runtime cost.

Monomorphization in Rust generates distinct code for each concrete type used with generics, which maximizes runtime execution speed but significantly increases compile times and final binary size due to code duplication.

Object safety in Rust determines whether a trait can be used as a trait object for dynamic dispatch, requiring that all methods have compatible signatures to allow valid runtime polymorphism via vtables.

You can use impl Trait in Rust function arguments and return positions to simplify static dispatch generics, but it does not enable dynamic dispatch or heterogenous collections like boxed trait objects do.

Static dispatch in Rust eliminates runtime overhead through compile-time monomorphization, while dynamic dispatch uses trait objects to provide API flexibility across diverse types at the cost of vtable lookup overhead.