为何用const初始化字符串数组时未触发Copy trait错误？

这两种写法的核心差异在于Rust对编译期常量和运行时变量在数组重复初始化逻辑上的区别：

• 当使用const定义的常量作为重复值时：
  编译器会在编译阶段，为数组的每一个元素独立执行const表达式的初始化逻辑。换句话说，[ARRAY_REPEAT_VALUE; 5]里的5个String元素，都是通过String::new()重新创建的全新实例，完全没有复制原常量的行为，因此不需要Copy trait支持。

  你可以通过打印每个元素的内存地址验证这一点：

  fn main() {
      const ARRAY_REPEAT_VALUE: String = String::new();
      let mut strings: [String; 5] = [ARRAY_REPEAT_VALUE; 5];
      for s in &strings {
          println!("{:p}", s); // 输出5个不同的内存地址
      }
  }
  

• 当使用let定义的变量作为重复值时：
  数组重复初始化的逻辑是将变量的值复制N次来填充数组。但String是堆分配的动态类型，Rust没有为它实现Copy trait（因为按位复制String会导致堆内存被两个对象同时持有，后续析构时会触发双重释放的安全问题），因此编译器直接抛出错误，提示Copy trait未满足。

内容的提问来源于stack exchange，提问作者Espand