当 T 不是副本时，为什么取消引用 Box<T> 不会抱怨“移出共享引用”？

Question

正如标题所述，为什么下面的代码可以编译通过？

use std::ops::Deref;

struct Foo {}

fn main() {
    let b = Box::new(Foo{});
    
    let pb = *b; //works
    // let pb = *b.deref();  // error[E0507]: cannot move out of a shared reference
}

对于具有非复制目标的自定义类型，情况并非如此。

use std::ops::Deref;

struct Foo<T> {
    p: T,
}

impl<T> Deref for Foo<T> {
    type Target = T;

    fn deref(&self) -> &<Self as Deref>::Target {
        &self.p
    }
}

fn main() {
    let f = Foo { p: vec![1u8] };

    let pf = *f; // error[E0507]: cannot move out of a shared reference
    let pf = *f.deref(); // error[E0507]: cannot move out of a shared reference
}

是*Box不是在做什么*Box.deref()？

Answer 1

是*Box不是在做什么*Box.deref()？

不它不是。这是编译器魔法的情况之一——Box类型有点特殊，编译器会特殊对待它。

查看 的实现Deref给Box了我们一个非常强烈的暗示：有些东西是不同的：

fn deref(&self) -> &T {
    &**self
}

如果这是任何其他类型，这将导致无限递归，但 deref 运算符 ( *) 在应用于值时由编译器内部处理Box。

您可以对盒子进行的特殊操作之一是将其包含的值移出，这会产生破坏盒子并释放其堆分配的副作用。

（此外，不稳定的Box::into_inner()关联函数接受boxed: Self并简单地返回*boxed，进一步说明了这一点。）