我正在尝试编写一个处理整数序列的函数。
fn process_one(n: u32) {}
fn process<II>(ii: II)
where
II: IntoIterator<Item = u32>,
{
for n in ii {
process_one(n);
}
}
我希望客户能够通过Vec<u32>
不消耗它(process(&v)
)。无法使用此功能,因为<&Vec<u32> as IntoIterator>::Item
is &u32
;我必须通过v.iter().cloned()
相反,这很烦人。
或者,我可以进行绑定Item = &u32
并使用process_one(*n)
,但后来我遇到了相反的问题。
我试图想出一种通用的方法来写这个,但我不知道如何写。据我所知,没有一个AsRef
, Borrow
, ToOwned
, or Deref
work.
我需要的是一种写法:
fn process<II>(ii: II)
where
II: IntoIterator<Item = MAGIC>, /* MORE MAGIC */
{
for n in ii {
process_one(MAGIC(n));
}
}
这样所有这些都可以编译:
fn test() {
let v: Vec<u32> = vec![1, 2, 3, 4];
process(&v);
process(v);
process(1..10);
}
我知道我可以使用自定义特征来做到这一点,但我觉得应该有一种没有所有样板的方法。