如何约束关联类型的生命周期？（非GAT场景）

我遇到的问题和Stack Overflow上的《How do I specify an associated type with a lifetime parameter?》类似，但场景有所不同：我知道用泛型关联类型（GATs）可以实现带生命周期参数的关联类型，比如这样的代码是可行的：

trait Displayable {
    type SomeState<'a>;

    fn show(&self, data: &mut Self::SomeState<'_>) -> String;
}

struct ThirdPartyState<'a> {
    title: &'a str,
}

struct MyMutableState<'a> {
    third: ThirdPartyState<'a>,
    buffer: Vec<u8>,
}

struct ArticleView;

impl Displayable for ArticleView {
    type SomeState<'a> = MyMutableState<'a>;

    fn show(&self, data: &mut MyMutableState<'_>) -> String {
        format!("👋 {}, {}", data.third.title, data.buffer.len())
    }
}

但现在Displayable trait和ThirdPartyState<'a>都是第三方提供的，它们的定义是这样的：

trait Displayable {
    type SomeState;

    fn show(&self, data: &mut Self::SomeState) -> String;
}

我尝试实现这个Trait时遇到了生命周期未约束的错误，我的代码如下：

struct ThirdPartyState<'a> {
    title: &'a str,
}

struct MyMutableState<'a> {
    third: ThirdPartyState<'a>,
    buffer: Vec<u8>,
}

struct ArticleView;

impl<'a> Displayable for ArticleView {
    type SomeState = MyMutableState<'a>;

    fn show(&self, data: &mut MyMutableState<'_>) -> String {
        format!("👋 {}, {}", data.third.title, data.buffer.len())
    }
}

错误信息为：

error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
  --> src/main.rs:19:6
   |
19 | impl<'a> Displayable for ArticleView {
   |      ^^ unconstrained lifetime parameter

问题原因 #

第三方提供的Displayable trait使用的是非泛型关联类型，这意味着每个实现该trait的类型只能对应一个具体的SomeState类型，而不是一族带不同生命周期的类型。你在impl上声明的生命周期'a没有被任何条件约束——ArticleView本身没有生命周期参数，也没有其他限定条件来告诉编译器这个'a应该对应哪个生命周期，因此报错。

可行的解决方案 #

根据你的场景，有几种解决思路：

1. 调整类型结构，移除生命周期依赖
   如果可以修改MyMutableState，把依赖生命周期的引用类型换成拥有所有权的类型（比如将ThirdPartyState<'a>的&'a str改成String），这样MyMutableState就不需要生命周期参数，可以直接作为SomeState：

// 假设可以修改ThirdPartyState的定义
struct ThirdPartyState {
    title: String,
}

struct MyMutableState {
    third: ThirdPartyState,
    buffer: Vec<u8>,
}

impl Displayable for ArticleView {
    type SomeState = MyMutableState;

    fn show(&self, data: &mut MyMutableState) -> String {
        format!("👋 {}, {}", data.third.title, data.buffer.len())
    }
}

2. 限制生命周期为'static
   如果你的场景中ThirdPartyState的title可以是静态生命周期的字符串（比如字面量），可以直接将SomeState指定为MyMutableState<'static>：

impl Displayable for ArticleView {
    type SomeState = MyMutableState<'static>;

    fn show(&self, data: &mut MyMutableState<'static>) -> String {
        format!("👋 {}, {}", data.third.title, data.buffer.len())
    }
}

3. 给实现类型添加生命周期参数
   如果允许修改ArticleView，可以给它添加生命周期参数，用来约束SomeState的生命周期：

struct ArticleView<'a>;

impl<'a> Displayable for ArticleView<'a> {
    type SomeState = MyMutableState<'a>;

    fn show(&self, data: &mut MyMutableState<'a>) -> String {
        format!("👋 {}, {}", data.third.title, data.buffer.len())
    }
}

总结 #

第三方Trait的非GAT设计本身不支持关联类型带任意生命周期参数，因为它要求每个实现对应单一具体类型。你需要根据实际场景选择合适的方案：要么调整类型移除生命周期依赖，要么限制生命周期范围，要么给实现类型添加生命周期参数来关联约束。

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