rust - 如何在泛型中指定迭代器类型？

Question

本题基于this code from the url crate .

extend方法接收元组上的迭代器，其对象可以借用为 &str。 .

fn extend<I, K, V>(iter: I)
where
    I: IntoIterator,
    I::Item: Borrow<(K, V)>,
    K: AsRef<str>,
    V: AsRef<str>
{
    {
        for key in iter {
            let (ref k, ref v) = key.borrow();
            append(k.as_ref(), v.as_ref());
        }
    }
}

Full example .

我想要 extend处理 (&str, Option<&str>) 上迭代器的方法元组。我尝试了不同的变体，例如:

fn extend<I, K, V>(iter: I)
where
    I: IntoIterator,
    I::Item: Borrow<(K, Option<V>)>,
    K: AsRef<str>,
    V: AsRef<str>

但我不明白它是如何工作的。

我如何向编译器解释我想要什么？

Answer 1

元组中不需要引用:

Playground

fn extend<I, K, V>(iter: I)
where
    I: IntoIterator,
    I::Item: Borrow<(K, V)>,
    K: AsRef<str>,
    V: AsRef<str>,
{
    for key in iter {
        let (k, v) = key.borrow();
        append(k.as_ref(), v.as_ref());
    }
}

fn extend2<I, K, V>(iter: I)
where
    I: IntoIterator<Item = (K, Option<V>)>,
    K: AsRef<str>,
    V: AsRef<str>,
{
    for (k, v) in iter {
        append3(k, v);
    }
}