一边是提供高效的内存管理机制，另一边通过消除悬空引用和内存泄漏提供更好的安全性。Rust将这两种优点集于一身。
Rust基于规则组的所有权模型，编译器验证这些规则组来确保内存安全。只有在完全满足这些规则的情况下，程序才会被编译成功。事实上，所有权用编译时的内存安全检查替代运行时的垃圾回收机制。
Rust最大的特点就是所有权模型，它在编译时就保障了内存的安全性。
在Rust中，每个值都有对应的变量，变量就是值的所有者。简而言之，变量就是所有者，变量的值就是所有者能够拥有和控制的东西。
Rust通过借用检查器（一种静态分析器）实现所有权。编译时检查的所有权规则会对以下内存错误进行保护：
（1）悬空引用：这是一个指向已经不再包含数据的内存地址的指针；此指针指向空数据或随机数据。
（2）UAF漏洞：当内存被释放后，仍试图访问该内存，就可能会导致程序崩溃。这个内存位置经常被黑客用来执行恶意代码。
（3）双重释放：当已分配的内存被释放后，再次执行释放操作。这会导致程序崩溃，进而暴露敏感信息。这种情况同样允许黑客执行恶意代码。
（4）分段错误：程序尝试访问被禁止访问的内存区域时，就会出现分段错误。
（5）缓冲区溢出：数据量超过内存缓冲区的存储容量时，就会出现缓冲区溢出，这通常会导致程序崩溃。
