實作不安全的特徵
與函式類似,如果實作程序必須保證符合特定條件才能避免未定義的行為,您可以將特徵標示為 unsafe
。
舉例來說,zerocopy
crate 就具有不安全的特徵,如這個頁面所示:
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 AsBytes
is rather longer and more complicated.
The built-in Send
and Sync
traits are unsafe.