domains / families / software-engineering / m04-zero-cost

m04-zero-cost

separate

CRITICAL: Use for generics, traits, zero-cost abstraction. Triggers: E0277, E0308, E0599, generic, trait, impl, dyn, where, monomorphization, static dispatch, dynamic dispatch, impl Trait, trait bound not satisfied, 泛型, 特征, 零成本抽象, 单态化

When to use

• generics
• traits
• zero-cost abstraction
• monomorphization
• static dispatch
• dynamic dispatch
• impl Trait
• trait bound not satisfied

When not to use

• type-driven design
• domain abstraction
• performance concerns
• Send/Sync bounds

Skill page

Source