我正在尝试编写一个处理整数序列的函数。

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&u32 ;我必须通过 v.iter().cloned() 代替,这很烦人。
或者,我可以绑定(bind) Item = &u32 并使用 process_one(*n) ,但是我遇到了相反的问题。
我试图想一种方法来一般地写这个,但我不知道如何。据我所知, AsRefBorrowToOwnedDeref 都不起作用。
我需要的是一种写这个的方法:
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);
}
我知道我可以使用自定义特征来做到这一点,但我觉得应该有一种没有所有样板的方法。

最佳答案

Borrow 作品:

use std::borrow::Borrow;

fn main() {
    let x = vec![1, 2, 3];
    process(x.iter());
    process(x);
    process(1..3);
}

fn process_one(n: u32) {
    println!("{}", n)
}

fn process<I>(iter: I)
where
    I: IntoIterator,
    I::Item: Borrow<u32>,
{
    for x in iter {
        process_one(*x.borrow());
    }
}

关于generics - 如何使用 `u32` 或 `&u32` 的任何迭代器编写通用函数?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/48317761/

10-11 21:35