What is the implementation for this function:
fn unbox<T>(value: Box<T>) -> T { // ??? }
The only function in the documentation that looks like what I want is Box::into_raw
. The following will type check:
fn unbox<T>(value: Box<T>) -> T { *value.into_raw() }
This gives the error error[E0133]: dereference of raw pointer requires unsafe function or block
. Wrapping it in an unsafe { ... }
block fixes it.
fn unbox<T>(value: Box<T>) -> T { unsafe { *value.into_raw() } }
Is this the correct implementation? If so, why is it unsafe? What does it mean?
Perhaps this question shows my general uncertainty of how Box
s actually work.
Dereference the value:
fn unbox<T>(value: Box<T>) -> T { *value }
Way back in pre-1.0 Rust, heap-allocated values were very special types, and they used the sigil ~
(as in ~T
). Along the road to Rust 1.0, most of this special-casing was removed... but not all of it.
This particular speciality goes by the name "deref move", and there's a proto-RFC about supporting it as a first-class concept. Until then, the answer is "because Box
is special".
See also:
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With