在结构中存储 lambda 返回迭代器
Store lambda returning iterator in the struct
我想在结构中存储 return 迭代器的 lambda。
lambda 是必需的,因为并非所有容器都实现 iter()
函数(例如 String::chars()
),所以我需要一种通用方法从容器中获取迭代器。
use std::marker::PhantomData;
struct Foo<F, V, T> {
foo: F,
ph: PhantomData<V>,
ph2: PhantomData<T>,
}
impl<F, V, T> Foo<F, V, T> where
F: Fn(V) -> dyn Iterator<Item = T> {
}
不幸的是,我收到以下错误:
error[E0277]: the size for values of type `(dyn std::iter::Iterator<Item=T> + 'static)` cannot be known at compilation time
--> main.rs:9:1
|
9 | / impl<F, V, T> Foo<F, V, T> where
10 | | F: Fn(V) -> dyn Iterator<Item = T>
11 | | {
12 | |
13 | | }
| |_^ doesn't have a size known at compile-time
|
= help: the trait `std::marker::Sized` is not implemented for `(dyn std::iter::Iterator<Item=T> + 'static)`
= note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
= note: required by `std::ops::FnOnce`
我希望我明白它的意思,但我不知道如何解决它。
特征对象,如 dyn Iterator<Item = T>
,在 compile-time 中没有已知大小。这样做的一个后果是函数无法返回 "raw" trait 对象——编译器需要提前知道调用函数时要在堆栈上保留多少 space。
为了获得已知大小,请将特征对象包装在引用或智能指针中。例如,Box
:
impl<F, V, T> Foo<F, V, T>
where
F: Fn(V) -> Box<dyn Iterator<Item = T>>,
{
}
我想在结构中存储 return 迭代器的 lambda。
lambda 是必需的,因为并非所有容器都实现 iter()
函数(例如 String::chars()
),所以我需要一种通用方法从容器中获取迭代器。
use std::marker::PhantomData;
struct Foo<F, V, T> {
foo: F,
ph: PhantomData<V>,
ph2: PhantomData<T>,
}
impl<F, V, T> Foo<F, V, T> where
F: Fn(V) -> dyn Iterator<Item = T> {
}
不幸的是,我收到以下错误:
error[E0277]: the size for values of type `(dyn std::iter::Iterator<Item=T> + 'static)` cannot be known at compilation time
--> main.rs:9:1
|
9 | / impl<F, V, T> Foo<F, V, T> where
10 | | F: Fn(V) -> dyn Iterator<Item = T>
11 | | {
12 | |
13 | | }
| |_^ doesn't have a size known at compile-time
|
= help: the trait `std::marker::Sized` is not implemented for `(dyn std::iter::Iterator<Item=T> + 'static)`
= note: to learn more, visit <https://doc.rust-lang.org/book/second-edition/ch19-04-advanced-types.html#dynamically-sized-types-and-the-sized-trait>
= note: required by `std::ops::FnOnce`
我希望我明白它的意思,但我不知道如何解决它。
特征对象,如 dyn Iterator<Item = T>
,在 compile-time 中没有已知大小。这样做的一个后果是函数无法返回 "raw" trait 对象——编译器需要提前知道调用函数时要在堆栈上保留多少 space。
为了获得已知大小,请将特征对象包装在引用或智能指针中。例如,Box
:
impl<F, V, T> Foo<F, V, T>
where
F: Fn(V) -> Box<dyn Iterator<Item = T>>,
{
}