Unsichere Merkmale implementieren
Like with functions, you can mark a trait as unsafe
if the implementation must guarantee particular conditions to avoid undefined behaviour.
For example, the zerocopy
crate has an unsafe trait that looks something like this:
Speaker Notes
This slide should take about 5 minutes.
There should be a # Safety
section on the Rustdoc for the trait explaining the requirements for the trait to be safely implemented.
The actual safety section for IntoBytes
is rather longer and more complicated.
The built-in Send
and Sync
traits are unsafe.