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

Question

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

    drop(k);

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

Playground

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

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实现之间是有区别的，但是出于这个问题的目的，它们是相同的。