1.2. 非安全Rust能做什么

2018

2018

Rust 高级编程 /

非安全 Rust 能做什么#

非安全 Rust 比安全 Rust 可以多做的事情只有以下几个：

就这些。这些操作被归为非安全的，是因为使用得不正确就会导致可怕的未定义行为。一旦触发了未定义行为，编译器就可以放飞自我，肆意破坏你的程序。切记，一定不能给未定义行为任何的机会。

与 C 不同，Rust 充分限制了可能出现的未定义行为的种类。语言核心只需要防止这几种行为：

只有这些。Rust 语言自身可以导致未定义行为的操作就只有这些。当然，非安全函数和 trait 可以声明自己专有的安全规范，要求开发者必须遵守以避免未定义行为。比如，allocator API 声明回收一段未分配的内存是未定义行为。

但是，违背这些专有的规范通常也只是间接地触发上面列出的行为。另外，编译器内联函数也可能引入一些规则，一般是针对代码优化的假设条件。比如，Vec 和 Box 使用的内联函数要求传入的指针永远不能为 null。

Rust 对于一些模糊的操作则通常比较宽容。Rust 会认为下列操作是安全的：

当然，有以上行为的程序极有可能就是错误的。Rust 提供了一系列的工具减少这种事情的发生，但是完全地杜绝它们其实是不现实的。

本文章首发在 LearnKu.com 网站上。

Markdown 文本

贡献者：1

讨论数量: 0

暂无话题~