rust - AsRef 如何与 str 一起工作？

Question

我想写一个可以直接接受字符串切片的特征:

use std::path::Path;

trait Trait1 {}

impl Trait1 for str {}
// impl<'a> Trait1 for &'a str {}

fn run<T: Trait1>(_: T) {}
fn run1<T: AsRef<Path>>(_: T) {}

fn main() {
    // E0277: the trait bound `&str: Trait1` is not satisfied
    // run::<&str>("sf");
    run1::<&str>("sf");
}

注意

run::<&str>("sf");

除非 Trait1 也为 &str 实现，否则不会编译。然而，AsRef 仍然有效 being implemented仅适用于 str。 AsRef 有什么特别之处吗？

Answer 1

如果您检查 documentation for AsRef ，您会看到它列出了以下实现:

impl<'a, T, U> AsRef<U> for &'a T where T: AsRef<U> + ?Sized, U: ?Sized

即str实现 AsRef<Path>意味着 &str 还实现了AsRef<Path> .