文件名称：防锈：一个## safe属性，用于说明“不安全{...}”为什么可以正常运行
文件大小：10KB
文件格式：ZIP
更新时间：2024-03-22 19:59:35
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)