对 3.4.1 Box 堆对象分配的疑问

[ivicel]

避免栈上数据的拷贝
当栈上数据转移所有权时，实际上是把数据拷贝了一份，最终新旧变量各自拥有不同的数据，因此所有权并未转移。

在这小节中, 前面说转换所有权, 后面又说所有权并未转移, 前后有矛盾, 并且在下面的代码示例中, 我觉得注释应该是有问题

    // 在栈上创建一个长度为1000的数组
    let arr = [0;1000];
    // 将arr所有权转移arr1，由于 `arr` 分配在栈上，因此这里实际上是直接重新深拷贝了一份数据
    let arr1 = arr;

    // arr 和 arr1 都拥有各自的栈上数组，因此不会报错
    println!("{:?}", arr.len());
    println!("{:?}", arr1.len());

let arr1 = arr; 实际上应该是 i32 数组在标准里有默认实现 Copy:
impl<T: Copy, const N: usize> for [T; N]

我想作者应该是想表达, 在栈上的数据, 会被复制出一份, 然后再 bound to 新的变量 a -> c 变成 b -> c',
而堆上的数据是指针的复制, 由 a -> c 变量 b -> c