reference - 当我使用引用而不是拥有的值调用 std::mem::drop 时会发生什么？

Question

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

    drop(k);

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

Playground

为什么我在删除 k 后仍然可以使用它？ drop 不会自动取消引用吗？如果是，那为什么？ &str 的 Drop 实现是什么样的？

Answer 1

What happens when I call std::mem::drop with a reference

引用本身被删除。

a reference instead of an owned value

引用是一个值。

Why am I still able to use k after dropping it?

因为不可变指针实现了Copy。您传入引用的副本，然后它被删除。

Does drop not deref a reference automatically?

不，它没有。

what does the implementation of Drop look like for &str?

没有任何类型的引用，不可变的或可变的，所以它有效 ¹:

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

另见:

• Moved variable still borrowing after calling `drop`?
• Why does a mutable reference to a dropped object still count as a mutable reference?

---

1 — 作为 Peter Hall points out , 有一个空的 Drop 实现和没有用户提供的 Drop 实现是有区别的，但是为了这个问题的目的，他们是一样。