如何从“盒子”中获得拥有的价值？

Question

这个函数的实现是什么：

fn unbox<T>(value: Box<T>) -> T {
    // ???
}

文档中唯一看起来像我想要的函数是Box::into_raw。以下将类型检查：

fn unbox<T>(value: Box<T>) -> T {
    *value.into_raw()
}

这给出了错误error[E0133]: dereference of raw pointer requires unsafe function or block。将其包裹在 unsafe { ... } 块中可以修复它。

fn unbox<T>(value: Box<T>) -> T {
    unsafe { *value.into_raw() }
}

这是正确的实现吗？如果是这样，为什么它不安全？什么意思？

也许这个问题显示了我对Boxs 实际工作方式的普遍不确定性。

Answer 1

取消引用值：

fn unbox<T>(value: Box<T>) -> T {
    *value
}

---

早在 1.0 之前的 Rust 中，堆分配的值是非常特殊的类型，它们使用符号~（如~T）。在通往 Rust 1.0 的道路上，大部分这种特殊情况都被删除了……但不是全部。

这个特殊的专业被称为“deref move”，并且有一个proto-RFC 支持它作为一流的概念。在那之前，答案是“因为Box 很特别”。

另见：

• Dereferencing Box<T> gives back value instead of reference