我以为我变聪明了，但编译器又教了我一次...
错误[E0521]:borrow 的数据在方法之外转义
pub struct Bugger<S> {
pub items: S,
}
impl<S> Bugger<S>
where
&'static S: IntoIterator + 'static,
<&'static S as IntoIterator>::Item: AsRef<u8>,
{
fn do_something_with_items(&self) -> impl Iterator<Item = u8> {
(&self.items).into_iter().map(|b| *b.as_ref())
}
}
我想接受一个泛型成员，在它的引用上实现IntoIterator，然后在另一个方法中使用它，实际上是一个特征Iml，但即使这样也失败了.
编译失败的主要原因是因为你取了&self(它在任何生存期都必须有效)，但是实现块上的绑定要求为IntoIterator来实现一个生存期为'static的引用.因此，在方法中使用此边界的方式要求&self引用也是'static，但您没有指出这一点. 您可以通过让方法取&'static self来修复这个特定的示例.
然而，无论如何，这可能不是您想要的.最有可能的是，你希望自己的生命周期 短于'static岁.你可以用higher-rank trait bound(HRTB)来描述这一点.
您还需要在返回类型中指示返回的迭代器从selfborrow ，这可以通过将匿名生存期'_添加到界限来实现.
pub struct Bugger<S> {
pub items: S,
}
impl<S> Bugger<S>
where
for<'a> &'a S: IntoIterator,
for<'a> <&'a S as IntoIterator>::Item: AsRef<u8>,
{
fn do_something_with_items(&self) -> impl Iterator<Item = u8> + '_ {
(&self.items).into_iter().map(|b| *b.as_ref())
}
}
请注意，匿名生命周期只是语法上的糖:
fn do_something_with_items<'a>(&'a self) -> impl Iterator<Item = u8> + 'a