當我使用引用而不是擁有的值調用 std::mem::drop 時會發生什么？

Question

fn main() {
    let k = "fire";

    drop(k);

    println!("{:?}", k);
}

為什么我刪除后仍然可以使用k ？ drop不會自動取消引用嗎？ 如果是，那為什么？ &str的Drop實現是什么樣的？

Answer 1

當我使用引用調用std::mem::drop時會發生什么

引用本身被刪除。

引用而不是擁有的值

引用是一個值。

為什么我刪除后仍然可以使用k ？

因為不可變指針實現了Copy 。 您傳入引用的副本，然后將其刪除。

drop不會自動取消引用嗎？

不，不是的。

&str的Drop實現是什么樣的？

沒有任何類型的參考，不可變或可變的，所以它實際上是¹ ：

impl Drop for &str {
    fn drop(&mut self) {}
}

也可以看看：

1 — 正如Peter Hall 所指出的，擁有空Drop實現和沒有用戶提供的Drop實現之間存在差異，但就本問題而言，它們是相同的。