rust - “As lifts over &” AsRef的隐含含义是什么？

Question

在调试(逐步使用)此Rust代码时:

use std::fs;

fn main() {
    fs::create_dir("my_dir").unwrap();
}

我觉得我很难理解:

// rustup\toolchains\stable-x86_64-pc-windows-gnu\lib\rustlib\src\rust\library\core\src\convert\mod.rs

// As lifts over &
#[stable(feature = "rust1", since = "1.0.0")]
impl<T: ?Sized, U: ?Sized> AsRef<U> for &T
where
    T: AsRef<U>,
{
    fn as_ref(&self) -> &U {
        <T as AsRef<U>>::as_ref(*self)
    }
}

然后调用:

#[stable(feature = "rust1", since = "1.0.0")]
impl AsRef<Path> for str {
    #[inline]
    fn as_ref(&self) -> &Path {
        Path::new(self)
    }
}

“抬起＆”的含义是什么意思？为什么需要它？
这段代码:

<T as AsRef<U>>

我以前从未见过这种语法。这是什么意思？
似乎在日常的Rust代码后面有很多类似的隐式转换，这些转换是由Rust编译器完成的。除了调试，还有其他方法可以学习吗？

Answer 1

我认为As lifts over &只是意味着如果T可以作为对U的引用，那么&T也可以，因为为什么不这样做呢？
它还提供了一些便利，例如如果您碰巧具有类型&&&&&&T的值，则不需要(******t).as_ref()，而只是t.as_ref()，因为通过使用这种实现，as_ref会遍历所有级别的引用，直至T对象本身，并将其作为对U的引用。
你怎么学呢？好吧，Rust最受欢迎的前三本教科书以某种方式提供了此信息(不一定明确地向您解释这种特殊情况，而是为您提供了足够的知识来隐式地理解它们。因此，我建议您阅读一本(并仔细阅读)。
关于<T as AsRef<U>>，它肯定在书中进行了介绍。需要disambiguate calls to functions。例如，如果某个类型实现了两个不同的特征，但是两个特征都具有相同的as_ref方法，则您需要完全限定要调用哪个特征的功能，为此，您将<T as AsRef<U>>进行识别，并立即清除要调用的as_ref函数。