为什么 String -> &str 在 Deref 和 AsRef 的实现中不同？

Question

为什么ops::Deref将String转换为&str与AsRef不同？

这是ops::Deref中的实现

impl ops::Deref for String {
    type Target = str;

    #[inline]
    fn deref(&self) -> &str {
        unsafe { str::from_utf8_unchecked(&self.vec) }
    }
}

这与AsRef不同，

impl AsRef<str> for String {
    #[inline]
    fn as_ref(&self) -> &str {
        self
    }
}

.as_ref()和.deref()之间有什么区别

Answer 1

由于类型强制规则，您可以在询问&str的地方放置一个&String ：

&T or &mut T to &U if T implements Deref<Target = U>

在这种情况下， T是String ， U是str 。

 impl ops::Deref for String { type Target = str; #[inline] fn deref(&self) -> &str { unsafe { str::from_utf8_unchecked(&self.vec) } } }

如您所见，此规则依赖于特征Deref 。 这就是 @user4815162342 所说as_ref() relies on deref() to do the actual work 。

有关类型强制的更多信息，请参阅强制类型。