如何写一个特征绑定添加两个泛型类型的引用？

将'a生命周期放在impl意味着方法的调用者确定生命周期应该是什么的意义上.由于引用是在方法内部进行的,因此调用者甚至无法看到生命周期是什么.

相反,您希望限制任意生命周期的引用实现特征.这被称为更高级别的特质界限(HRTB):

use std::ops::Add;

fn add_things(a: T, b: T)
where
    for<'a> &'a T: Add,
{
    let a_ref = &a;
    let b_ref = &b;

    a_ref + b_ref;
}

应用回原始代码,您非常接近:

impl Iterator for Fibonacci
where
    T: Clone,
    for<'a> &'a T: Add
,
{
    type Item = T;

    fn next(&mut self) -> Option {
        mem::swap(&mut self.next, &mut self.curr);
        self.next = &self.next + &self.curr;
        Some(self.curr.clone())
    }
}

也可以看看:

当其中一个是本地引用时,如何为类型约束中的引用写入生命周期？

<>语法与常规生命周期绑定有何不同？

如何在泛型函数中要求泛型类型实现Add,Sub,Mul或Div等操作？