举报投诉联系我们 手机版 热门标签 编程学
您的位置:编程学 > unsafe什么意思 unsafe

unsafe什么意思 unsafe

2023-05-12 14:18 Rust语言中文版

unsafe什么意思 unsafe

unsafe什么意思 unsafe

unsafe什么意思

unsafe    

Rust 的主要缺点是其对行为的强大的静态担保。但安全检查是保守的:有些程序实际上是安全的,但是编译器无法证实这是真的。为了写这种程序,我们需要告诉编译器放宽限制。为此, Rust 有一个关键词,unsafe。代码使用 unsafe 比正常的代码有更少的限制。    

让我们复习语法,然后我们将讨论语义。unsafe 在两种情况下被使用。第一个情况是标记一个函数为不安全:

unsafe fn danger_will_robinson() {
// scary stuff 
}

例如,所有函数调用 FFI 时必须标记为 unsafe。第二个使用 unsafe 情况是不安全块:

unsafe {
// scary stuff
}

能够明确划定可能有漏洞的代码是非常重要的,并且这些漏洞能造成大问题。如果 Rust 程序段错误,你能确定这部分中哪里标记为 unsafe。

“safe”是什么意思?

在 Rust 的上下文中,safe 的意思是“不做任何不安全的事。” 这很简单!     

好吧,让我们再试一次:什么是不安全的?这里有一个列表:

  • 数据竞争  
  • 非关联化空的或悬空的原始指针  
  • 读取 undef(未初始化的)内存  
  • 打破原始指针的指针别名规则。  
  • &mut T 和 &T 遵循LLVM的作用域 noalias 模式,除非 &T 包含一个 UnsafeCell<U>。不安全的代码必须不违反这些别名担保。  
  • 在没有 UnsafeCell<U> 的情况下,改变一个不可变的值/引用
  • 通过这些编译器特性调用未定义的行为:   
    • 有 std::ptr::offset 的对象的越界索引,除了一个字节结束过去这是允许的。  
    • 在重叠的缓冲区时使用 std::ptr::copy_nonoverlapping_memory (memcpy32/memcpy64 特性) 
  • 原始类型的无效值,即使在私有作用域/局部:   
    • 空/悬空的引用或盒子 
    • 在一个 bool 中除了 false (0) 或 true (1) 的值 
    • 在一个不包括类型定义的 enum 的一个判别式
    • 在一个大于或等于 char::MAX 的 char 里的一个值
    • 在一个 str 里的 Non-UTF-8 类型序列 
    • 从外部代码展开到 Rust 或 从 Rust 展开到到外部代码。

这是很多东西。注意到各种各样的不好的但没有标记为 unsafe 的行为是很重要的。

  • 死锁  
  • 从私有作用域读取数据 
  • 由于引用计数周期引起的泄漏  
  • 没有调用析构函数的情况下退出  
  • 发送信号  
  • 访问/修改文件系统 
  • 整数溢出

Rust 不能防止各种各样的软件问题。bug 代码可以并将写在 Rust。这些行为并不好,但他们不符合 unsafe。

Usafe 超级能力    

在不安全的函数和不安全的代码块内,Rust 通常会让你做三件通常不会做的事。以下就是这三件事:

  • 访问或更新一个静态可变的变量。  
  • 解除引用原始指针。  
  • 调用不安全的函数。这是最强大的能力。    

就这样。重要的是,例如, unsafe 不会“关掉借用查器”。将 unsafe 添加到一些随机 Rust 代码并没有改变其语义,它不会开始接受任何东西。    

但是它会让你写一些打破一些规则的东西。让我们学习这三种能力。

访问或更新 static mut

Rust 有一个称为‘static mut’的特性,它允许可变的全局状态。这样做会导致数据竞赛,因此本身是不安全的。有关详细信息,请参本书的静态部分。

解除引用一个原始指针

原始指针让你做任意指针的运算,会导致许多不同的内存安全问题。在某种意义上,一个任意指针的解除引用的能力是你可以做的最危险的事情。更多关于原始指针,请看本书相关部分。

调用 unsafe 函数

这最后的能力关于 unsafe 的两个方面:您只能调用一个 unsafe 块内标记 unsafe 的函数。    

这种能力是强大的。Rust 为 unsafe 函数提供一些编译器特性,绕过安全检查和一些安全功能,换来安全速度。    

我将再次重复:即使你可以在 unsafe 块和函数中做任意事情,并不意味着你应该这样做。虽然你坚持不变量编译器仍然将起作用,所以要小心!

阅读全文
以上是编程学为你收集整理的unsafe什么意思 unsafe全部内容。
声明:本站所有文章资源内容,如无特殊说明或标注,均为采集网络资源。如若本站内容侵犯了原著者的合法权益,可联系本站删除。
相关文章
© 2024 编程学 bianchengxue.com 版权所有 联系我们
桂ICP备19012293号-7 返回底部