如何为自定义Range<T>的IntoIterator实现使用动态生命周期？

我为自定义Range<T>实现了IntoIterator trait，原本限定T为'static生命周期，代码可正常运行。现在想重构为使用动态生命周期，但尝试时始终遇到“unconstrained lifetime parameter”错误，请问此处能否使用动态生命周期？

可运行的原代码 #

impl<T> IntoIterator for Range<T>
where
    T: Display + PartialOrd + 'static,
    RangeInclusive<T>: Iterator<Item = T> + DoubleEndedIterator,
    Rev<RangeInclusive<T>>: Iterator<Item = T>,
{
    type Item = T;
    type IntoIter = Box<dyn Iterator<Item = T>>;

    fn into_iter(self) -> Self::IntoIter {
        if self.start > self.end {
            Box::new((self.start..=self.end).rev())
        } else {
            Box::new(self.start..=self.end)
        }
    }
}

重构后报错的代码 #

impl<'a, T> IntoIterator for Range<T>
where
    T: Display + PartialOrd + 'a,
    RangeInclusive<T>: Iterator<Item = T> + DoubleEndedIterator,
    Rev<RangeInclusive<T>>: Iterator<Item = T>,
{
    type Item = T;
    type IntoIter = Box<dyn Iterator<Item = T> + 'a>;

    fn into_iter(self) -> Self::IntoIter {
        if self.start > self.end {
            Box::new((self.start..=self.end).rev())
        } else {
            Box::new(self.start..=self.end)
        }
    }
}

自定义Range<T>类型定义 #

#[derive(Clone, Copy, Debug, PartialEq)]
pub struct Range<T>
where
    T: Display + PartialEq,
{
    start: T,
    end: T,
}

impl<T> Range<T>
where
    T: Display + PartialEq,
{
    pub fn new(start: T, end: T) -> Self {
        Self { start, end }
    }
}

错误信息 #

error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
  --> src/lib.rs:56:6
   |
56 | impl<'a, T> IntoIterator for Range<T>
   |      ^^ unconstrained lifetime parameter

错误原因 #

报错核心是：你在impl块中声明的生命周期'a没有任何约束——Range<T>本身不带生命周期参数，IntoIterator trait也没有关联生命周期，where从句里的T: 'a无法将'a和当前实现的类型/trait绑定，编译器不知道'a该从哪里推导，因此报错。

是否可以使用动态生命周期？ #

可以，但不需要手动声明'a。正确做法是利用T的生命周期自动约束trait对象，因为into_iter是消费self的方法，迭代器中的T的生命周期完全由self中的T决定。

正确的重构代码 #

impl<T> IntoIterator for Range<T>
where
    T: Display + PartialOrd,
    RangeInclusive<T>: Iterator<Item = T> + DoubleEndedIterator,
    Rev<RangeInclusive<T>>: Iterator<Item = T>,
{
    type Item = T;
    // 用匿名生命周期让编译器自动推导，绑定到self中T的生命周期
    type IntoIter = Box<dyn Iterator<Item = T> + '_>;

    fn into_iter(self) -> Self::IntoIter {
        if self.start > self.end {
            Box::new((self.start..=self.end).rev())
        } else {
            Box::new(self.start..=self.end)
        }
    }
}

关键说明 #

• 使用'_（匿名生命周期）替代手动声明的'a，编译器会自动将其绑定到self中T的生命周期。
• 移除了T: 'static的约束，既实现了动态生命周期的需求，又符合编译器的生命周期推导规则。
• 因为Range<T>是Copy类型，self.start和self.end会被复制到RangeInclusive中，迭代器的生命周期和原Range实例无关，但T本身的生命周期会被正确传递到trait对象上。

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