Rust：一个不再有 C/C＋的，实现安全实时软件的未来( 六 )_作者丨lochsh译者丨马可薇策划丨王文婧

不安全的 Rust

如作者之前所说，未定义行为发生的可能性是不能完全被清除的，这是由于底层计算机硬件固有的不安全性导致的。Rust 允许在一个存放不安全代码的模块进行不安全操作。C# 和 Ada 应该也有类似禁用安全检查的方案。在进行嵌入式编程操作或者在底层系统编程的时候，就会需要这样的一个块。隔离代码的潜在不安全部分非常有用，这样一来，与内存相关的错误就必定位于这个模块内，而不是整个程序的任意部分。

不安全模块并不会关闭借用检查，用户可以在不安全块中进行解引用裸引针，访问或修改可变静态变量，所有权系统的优点仍然存在。

重温所有权

说起所有权，就不得不提起 C++ 的所有权机制。

C++ 中的所有权在 C++11 发布之后得到了极大的提升，但是它也为向后兼容性问题付出了不小的代价。对于作者来说，C++ 的所有权非常多余，以前简单的值分类被吊打。不管怎么说，对 C++ 这样广泛使用的语言进行大规模优化是一项伟大的成就，但是 Rust 却是将所有权从一开始就当作核心理念进行设计的语言。