尽管有 `impl Trait` 参数，但仍提供显式类型规范

Question

考虑以下最小示例：

fn foo<T>(arg: T, f: impl FnOnce(i32) -> i32) -> Vec<T> {
   let mut x: Vec<T> = Vec::new();
   x.push(arg);
   println!("{:?}", f(5));
   x   
} 

fn main() {
   println!("{:?}", foo::<u32>(5, |i_arg| { i_arg + 5 }));
}

由于使用了impl Trait ，因此无法编译：

error[E0632]: cannot provide explicit generic arguments when `impl Trait` is used in argument position
  --> src/main.rs:10:28
   |
10 |     println!("{:?}", foo::<u32>(5, |i_arg| { i_arg + 5 }));
   |                            ^^^ explicit generic argument not allowed

error: aborting due to previous error

error: could not compile `generic_functions`.

尽管在另一个参数中使用了impl Trait ，我是否有可能为T指定类型？ 我在一个代码库中工作，我需要调用一个使用impl Trait的通用 function 但我需要指定其他通用类型。

Answer 1

从您的示例中，我不明白您为什么要尝试使用涡轮鱼。 T的类型可以从输入参数arg确定。 无论您作为arg传入什么，编译器都会推断T是什么。 我更新了你的例子来工作：

fn foo<T>(arg: T, f: impl FnOnce(i32) -> i32) -> Vec<T> {
   let mut x: Vec<T> = Vec::new();
   x.push(arg);
   println!("{:?}", f(5));
   x   
} 

fn main() {
   println!("{:?}", foo(5u32, |i_arg| { i_arg + 5 }));
}

操场