RUST编程言语被认可的原因

对于MSRC团队解释他们认为RUST编程言语的原因，不仅限于RUST编程语言在编写时能够保证内存安全。

RUST编程语言图1

“第一点是现已有许多出色的内存安全言语在微软表里广泛运用，包含 .NET 言语（像是 C# 或 F#）和其他言语（例如 Swift、Go 和 Python）。咱们鼓舞现在运用 C 或 C++ 的人将其间恣意一种言语纳入考虑。不过现在议论的是对安全的体系编程言语的需求，此类作业负载需要 C、C++ 和 Rust 能够供给的速度和可预测的功能。 经过废物收回实现内存安全的言语不是体系编程的理想挑选，因为它们的运转时间会导致不行预测的功能和不必要的成本。”

第二点是功能和操控

Levick 指出，最好先考虑一下无法从 C 和 C++ 抛弃的东西——功能和操控，就能更清楚地理解 Rust 为什么是一个好的挑选。像 C 和 C++ 相同，Rust 有一个最小的可选“运转时”。Rust 的规范库同样依赖于 libc，但规范库也是可选的，因此在没有操作体系的平台上运转也是可能的。

依然像 C 和 C++ 相同，Rust 为程序员在何时分配内存以及分配内存的多少上供给了精细的操控，使程序员能够十分清楚地知道程序每次运转时的确切履行方法。在原始速度、操控和可预测性方面，这对于功能来说意味着什么？那就是，“Rust、C 和 C++ 能够用相似的术语来考虑”。

RUST编程语言图2

第三点是安全

Rust 与 C 和 C++ 的区别在于其强大的安全保障，某种程度上来说 Rust 完全是内存安全（memory safe）的。正如之前那篇文章提到的，微软大约 70% 的安全问题是内存安全问题。假如这些软件用 Rust 编写，那么这 70% 的安全问题很可能就不存在。

在体系编程中，有时程序员有必要履行无法静态验证为安全的操作。Rust 为程序员供给了将这些操作封装在安全笼统中的东西，这意味着曾经降级为代码注释或约定的东西能够由 Rust 编译器静态强制履行。

第四点是不仅仅是功能与安全

RUST编程语言图3

Rust 最初引起 MSRC 的兴趣正是因为上述功能与安全方面的特性。但它的的魅力不止于此，现已有其他微软团队开端选用 Rust，主要出于以下原因：

根据微软内部查询，选用它的最主要原因是“精密性”（correctness）——“if it compiles，then it works”。

Rust 静态地强制履行程序的许多特点，现已远超内存安全性，还包含空指针安全性和数据争用安全性（即没有来自两个或多个线程的一块内存的不同步访问）。

Rust 的丰厚类型体系使编写富有表现力的程序成为可能。 具有相关数据的枚举和强大的 trait 体系等概念进一步强化了 Rust 的方针，即尽可能使程序无过错。

Rust 现有的社区对该言语有很大好处。虽然 Rust 依然是一种年轻言语，但它拥有一个健康的生态体系，既能够促进开源社区发展强大，又能够支持出产用户。

Levick 表明有满足的理由相信 Rust 会有一个光明的未来，“虽然现在大规模选用 Rust 还为时过早，但前期选用 Rust 通常是十分活跃且正面的”。他们相信 Rust 在编写安全的体系软件时会改变游戏规则。Rust 供给编写底层体系所需的功能和操控，一起使软件开发人员能够编写更强健、安全的程序。

不过，MSRC 在研究 Rust 时发现了一些问题，其间包含怎么规范 Rust 的“不安全”（unsafe）超集的运用，缺乏与 C++ 的一流互操作性，以及与现有 Microsoft 东西的互操作性。这确实对微软选用 Rust 提出了挑战，但 MSRC 还是满怀等待：“咱们对这些可能性感到振奋。 虽然还有许多关于 Rust 怎么习惯整个 Microsoft 工程的问题需要弄清楚，但咱们鼓舞其他人一同加入，认真考虑这门言语，以满足他们的体系编程需求。”