unsafe

—— unsafe

欢马劈雪     最近更新时间:2020-08-04 05:37:59

180

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

展开阅读全文