我正在定义一个接受 i: &I
的特征范围。我想用这个 i
for
中的值循环。
例如:
struct Test;
trait Bar<I> {
fn bar(&self, i: &I);
}
impl<T, I: IntoIterator<Item=T>> Bar<I> for Test {
fn bar(&self, i: &I) {
for x in i {
println!("woo!");
}
}
}
fn main() {
let vec = vec!(1, 2, 3);
let test = Test;
test.bar(&vec);
}
这会导致错误:
<anon>:10:9: 12:10 error: the trait `core::iter::Iterator` is not implemented for the type `&I` [E0277] <anon>:10 for x in i { <anon>:11 println!("woo!"); <anon>:12 } <anon>:10:9: 12:10 help: see the detailed explanation for E0277 <anon>:10:9: 12:10 note: `&I` is not an iterator; maybe try calling `.iter()` or a similar method <anon>:10:9: 12:10 note: required by `core::iter::IntoIterator::into_iter` error: aborting due to previous error playpen: application terminated with error code 101
我正在尝试使用 Deref
trait 想看看我是否可以得到一些东西,但无济于事。
我真的很想在函数定义中保留不可变引用,因为这个特征试图在许多类型上通用,并使用 Bar<&'a I>
定义其他实现。导致了其他一些与我的生活相关的问题,我也一直遇到这些问题。
最佳答案
说 I
是一个 IntoIterator
没有说任何关于 &I
的事情,例如x..y
是一个 IntoIterator
(因为它是一个 Iterator
而它们都是),但是 &(x..y)
不是。
你特别想绑定(bind)&I
, 幸运的是可以通过 where
来完成子句,例如
impl<I, T> Bar<I> for Test
where for<'a> &'a I: IntoIterator<Item = T>
{
fn bar(&self, i: &I) {
for x in i {
println!("woo!");
}
}
}
for<'a>
只是意味着“一生'a
”,所以where
条款是说 &I
始终是 IntoIterator
(只写 where &I: IntoIterator
是不够的)。
关于 T
有一些选择要做那里的参数,例如
-
IntoIterator<Item = T>
-
IntoIterator<Item = &'a T>
- 完全删除参数,只写
IntoIterator
最佳选择取决于您使用它做什么。对于问题中的具体示例,我会选择 3,因为 Item
类型根本不重要。数字 2 是有道理的,因为几乎所有类型都有 &T
实现 IntoIterator
将产生引用(它似乎也避免了编译器目前在推理生命周期内的通用量化方面遇到的大多数错误/一般困难,这达到了 1 和 3)。
关于rust - 使用 IntoIterator 特性编写通用特性实现,但仅适用于不可变引用实现者,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34806203/