文件名称:
pre:一个Rust板条箱，为使用不安全的代码提供编译时帮助-源码
开发工具:
文件大小: 122kb
下载次数: 0
上传时间: 2021-03-12
详细说明：预先
pre是一个库，可以帮助程序员正确维护函数调用的前提条件。 它主要用于unsafe函数，因为它们的前提条件在编译时无法检查。
动机
有时，函数或方法具有先决条件，这些先决条件不能在类型系统中得到保证，并且在运行时无法防范。 此类功能最突出的示例是unsafe功能。 如果使用正确， unsafe函数将用于 。 这些合同是函数调用的前提条件。 不坚持它们通常会导致内存安全性和未定义行为的违反。
当前，用于处理unsafe功能的这些前提条件的最常用方案是在功能文档的“ Safety部分中提及它们。 然后，使用该函数的程序员必须检查他们必须确保正确调用该函数所需要执行的操作。 然后，使用该函数的程序员可以在函数旁边留下注释，以说明调用为何安全（为什么前提条件成立）。
当在unsafe块之外使用unsafe函数时，编译器（从1.44.1版本开始）甚至会宣告这种方法：
note: con
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
