static, const, let声明变量有什么区别？

就【求值-时间点】来讲，

• static与const都是【编译时】求值
• let是【编译时】绑定，求值时间点取决于赋值语句右侧值的类型
  • 【常量表达式】编译时求值
  • 【普通表达式】运行时求值

就【赋值】来讲，

• static与const仅只接受【常量表达式】。
• const不能引用一个static，但可引用另一个const。
• let既可以接受【常量表达式】，也能够接受运行时求值的普通表达式。

就【内存管理】来讲，

• const - 其自身不占用任何内存空间。相反，常量值会被直接【内联】入它被使用的（若干）位置。
• static - 其全局单实例会被保存于【只读】内存区域内。程序各处仅能拿到static单实例的引用。
• let - 保存变量值于【栈】内存的【帧】中，且随着函数执行结束，而被释放。

就Drop trait而言，

• static - 其生命周期等长于整个应用程序（即，无限生命）。所以，即使static值被实现了Drop trait，它的drop()成员函数也没有机会被调用。
• const与let都是“有限生命”，超出了作用域都得被释放。若实现了Drop trait，它的drop()成员函数一定会被调用。

就【类型注释】来讲，

• static与const都要求Rustacean显示地标注变量的数据类型，不支持类型推断。
• let支持变量类型推断，数据类型标注项可以被省略。

就【生命周期】来讲，

• static与const都要求'static。但根据static lifetime elision规则，生命周期标注可缺省。
• let没有限制

就trait bound而言，

• static要求静态量必须是Sync trait。即，单实例的引用可在线程间安全地共享。
• const与let都没有限制。

就【具名】来讲，

• const与let都被允许声明一个【不具名】常量（即，常量名为_）。我是真不理解这有什么用。
• static没有这个能力。

就【可修改性】来讲，

• const门也没有
• static就得话分两说了：
  • 直接static mut声明可修改变量，会导致unsafe代码。无论读还是写static mut值都是unsafe的。
  • 借助interior Mutability让【编译时】只读的变量在【运行时】可修改，可绕过unsafe约束。但要区分处理单线程RefCell<T>与多线程Mutex<T>的使用场景。
• let和static类似，只是let mut声明可修改变量不会导致unsafe代码。

欢迎同学会来留言补充。