面试题：Rust中特征对象与静态调度的区别

特征对象（Trait Object）实现动态调度

动态调度原理：
- 在Rust中，特征对象是一种胖指针（fat pointer），它由两部分组成：指向数据的指针和指向虚表（vtable）的指针。
- 当我们使用特征对象时，编译器会在运行时根据对象的实际类型，通过虚表来查找并调用相应的方法。例如，假设有一个Animal特征和Dog、Cat结构体都实现了Animal特征。我们可以创建Box<dyn Animal>这样的特征对象。当调用特征对象的方法（如speak）时，运行时会根据Box中实际存储的是Dog还是Cat，从虚表中找到对应的speak方法实现并执行。
代码示例：

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 main() {
    let animals: Vec<Box<dyn Animal>> = vec![Box::new(Dog), Box::new(Cat)];
    for animal in animals {
        animal.speak();
    }
}

在上述代码中，Vec<Box<dyn Animal>>中的每个元素都是特征对象，animal.speak()调用会在运行时根据实际类型进行动态调度。

静态调度

静态调度原理：
- 静态调度是在编译时就确定调用哪个方法。Rust中的泛型使用的就是静态调度。当编译器遇到泛型代码时，它会为每个具体类型生成一份方法实例。例如，有一个泛型函数print_type<T>(t: T)，如果分别使用i32和String调用这个函数，编译器会为i32和String分别生成不同版本的print_type函数。
代码示例：

fn print_type<T>(t: T) {
    println!("Type: {:?}", t);
}

fn main() {
    print_type(10);
    print_type("Hello".to_string());
}

这里编译器会在编译时为i32和String分别生成print_type函数的实例。

应用场景及优缺点对比

动态调度（特征对象）：
- 应用场景：适用于需要处理多种不同类型但具有相同行为（通过特征定义）的对象，且在编译时无法确定具体类型的情况。比如，实现一个图形绘制库，其中有多种形状（圆形、矩形等），每个形状都实现了Draw特征，在运行时根据用户输入决定绘制哪种形状。
- 优点：具有灵活性，能够在运行时根据实际对象类型选择合适的方法实现，支持多态。
- 缺点：由于需要在运行时通过虚表查找方法，会带来一定的性能开销，而且特征对象要求类型必须是Sized，对于一些动态大小类型（unsized types）需要额外处理。同时，代码生成的二进制文件可能会更大，因为虚表需要额外的空间。
静态调度（泛型）：
- 应用场景：适用于在编译时就能确定类型的情况，尤其是性能敏感的代码。例如，实现一个通用的数学计算库，泛型函数可以针对不同的数值类型进行高效计算，编译器可以针对具体类型进行优化。
- 优点：性能高，编译器可以针对具体类型进行优化，生成高效的机器码。代码也更简洁，因为不需要额外的虚表查找机制。
- 缺点：缺乏灵活性，编译时就需要确定类型，不能在运行时动态改变类型。并且泛型代码会导致代码膨胀，因为编译器会为每个具体类型生成一份实例。

星途面试题库

面试题：Rust中特征对象与静态调度的区别

知识考点

面试题答案

特征对象（Trait Object）实现动态调度

静态调度

应用场景及优缺点对比