文件名称:
防锈:一个## safe属性,用于说明“不安全{...}”为什么可以正常运行-源码
开发工具:
文件大小: 10kb
下载次数: 0
上传时间: 2021-03-03
详细说明:防锈
#[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
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台,提供交流渠道,下载内容来自于网络,除下载问题外,其它问题请自行百度。
- 本站已设置防盗链,请勿用迅雷、QQ旋风等多线程下载软件下载资源,下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载,请稍后再次尝试;或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎,请到消费记录里找到下载记录反馈给我们,经确认后退回积分.
- 如下载前有疑问,可以通过点击"提供者"的名字,查看对方的联系方式,联系对方咨询.