Rust中使用Into<PathBuf>泛型时如何省略显式类型参数？

这个问题本质上是Rust泛型类型参数推导规则导致的——你的create_animal函数有两个泛型参数A（实现Animal的类型）和P（可以转换为PathBuf的类型），当使用turbofish（<>语法）显式指定类型时，Rust要求你按顺序指定所有前面的参数，除非你使用占位符。不过我们有几种更优雅的解决方式：

方法1：通过变量类型注解让编译器自动推导（推荐） #

这是最符合Rust风格的写法，完全不需要手动指定任何类型参数：

let dog: Dog = create_animal("Spike");

编译器会根据变量dog的类型注解Dog，自动推导出A的类型；同时从传入的字符串字面量"Spike"推导出P是&str，完美匹配Into<PathBuf>的约束。

方法2：使用类型参数占位符（Rust 1.59+） #

如果你坚持想用turbofish显式指定A的类型，可以用_作为占位符让编译器自动推导P：

let dog = create_animal::<Dog, _>("Spike");

这里的_告诉Rust：A我指定为Dog，P你自己从输入参数里推导就行。

为什么最初的写法会报错？ #

你第一次尝试的create_animal::<Dog>("Spike")会报错，是因为Rust的turbofish规则要求：如果你显式指定部分类型参数，必须按顺序指定所有前面的参数。这里函数的泛型参数顺序是<A, P>，你只指定了第一个A，但第二个P没有给出，编译器无法判断你是省略还是遗漏，因此抛出“类型参数数量错误”的提示。

而你之前写的create_animal::<Dog, &str>("Spike")能运行，是因为你完整指定了两个类型参数，编译器不需要做任何推导。

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