没有合适的资源?快使用搜索试试~ 我知道了~
pre:一个Rust板条箱,为使用不安全的代码提供编译时帮助
共164个文件
rs:115个
stderr:38个
toml:4个
需积分: 9 0 下载量 109 浏览量
2021-03-12
14:34:29
上传
评论
收藏 122KB ZIP 举报
温馨提示
预先 pre是一个库,可以帮助程序员正确维护函数调用的前提条件。 它主要用于unsafe函数,因为它们的前提条件在编译时无法检查。 动机 有时,函数或方法具有先决条件,这些先决条件不能在类型系统中得到保证,并且在运行时无法防范。 此类功能最突出的示例是unsafe功能。 如果使用正确, unsafe函数将用于 。 这些合同是函数调用的前提条件。 不坚持它们通常会导致内存安全性和未定义行为的违反。 当前,用于处理unsafe功能的这些前提条件的最常用方案是在功能文档的“ Safety部分中提及它们。 然后,使用该函数的程序员必须检查他们必须确保正确调用该函数所需要执行的操作。 然后,使用该函数的程序员可以在函数旁边留下注释,以说明调用为何安全(为什么前提条件成立)。 当在unsafe块之外使用unsafe函数时,编译器(从1.44.1版本开始)甚至会宣告这种方法: note: con
资源推荐
资源详情
资源评论
收起资源包目录
pre:一个Rust板条箱,为使用不安全的代码提供编译时帮助 (164个子文件)
.gitignore 19B
LICENSE-APACHE 11KB
LICENSE-MIT 1KB
README.md 15KB
CHANGELOG.md 2KB
lib.rs 40KB
libs.rs 23KB
precondition.rs 13KB
documentation.rs 12KB
extern_crate.rs 11KB
helpers.rs 11KB
forward.rs 10KB
attr.rs 9KB
pre_attr.rs 8KB
impl_block.rs 8KB
call_handling.rs 7KB
struct_impl.rs 7KB
expr_handling.rs 5KB
const_generics_impl.rs 5KB
lib.rs 3KB
call.rs 3KB
simple_extern_crate.rs 2KB
simple_extern_crate.rs 2KB
simple_extern_crate.rs 2KB
lib.rs 1KB
cfg_attr_different_predicates.rs 644B
cfg_attr_different_predicates.rs 644B
cfg_attr_different_predicates.rs 644B
forward.rs 612B
forward.rs 612B
forward.rs 612B
all_types.rs 496B
all_types.rs 496B
all_types.rs 496B
duplicate_forward.rs 362B
duplicate_forward.rs 362B
duplicate_forward.rs 362B
nested_call.rs 337B
nested_call.rs 337B
nested_call.rs 337B
forward_failed_replace.rs 320B
forward_failed_replace.rs 320B
forward_failed_replace.rs 320B
no_debug_assert.rs 314B
no_debug_assert.rs 314B
no_debug_assert.rs 314B
nested_path_with_generics.rs 288B
nested_path_with_generics.rs 288B
nested_path_with_generics.rs 288B
build.rs 282B
build.rs 282B
build.rs 282B
false_cfg_attr_doesnt_check_preconditions.rs 264B
cfg_attr.rs 264B
true_cfg_attr_checks_preconditions.rs 264B
false_cfg_attr_doesnt_check_preconditions.rs 264B
cfg_attr.rs 264B
true_cfg_attr_checks_preconditions.rs 264B
false_cfg_attr_doesnt_check_preconditions.rs 264B
true_cfg_attr_checks_preconditions.rs 264B
cfg_attr.rs 264B
longer_path.rs 216B
longer_path.rs 216B
longer_path.rs 216B
multiple_preconditions.rs 202B
multiple_preconditions.rs 202B
multiple_preconditions.rs 202B
method.rs 200B
method.rs 200B
hint_reason.rs 200B
hint_reason.rs 200B
method.rs 200B
hint_reason.rs 200B
method.rs 200B
ambiguous_assure.rs 187B
ambiguous_assure.rs 187B
ambiguous_assure.rs 187B
unknown_keyword.rs 180B
unknown_keyword.rs 180B
unknown_keyword.rs 180B
unnamed_fn.rs 179B
unnamed_fn.rs 179B
unnamed_fn.rs 179B
unnamed_fn.rs 179B
extra_precondition.rs 170B
extra_precondition.rs 170B
extra_precondition.rs 170B
method_replace_forward.rs 142B
method_replace_forward.rs 142B
method_replace_forward.rs 142B
precondition_missing.rs 140B
precondition_missing.rs 140B
precondition_missing.rs 140B
boolean_non_bool.rs 134B
boolean_non_bool.rs 134B
boolean_non_bool.rs 134B
boolean_unknown_var.rs 132B
boolean_unknown_var.rs 132B
boolean_unknown_var.rs 132B
single_precondition.rs 130B
共 164 条
- 1
- 2
资源评论
菊次郎的回南天
- 粉丝: 40
- 资源: 4565
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功