vector - 如何为向量的迭代器元素添加 Into 的类型注释？

Question

我有一个向量，其值是特征定义的，我想在此向量上使用 Iterator 特征提供的方法。

这是我的用例的简化代码:

案例A

fn beta<T: Into<i32>>(s: Vec<T>) {
    for x in s {
        println!("{:?}", x.into());
    }
}

案例B

fn beta2<U: Into<i32>>(s: Vec<U>) {
    for x in s.iter() {
        println!("{:?}", x.into());
    } 
}

案例 A 是有效的，可以按预期编译和运行。 情况 B 但是会引发编译时错误:

error[E0282]: type annotations needed
  --> src/main.rs:11:26
   |
11 |         println!("{:?}", x.into());
   |                          ^^^^^^^^ cannot infer type for `T`

在这种情况下，我应该在哪里放置我的类型注释以及预期的类型注释是什么？

playground

Answer 1

一种可能是通知beta2那&U (相对于 U )实现 Into<i32> :

fn beta2<U>(s: Vec<U>)
where
    for<'a> &'a U: Into<i32>,
{
    for x in s.iter() {
        println!("{:?}", x.into());
    }
}

请注意 Into接受 self而不是 &self ，即它消耗了它的论点。因此，您必须找到一些方法来转换借来的 x。进入拥有的值(value):

fn beta2<U, U2>(s: Vec<U>)
where
    U: std::borrow::ToOwned<Owned = U2>,
    U2: Into<i32> + std::borrow::Borrow<U>,
{
    for x in s.iter() {
        println!("{:?}", x.to_owned().into());
    }
}