為什么 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 。

有關類型強制的更多信息，請參閱強制類型。