这个问题的核心在于生命周期绑定的范围变化，导致借用检查器认为你的producer实例被永久可变借用，无法再次调用make方法。让我们一步步拆解原因：

为什么原来的代码可以正常工作？ #

在最初的实现中，MyProducer没有泛型参数，当你为它实现Producer<'a, T>时，生命周期'a是每次调用make方法时被独立推导的：

• 第一次调用make，编译器会推导一个短生命周期'a1，这个生命周期覆盖&self.number的引用，直到MyValue<'a1>被使用完毕（也就是第一个println执行完）。
• 第二次调用make，编译器会推导另一个独立的短生命周期'a2，此时'a1已经结束，producer的可变借用已经释放，所以可以再次借用。

NLL（非 lexical lifetimes）在这里起到了关键作用：它能识别出第一次借用的生命周期在println结束后就结束了，不会延续到整个producer的生命周期。

修改后为什么触发E0499？ #

当你给MyProducer添加了泛型参数'a和PhantomData<&'a T>后，你把结构体实例的生命周期和make方法的借用生命周期绑定到了一起：

• MyProducer<'a, T>中的'a是整个结构体实例的生命周期，一旦你创建了producer: MyProducer<'a, MyValue>，这个'a就固定为producer的生命周期。
• make方法的签名fn make(&'a mut self) -> T意味着：对self的可变借用会持续整个'a周期（也就是producer的整个生命周期）。

所以第一次调用producer.make()后，producer被永久可变借用，直到它被销毁，自然无法再次调用make方法。

解决方案：解绑结构体与生命周期的绑定 #

我们只需要让MyProducer泛型化T，但不要把生命周期'a作为结构体的参数，而是让它在实现Producer trait时被推导。调整后的代码如下：

use std::marker::PhantomData;

/// 内部包含引用的结构体
#[derive(Debug)]
struct MyValue<'a> {
    number: &'a u32,
}

/// 多个类似`MyValue`的结构体实现的通用创建 trait，示例使用`From`
impl<'a> From<&'a u32> for MyValue<'a> {
    fn from(value: &'a u32) -> Self {
        MyValue { number: value }
    }
}

/// 生成持有自身引用对象的 trait，需先销毁前一个对象才能生成新的
trait Producer<'a, T: 'a> {
    fn make(&'a mut self) -> T;
}

// 修改后的MyProducer：只泛型T，不绑定生命周期'a
struct MyProducer<T> {
    number: u32,
    _phantom: PhantomData<T>,
}

impl<T> MyProducer<T> {
    fn new() -> Self {
        Self {
            number: 0,
            _phantom: PhantomData::default(),
        }
    }
}

// 实现Producer时，让'a被每次调用推导
impl<'a, T: 'a + From<&'a u32>> Producer<'a, T> for MyProducer<T> {
    fn make(&'a mut self) -> T {
        self.number += 1;
        T::from(&self.number)
    }
}

fn main() {
    let mut producer = MyProducer::<MyValue>::new();
    println!("made this: {:?}", producer.make());
    println!("made this: {:?}", producer.make());
}

关键调整点： #

1. 结构体不再绑定生命周期'a：MyProducer<T>只需要通过PhantomData<T>标记它关联T类型，不需要把生命周期作为结构体参数。
2. 生命周期'a在impl Producer时推导：每次调用make，编译器都会为这次调用推导一个独立的短生命周期，不会和producer的整个生命周期绑定，NLL就能正确识别出借用的结束时机，允许多次调用。

这样修改后，代码就能恢复原来的功能，两次调用make都能正常编译运行。

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