如何在Rust中指定单个类型参数并让编译器推断其余参数？

我遇到如下场景：

fn some_fn<K, T, F, S>(func: F, other_func: S) -> Vec<i64>
where
    K: SomeType<T>,
    T: SomeOtherType,
    F: Fn() -> (),
    S: Fn() -> (),
{
    //...
}

在上述示例中，Rust可以正确推断T、F、S类型，但无法推断K类型（符合预期）。请问是否可以在调用some_fn时仅指定K的类型，而无需同时指定T、F、S的类型？

我当前的临时解决方案是修改函数签名：

fn some_fn<K, T, F, S>(cheat: Option<K>, func: F, other_func: S)

调用方式如下：

let cheat: Option<SomethingThatImplements> = None;
let result = some_fn(cheat, func, other_func);

但这种方式非常繁琐，想知道是否有更简洁的方法实现仅指定部分类型参数？

可以使用Rust的turbofish语法（<>操作符）来仅指定需要显式声明的类型参数，其余参数用_占位，让编译器自动推断。

针对你的场景，调用时只需这样写：

let result = some_fn::<TargetKType, _, _, _>(func, other_func);

其中TargetKType是你需要指定的K的具体类型，后面的_分别对应T、F、S，编译器会根据上下文自动推断这些类型的具体值，无需额外传递占位参数。

这种写法完全替代了你的临时方案，不需要修改原函数签名，也不用额外创建Option<K>类型的变量，代码更简洁直观。

内容的提问来源于stack exchange，提问作者xNaXDy