【文件属性】：
文件名称：防锈：一个## safe属性，用于说明“不安全{...}”为什么可以正常运行
文件大小：10KB
文件格式：ZIP
更新时间：2021-03-03 02:12:55
Rust
防锈
#[safe]属性，用于说明为什么unsafe { ... }可以。
入门
此板条箱主要是用来记录unsafe代码的一种方式。 最简单的用法是使用#[safe(reason = "...")]属性：
#[safe(reason = "All zeroes is a valid bit pattern for a `u8` array" )]
unsafe {
let buffer: [ u8 ; 32 ] = std :: mem :: zeroed ();
}
您也可以提供前置和后置条件与requires ，并ensures参数。
const HELLO_WORLD: & [ u8 ] = b"Hello, World! \0 " ;
let mut buffer: * mut c_char = std :: ptr :: null_mut ();
#[safe(rea
【文件预览】：
rust-safe-master
----.gitignore(418B)
----README.md.skt.md(228B)
----src()
--------lib.rs(4KB)
----.travis.yml(172B)
----LICENSE_APACHE(9KB)
----Cargo.toml(649B)
----README.md(2KB)
----tests()
--------skeptic.rs(57B)
----LICENSE_MIT(1KB)
----build.rs(63B)