Rust中何时应将Trait作为类型使用？

近期开始学习Rust，在观看Trait相关视频时了解到，Trait在动态分派时可作为有效类型。但该模式存在两项开销：一是必须采用堆分配而非栈分配；二是初始化成本较高。我编写了示例代码如下，尝试查找该模式的适用场景却毫无收获，仅知晓其可行但存在性能损耗，因此想请教何时适合使用该模式。

struct Animal;

trait Roars {
    fn roar(&self);
}

//implement trait roar
impl Roars for Animal {
    fn roar(&self) {
        println!("roarrrrrr")
    }
}

//implement a method rawr
impl Animal {
    fn rawr(&self) {
        println!("rawrrrrrrrrr")
    }
}

fn main() {
    let lion: Box<dyn Roars> = Box::new(Animal);
    let cheeta: Animal = Animal;
    lion.roar();
    cheeta.rawr()
}

>>>roarrrrrr
>>>rawrrrrrrrrr

• 统一处理多类型实例时：如果有多个实现了同一Trait的结构体（比如Lion、Tiger），需要将它们放入同一个集合（如Vec<Box<dyn Roars>>）并统一调用Trait方法，动态分派是最简洁的方案。若用静态分派，要么写冗余的枚举分支，要么维护多个独立集合，代码复杂度会飙升。
• 跨模块的抽象交互：编写库时，若需要用户提供自定义类型实现你的Trait，但库本身无需知晓具体类型细节，就可以用Trait对象。比如日志库允许用户自定义输出器，只要实现Logger Trait，库内部用Box<dyn Logger>处理即可，无需绑定到具体实现。
• 运行时确定类型的场景：当类型只能在运行时决定（比如从配置文件、网络数据或用户输入中判断），编译期无法知晓具体类型，动态分派的Trait对象是唯一可行的选择。
• 代码复杂度优先于性能的场景：静态分派（泛型）会带来代码膨胀（单态化），或让函数签名因泛型约束变得过于复杂。此时若性能损耗在可接受范围内，用动态分派能大幅简化代码结构——比如工具类、业务逻辑层这类对性能要求不极致的场景，代码简洁性优先级更高。

内容的提问来源于stack exchange，提问作者Dubstepaztec 35