pre:一个Rust板条箱为使用不安全的代码提供编译时帮助 源码

预先 pre是一个库,可以帮助程序员正确维护函数调用的前提条件。 它主要用于unsafe函数,因为它们的前提条件在编译时无法检查。 动机 有时,函数或方法具有先决条件,这些先决条件不能在类型系统中得到保证,并且在运行时无法防范。 此类功能最突出的示例是unsafe功能。 如果使用正确, unsafe函数将用于 。 这些合同是函数调用的前提条件。 不坚持它们通常会导致内存安全性和未定义行为的违反。 当前,用于处理unsafe功能的这些前提条件的最常用方案是在功能文档的“ Safety部分中提及它们。 然后,使用该函数的程序员必须检查他们必须确保正确调用该函数所需要执行的操作。 然后,使用该函数的程序员可以在函数旁边留下注释,以说明调用为何安全(为什么前提条件成立)。 当在unsafe块之外使用unsafe函数时,编译器(从1.44.1版本开始)甚至会宣告这种方法: note: con