预先 pre是一个库，可以帮助程序员正确维护函数调用的前提条件。 它主要用于unsafe函数，因为它们的前提条件在编译时无法检查。 动机 有时，函数或方法具有先决条件，这些先决条件不能在类型系统中得到保证，并且在运行时无法防范。 此类功能最突出的示例是unsafe功能。 如果使用正确， unsafe函数将用于 。 这些合同是函数调用的前提条件。 不坚持它们通常会导致内存安全性和未定义行为的违反。 当前，用于处理unsafe功能的这些前提条件的最常用方案是在功能文档的“ Safety部分中提及