面试题：Rust特质对象的生命周期与类型擦除

特质对象的类型擦除

发生过程：在Rust中，特质对象使用 &dyn Trait 或 Box<dyn Trait> 的形式。当我们创建一个特质对象时，编译器会执行类型擦除。这意味着具体类型的信息在编译时被“擦除”，只保留满足特质所需的方法表和对象的指针。例如，假设有多个结构体都实现了同一个特质 Trait，当我们把这些结构体的实例放进 Box<dyn Trait> 中，编译器不再关心它们具体是哪个结构体，只确保它们实现了 Trait 中定义的方法。这种擦除使得我们可以以统一的方式处理不同类型但实现了相同特质的对象。
对生命周期的影响：特质对象的生命周期遵循Rust的借用规则。由于类型擦除，特质对象需要明确声明其生命周期。对于 &dyn Trait，生命周期参数直接从引用中获取；对于 Box<dyn Trait>，Box拥有对象的所有权，其生命周期与Box本身相同。这意味着特质对象的生命周期需要正确管理，以避免悬空引用等问题。

编译错误示例

trait Animal {
    fn speak(&self);
}

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

fn get_animal() -> &dyn Animal {
    let dog = Dog;
    &dog
}

在上述代码中，get_animal 函数返回一个 &dyn Animal，但 dog 是一个局部变量，函数结束时 dog 会被销毁，导致返回的引用成为悬空引用，编译会报错：

error[E0106]: missing lifetime specifier
 --> src/main.rs:10:23
  |
10| fn get_animal() -> &dyn Animal {
  |                       ^ expected named lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `self` or another parameter
help: consider introducing a named lifetime parameter
  |
10| fn get_animal<'a>() -> &'a dyn Animal {
  |          ++++    ++++

修正方法

使用 Box<dyn Trait>：

trait Animal {
    fn speak(&self);
}

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

fn get_animal() -> Box<dyn Animal> {
    Box::new(Dog)
}

这里返回 Box<dyn Animal>，Box拥有 Dog 的所有权，避免了悬空引用的问题。 2. 正确声明生命周期：

trait Animal {
    fn speak(&self);
}

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

fn get_animal<'a>(dog: &'a Dog) -> &'a dyn Animal {
    dog
}

这里通过声明生命周期参数 'a，明确了返回的 &dyn Animal 的生命周期与传入的 &Dog 的生命周期相同，解决了生命周期问题。

星途面试题库

面试题：Rust特质对象的生命周期与类型擦除

知识考点

面试题答案

特质对象的类型擦除

编译错误示例

修正方法