【Rust中级教程】1.6. 内存 Pt.4:静态(static)内存与‘static生命周期标注

📅 2026/7/24 20:41:51 👁️ 阅读次数 📝 编程学习
【Rust中级教程】1.6. 内存 Pt.4:静态(static)内存与‘static生命周期标注

1.6 内存 Pt.4:静态(static)内存与'static生命周期标注

1.6.1. 静态(static)内存

static内存实际上是一个统称,它指的是程序编译后的文件中几个密切相关的区域。当程序执行的时候,这些区域会自动加载到内存里。

static内存里的值会在程序执行期间一直存活。

程序的static内存是包含程序的二进制代码的(通常映射为只读的)。随着程序的执行,它会在文本段的二进制代码中挨个指令进行遍历,而当函数被调用时就进行跳跃。

static内存会持有使用static声明的变量的内存,也包括某些常量值,例如字符串。

1.6.2.‘static生命周期标注

‘static是一个特殊的生命周期,它的名字来源于static内存区。它将引用标记为只要static内存还存在(也就是程序关闭之前),那么引用就合法

static变量的内存在程序开始运行时就分配了。指向static内存中变量的引用,按定义来说,就是'static的,因为在程序关闭之前它不会被释放;但是有'static生命周期标注的引用可以不指向static内存。

既然'static生命周期标注的引用可以不指向static内存,为什么还要把这种生命周期命名为'static呢?有'static标注但不存储在static内存里这不是误导人吗?
-'static这个名称仍然适用的原因在于:一旦你创建了一个'static的生命周期的引用,就程序的其余部分而言,它所指向的内存都可能在static内存中,因为程序想要使用它多久都没问题

话句话说:'static这个名字可能会让人误以为所有带有'static生命周期的引用都指向静态内存区(即程序运行期间一直存在的全局变量或常量)。但实际上,'static只是表示这个引用在整个程序生命周期内都是有效的,至于它指向的内存是否真的存储在静态区,并不一定。换句话说,'static生命周期的引用意味着“这个引用可以一直存在,程序可以随时使用它”,但并不强制要求它的内容必须是静态分配的。

在写Rust代码的时候,遇到更多的会是'staic生命周期标注而不是static内存。'static经常出现在类型参数的trait bounds上。

例如T: 'static就代表类型T可以存活我们想要的任何时长(知道程序关闭),同时这也要求T拥有所有权的并且是自给自足的。这代表着这个类型要么它不借用其它(非static)值,要么它借用的东西是static的。这样就能保证类型能活到程序结束。

1.6.3.conststatic的区别

const关键字会把紧随它的东西声明为常量,例如:

const X: i32 = 123;
  • X被声明为了常量

常量可在编译的时候完全计算出来。在计算期间,任何引用常量的代码会被替换为常量的计算结果值。

例如:

const X: i32 = 123; println!("{}", X);

这句话中的打印操作就会在编译时被改为:

println!("{}", 123);

所以常量没有内存或关联其它存储(因为它不是一个地方)。你可以把常量理解为某个特殊值的方便的名称。