于玉龙揭秘前端眼中的Rust

                    # 揭秘前端眼中的Rust

51CTO2022-09-18

来源 | 腾讯云开发者

作者 | 于玉龙

本文主要对rust相关内容进行解读分析，希望本文能对此方面感兴趣的开发者们提供一些经验和帮助。

关于Rust

rust是一门强类型的、编译型的、内存安全的编程语言。最早版本的Rust原本是Mozilla基金会的一名叫Graydon Hoare的员工的私人项目，2009年开始，Mozilla开始赞助者们项目的发展，并于2010年，Rust实现了自举——使用Rust构建了Rust的编译器。

Mozilla将Rust应用到构建新一代浏览器排版引擎Servo当中——Servo的CSS引擎在2017年开始，集成到了FireFox当中去。

Rust原本作为一种内存安全的语言，其初衷是代替C++或者C，来构建大型的底层项目，如操作系统、浏览器等，但是因为Mozilla的这一层关系，前端业界也注意到了这门语言，并将它应用在了其他领域，其生态也慢慢繁荣起来。

内存安全——Rust的一大杀手锏

众所周知，当下主流的编程语言当中一般分为两类，一类是自动GC的，如Golang、Java、JavaScript等，另一类则是C++和C，用户需要手动管理内存。

大部分语言的内存模型都是大同小异的。

当代码被执行时，一个个变量所对应的值，就被依次入栈，当代码执行完某一个作用域时，变量对应的值也就跟着出栈，栈作为一个先进后出的结构非常符合编程语言的作用域——最外层的作用域先声明、后结束。但是栈无法在中间插入值，因此栈当中只能存储一旦声明、占用空间就不会改变的值，比如int、char，或者是固定长度的数组，而其他值，比如可变长度的数组vector，可变长度的字符串String，是无法被塞进栈当中的。

当编程语言需要一个预先不知道多大的空间时，就会向操作系统申请，操作系统开辟一块空间，并将这一块空间的内存地址——指针返回给程序，于是编程语言就成功将这些数据存到了堆中，并将指针存到栈当中去——因为指针的大小是固定的，32位程序的指针一定是32bit，64位程序的指针也肯定是64bit。

栈中的数据是不需要做内存管理的，随着代码执行，一个变量很容易被判断还有没有用——只要这个变量的作用域结束，那么再也无法读取到这个变量的值，那么这个变量肯定没用了。只需要随着作用域的声明与结束，不断的入栈和出栈就足以管理栈的内存了，不需要程序员操心。

但是堆当中的数据就不行了，因为程序拿到的只是一个内存指针，实际的内存块不在栈当中，无法随着栈自动销毁。程序也不能在栈当中的内存指针变量销毁时，就将指针对应的空间自动清理——因为可能有多个变量保存的指针都指向了同一个内存块，此时清理这个内存块，会导致意料之外的情况。