解析 Rust struct 中的生命周期：处理 trait object

阿麦

发布时间：2026-10-16| 5人浏览过

原创

在 Rust struct 中引用 trait object 时，若未明确指定生命周期，编译器会报出 E0106 错误。本文将通过一个具体的代码示例，演示如何正确为 struct 及其关联方法添加生命周期参数，以确保引用有效并避免悬垂指针问题。

问题背景

在开发 Redis 数据校验工具时，可能需要定义包含 trait object 的 struct 来抽象校验过程。例如，我们需要一个结构体能够持有两个实现了 Base trait 的对象引用，并将它们的输出进行拼接。在直觉上，这似乎不需要复杂的类型声明，但在 Rust 中，这涉及到了生命周期的管理。

构建基础 Trait 与实现

首先，定义一个基础的 trait Base，它包含一个返回 String 的方法。

pub trait Base {
    fn say(&self) -> String;
}

接着，创建两个实现了该 trait 的结构体：AFromBase 和 BFromBase。

pub struct AFromBase {
    content: String,
}

impl Base for AFromBase {
    fn say(&self) -> String {
        self.content.clone()
    }
}

pub struct BFromBase {
    text: String,
}

impl Base for BFromBase {
    fn say(&self) -> String {
        self.text.clone()
    }
}

出现编译错误的尝试

接下来，尝试定义一个名为 AddTowBase 的 struct，其中包含两个指向 dyn Base 的可变引用。如果按照其他静态类型语言的直觉写法，不指定生命周期：

pub struct AddTowBase {
    a: &mut dyn Base,
    b: &mut dyn Base,
}

impl AddTowBase {
    fn add(&self) -> String {
        let result = self.a.say() + &self.b.say();
        result
    }
}

配合以下 main 函数进行测试：

fn main() {
    let mut a = AFromBase {
        content: "baseA".to_string(),
    };

    let mut b = BFromBase {
        text: "baseB".to_string(),
    };

    let addtow = AddTowBase {
        a: &mut a,
        b: &mut b,
    };
    let r = addtow.add();
    println!("{}", r);
}

这段代码无法通过编译，编译器会抛出如下错误：

error[E0106]: missing lifetime specifier
  --> examples/lifetimeinstruct.rs:26:8
   |
26 |     a: &mut dyn Base,
   |        ^ expected named lifetime parameter
   ...
For more information about this error, try `rustc --explain E0106`.

解决方案：添加生命周期参数

错误信息明确指出缺少生命周期说明符。Rust 编译器需要知道引用的有效期，以防止悬垂指针。我们需要在 struct 定义处引入泛型生命周期参数，并将其应用到引用字段上。

第一步：修改 Struct 定义

目的：告知编译器该结构体中的引用与某个特定生命周期相关联。
操作：在 struct 名称后添加 <'a>，并在字段类型中明确使用 &'a。
```
pub struct AddTowBase<'a> {
    a: &'a mut dyn Base,
    b: &'a mut dyn Base,
}
```
第二步：更新 Impl 块签名

目的：使 impl 块也绑定到相应的生命周期。
操作：将 impl AddTowBase 修改为 impl<'a> AddTowBase<'a>。此外，由于我们希望在 add 方法中消耗 self（或者根据具体需求选择借用），这里展示一种常见的修正方式，即调整方法签名以匹配生命周期约束。注意，原代码逻辑中 self.a 和 self.b 是引用，若采用值语义或重新审视所有权可能更简洁，但仅针对生命周期报错，关键在于签名的一致性。
```
impl<'a> AddTowBase<'a> {
    fn add(self) -> String {
        let result = self.a.say() + &self.b.say();
        result
    }
}
```
注：上述代码中 fn add(self) 表示该方法获取了结构体的所有权。如果希望保持借用语义，需确保 add(&self) 中的生命周期推导也能被正确识别，通常对于这种简单场景，显式标注 struct 的生命周期即可解决 E0106 问题。