EN | DE

Stage 9.8: Smart Unsafe Code

Smart pointers tend to use unsafe code fairly often. As mentioned earlier, they are common tools for interacting with the lowest levels of memory in Rust.

What is unsafe code? Unsafe code behaves exactly like normal Rust with the exception of a few abilities that the Rust compiler is unable to make guarantees about.

A primary ability of unsafe code is dereferencing a raw pointer. That means taking a raw pointer to a position in memory and declaring "a data structure exists here!" and turning it into a representation of data you can use (i.e. *const u8 into u8). Rust has no way to keep track of the meaning of every byte that gets written to memory. Because Rust can't make guarantees about what exists at an arbitrary number used as a raw pointer, it puts the dereference in an unsafe { ... } block.

Smart pointers dereference raw pointers extensively, but they are well proven in what they do.

Further information: