基于本文回答

播面 播面

刷题像听歌，多听自然懂
0
评论
请从左侧选择一个分类

Rust onst 和 static 的区别

知识点图片

在 Rust 中，const（常量）和 static（静态变量）虽然都用于定义全局作用域的值，但它们在内存管理、生命周期和编译行为上有本质的区别。

简单来说：

  • const：像是“查找并替换”。没有固定的内存地址，使用时会复制值。
  • static：是一个固定的内存位置。整个程序中只有一份，有唯一的地址。

以下是详细的对比分析：

1. const (常量)

  • 语义：它定义的是一个值，而不是一个变量。
  • 内存行为（内联 Inlining）：const 在编译时会被内联到使用它的每一个地方。这意味着，如果你在代码中使用了 10 次 const，编译器实际上相当于把这个值复制粘贴了 10 次。
  • 内存地址：通常没有固定的内存地址。如果你对 const 取引用（&MY_CONST），编译器可能会为每次引用创建一个临时的匿名内存位置，因此不同地方引用的地址可能不同。
  • 可变性：绝对不可变。
  • 生命周期：虽然概念上存在于整个程序中，但因为它被内联了，所以没有具体的生命周期绑定（除非取引用）。

适用场景：魔法数字、配置参数、简单的字符串字面量。

plaintext 
const MAX_POINTS: u32 = 100_000; // 必须显式标注类型

2. static (静态变量)

  • 语义：它定义的是一个全局变量。
  • 内存行为：程序启动时分配内存，程序结束时释放。它在二进制文件中只占用一个固定的内存位置。
  • 内存地址：在程序的整个运行期间，它拥有唯一的、固定的内存地址。所有对它的引用都指向同一个位置。
  • 可变性：
    • 默认不可变。
    • 可以使用 static mut 定义可变静态变量，但访问它需要 unsafe 代码块（因为多线程访问是不安全的）。
    • 通常配合内部可变性（如 Mutex, RwLock, Atomic）来安全地修改。
  • 生命周期：'static。

适用场景：全局锁、全局计数器、大量数据（为了避免 const 导致的多次复制带来的内存膨胀）。

plaintext 
static GREETING: &str = "Hello, world!";

核心区别对比表

特性 const static
内存行为 内联 (Inlining)：使用处即复制 单一位置：全局唯一实例
内存地址 不固定 (每次引用可能不同) 固定 (所有引用指向同一地址)
运行时开销 极低 (编译期计算) 低 (直接访问内存)
二进制大小 多次使用会导致体积增大 (如果是大数据结构) 只存一份，体积较小
可变性 永远不可变 可通过 static mut (unsafe) 或原子类型修改
生命周期 无特定生命周期 (随使用处定) 'static (整个程序运行期)

代码示例：地址的区别

这个例子最能说明问题：

plaintext 
const C_VAL: i32 = 10;
static S_VAL: i32 = 10;

fn main() {
    // const: 可能会打印出不同的地址，或者被优化掉
    // 注意：现代编译器优化可能会让它们看起来一样，但语言规范不保证地址相同
    println!("CONST address 1: {:p}", &C_VAL);
    println!("CONST address 2: {:p}", &C_VAL);

    // static: 永远保证是同一个地址
    println!("STATIC address 1: {:p}", &S_VAL);
    println!("STATIC address 2: {:p}", &S_VAL);
}

陷阱：const 与 内部可变性

如果你在 const 中使用具有“内部可变性”的类型（如 RefCell 或 Mutex，虽然通常 const 无法直接初始化这些，但如果是自定义类型），会发生非常危险的事情。

plaintext 
struct MyInt(std::cell::Cell<i32>);

// 错误的做法！
const MY_CELL: MyInt = MyInt(std::cell::Cell::new(0));

fn main() {
    // 因为是 const，这里相当于复制了一份新的 MyInt
    MY_CELL.0.set(10); 
    
    // 这里又复制了一份新的 MyInt，它的值依然是 0
    println!("{}", MY_CELL.0.get()); // 输出 0，而不是 10
}

原因：因为 const 是内联复制，你修改的是复制出来的临时变量，而不是全局的那份。这种情况必须使用 static。

总结：该用哪个？

  1. 默认使用 const：如果你只是定义一些数字、字符串常量，或者小的结构体，用 const。这允许编译器进行更激进的优化（常量折叠）。
  2. 使用 static 的情况：
    • 你需要全局唯一的身份（即必须保证地址相同）。
    • 数据量非常大（例如一个巨大的数组），不想在每次使用时都复制一份导致栈溢出或二进制膨胀。
    • 你需要全局可变状态（配合 Mutex 或 Atomic）。
    • 你需要利用 FFI 与 C 语言的全局变量交互。
00:00
00:00