Rust 中 trait 对象的动态分发 (Dynamic Dispatch) 和 静态分发 (Static Dispatch) 的区别是什么？

推荐答案

在 Rust 中，静态分发和动态分发是两种不同的方法来实现多态性。静态分发通过泛型和 trait 约束在编译时确定具体调用的方法，而动态分发则通过 trait 对象在运行时确定具体调用的方法。

• 静态分发：在编译时确定具体调用的方法，性能更高，但代码可能会膨胀。
• 动态分发：在运行时确定具体调用的方法，灵活性更高，但会带来一定的运行时开销。

本题详细解读

静态分发 (Static Dispatch)

静态分发是通过泛型和 trait 约束在编译时确定具体调用的方法。Rust 编译器会为每个具体的类型生成相应的代码，因此调用方法时不需要额外的运行时开销。

// www.javascriptcn.com code example
trait Animal {
    fn speak(&self);
}

struct Dog;
impl Animal for Dog {
    fn speak(&self) {
        println!("Woof!");
    }
}

struct Cat;
impl Animal for Cat {
    fn speak(&self) {
        println!("Meow!");
    }
}

fn make_sound<T: Animal>(animal: T) {
    animal.speak();
}

fn main() {
    let dog = Dog;
    let cat = Cat;

    make_sound(dog); // 输出: Woof!
    make_sound(cat); // 输出: Meow!
}

在这个例子中，make_sound 函数是一个泛型函数，编译器会为 Dog 和 Cat 分别生成不同的 make_sound 函数版本。这种方式的优点是性能高，因为方法调用在编译时就已经确定了。

动态分发 (Dynamic Dispatch)

动态分发是通过 trait 对象在运行时确定具体调用的方法。Rust 使用 dyn 关键字来表示 trait 对象，trait 对象实际上是一个包含指向具体类型数据和虚函数表的指针。

// www.javascriptcn.com code example
trait Animal {
    fn speak(&self);
}

struct Dog;
impl Animal for Dog {
    fn speak(&self) {
        println!("Woof!");
    }
}

struct Cat;
impl Animal for Cat {
    fn speak(&self) {
        println!("Meow!");
    }
}

fn make_sound(animal: &dyn Animal) {
    animal.speak();
}

fn main() {
    let dog = Dog;
    let cat = Cat;

    make_sound(&dog); // 输出: Woof!
    make_sound(&cat); // 输出: Meow!
}

在这个例子中，make_sound 函数接受一个 &dyn Animal 类型的参数，这是一个 trait 对象。Rust 在运行时通过虚函数表来确定具体调用哪个类型的 speak 方法。这种方式的优点是灵活性高，可以在运行时决定调用哪个方法，但会带来一定的运行时开销。

总结

• 静态分发：编译时确定方法调用，性能高，代码可能膨胀。
• 动态分发：运行时确定方法调用，灵活性高，有运行时开销。