rust - 为什么 AsRef 不能用作参数类型注释但可以用于泛型声明？

Question

playground

use std::path::Path;

// fn f1(p: AsRef<Path>) {
//     println!("{}", p.as_ref().display());
// }

fn f2<P: AsRef<Path>>(p: P) {
    println!("{}", p.as_ref().display());
}

fn main() {
    f2("/tmp/test.jpg");
}

编译器会提示 Path size is not known for f1

Answer 1

AsRef是一种特质，而不是一种类型。您对 f1() 的定义使用它代替类型。此旧语法是 dyn AsRef<Path> 的缩写, 并表示实现特征 AsRef<Path> 的任意类型，在运行时动态调度。实现特征的任意类型的大小在编译时显然是未知的，因此您只能在指针后面使用特征对象，例如&dyn AsRef<Path>或 Box<dyn AsRef<Path>> .编译器不会提示 Path 的大小未知，它提示特征对象的大小未知。

另一方面，通用类型的特征界限，期望特征，而不是类型。 P again 是实现 AsRef<Path> 的任意类型，但是这个任意类型需要在编译时知道，并且编译器发出一个新的编译版本 f2()对于实际使用的每种类型。这样，每个单独类型的大小在编译时都是已知的。