为什么在静态链接过程中 const 没有消失？

Question

我的静态库 crate 中有这样的函数：

use super::*;

static BLANK_VEC: [u8; 16] = [0_u8; 16];
pub fn pad(name: &'static str) -> String {
    let mut res = String::from(name);
    res.push_str(&String::from_utf8_lossy(&BLANK_VEC[name.len()..]));
    res
}

当我将它链接到 C 代码时，它按预期工作，但如果我链接下面的代码（唯一的区别是 const 而不是 static）标签 BLANK_VEC 不会出现在 ELF 文件中.它可以编译并运行，直到它得到一个 HardFault。

use super::*;

const BLANK_VEC: [u8; 16] = [0_u8; 16];
pub fn pad(name: &'static str) -> String {
    let mut res = String::from(name);
    res.push_str(&String::from_utf8_lossy(&BLANK_VEC[name.len()..]));
    res
}

这是 Rust 方面的错误吗？我这么认为是因为const 变量不知何故超出了范围。我可以引用它并编译它。内存安全保障在哪里？为什么我不必使用 unsafe 块来执行此操作？

如果这取决于我的链接器：我使用arm-gcc-none-eabi。

编辑：我理解为什么会发生这种情况，但 Rust 不应该确保用户使用不会消失的变量吗？

Answer 1

这不是 rust 中的错误：const 定义了一个在每个使用站点复制的常量值（因此在运行时不存在）。

static 定义了一个全局变量（它可能是常量，也可能不是常量），因此它存在于最终程序中，它是内存中实际的单个位置。