从标题可以看出,此示例中有很多概念冲突:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=054bd4a02fe6eb72e50b6843ba04449d
我正在尝试做的是:
T
并接受一个简单的i32
参数(页码)Pager
拥有此异步fetch
函数Pager
的stream
fn使用Stream
并增加页码在T
函数返回的fetch
s上生成一个stream::unfold
。 我为此付出的努力令人沮丧。我认为这是因为我只有一个月的时间来学习Rust,解决这个问题需要同时使用泛型,异步/等待,闭包和其他一些概念。我感觉自己接近了,但我承认自己很困。当前的错误与生命周期有关,我无所适从地对其进行了解密:
error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
我有两个问题:main
fn中:创建一个需要封装包装提取函数的Pager)。 感谢您阅读本文并为您提供任何帮助!
最佳答案
编译器正在尝试(某种程度上是 secret 地)告诉您,无法确定在调用Pager
时是否不会删除self.fetch
实例。
确实,由于您断言Stream
应该具有'static
生存期,因此编译器试图确保在此后的任何时间(包括在删除self.fetch
之后(无论何时))都可以安全地调用Pager
。但是一旦删除,self.fetch
(可以找到指向fetch函数的指针的位置)将被释放,并且您尝试释放后使用。
那么,有什么解决方案呢?有两种选择:
Pager
实例的生命周期超过了Stream
的生命周期:fn stream<'a>(&'a self) -> Pin<Box<dyn Stream<Item = T> + 'a>> { ... }
如果采用这种方法,则必须考虑到unfold
的闭包参数会从其环境中捕获&'a self
。默认情况下,它通过借用&'a self
来做到这一点—在闭包内部保留&&'a self
(外部借用用于stream
函数调用的其余部分);再次,这还不够长-您需要借用的期限持续到Stream
的整个生命周期,通过将move
移到闭包中,&'a self
可以为您提供:stream::unfold(0, move |state| ...);
此外,闭包中的async
块还捕获其环境-默认情况下还是借用的,这带来了与闭包相同的问题。因此,您现在需要将move
从闭合处&'a self
到async
块中:async move { ... }
(您已经在执行此操作)。总体而言:
fn stream<'a>(&'a self) -> Pin<Box<dyn Stream<Item = T> + 'a>> {
let stream = stream::unfold(0, move |state| async move {
let yielded = (self.fetch)(state).await;
let next_state = state + 1;
Some((yielded, next_state))
});
Box::pin(stream)
}
在playground上看到它。self.fetch
是函数指针而不是闭包(指针未捕获任何状态),并且unfold
不捕获Pager
的任何其他状态,因此,如果在调用fetch
时unfold
的值在此后一直有效(即使删除了Pager
),您可以简单地将函数指针从self
中复制出来,以便可以将其移至闭包中:fn stream(&self) -> Pin<Box<dyn Stream<Item = T>>> {
let fetch = self.fetch;
let stream = stream::unfold(0, move |state| async move {
let yielded = fetch(state).await;
let next_state = state + 1;
Some((yielded, next_state))
});
Box::pin(stream)
}
(和以前一样,我们仍然需要将此复制的函数指针move
到闭包中,然后再放入async
块中,因为仅仅借用本地fetch
变量将不会持续足够长的时间)。请注意,此方法要求将
F
类型参数限制为'static
生存期:F: Future<Output = T> + 'static,
在playground上看到它。关于rust - 带有产生流的异步fn的此通用结构遇到麻烦,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63332602/