difficulties/move-copy

[giscus[bot]]

difficulties/move-copy

http://localhost:8080/difficulties/move-copy.html

[codecow-s]

这边啥时有写啊

[WenqingZong]

催更阿，这都快小一年了

[UVUUUVUU]

期待中

[TableBear]

2024 年了，还没有

[A4-Tacks]

是啊 都2024了

[PierXuY]

这一段时间有点久

[sunfu12]

太酷了，书还可以这样写

[small-white0-0]

作者没写，我来写点。（doge）

直接抄我在trait附录里面的回复。 :)

1. 自己实现Clone,不会对Copy产生影响。

#[derive(Debug)]
struct O {
    a: i32,
}

impl Copy for O {}
impl Clone for O {
    fn clone(&self) -> Self {
        Self { a: 123 }
    }
}

fn main() {
    let b = O { a: 1 };
    let c = b;
    let d = b.clone();
    println!("b:{b:?},c:{c:?},d:{d:?}");
}

显示b:O { a: 1 },c:O { a: 1 },d:O { a: 123 }

2. 可以，但没必有。因为Copy只是一个标记trait,使用宏和手动实现，结果都是一样的。只是手动要写的更多。

// 使用宏
#[derive(Clone,Copy)]
struct O {
    a: i32,
}

// 手动
struct O {
    a: i32,
}

impl Copy for O {
    // 什么也不用写，毕竟是一个标记trait
}
impl Clone for O {
    fn clone(&self) -> Self {
        // * self 还是 Self {..} 或者其他的实现方式。
        // 随便，不会对Copy行为产生影响，但是必须实现Clone,才能实现Copy。
    }
}

个人的进一步理解

move：
所有权转移，其实就是在赋值的时候，将原本的变量状态标记为失去所有权，这个变量在栈上面依旧存在，直到离开作用域，才会从栈上删除变量。（以前看过的一篇文章讲rust和类型状态，里面是这么解释的）

let a = Box::new(1);
let b = a;

这里通过rust-gdb可以发现，a和b的地址不一样，说明a和b是两个变量。rust做的只是在执行let b = a;后将a的状态变为失去所有权的状态。
let b = a; 我把他理解为两步：

1. 把a的值赋值给b（仅限栈里面的数据，可类比c的赋值）
2. 改变a的状态，改为失去所有权的状态。

Copy:
这个只是一个标记 trait ,看copy的模块路径就可以看到“core::marker::Copy”，它只是一个给编译器看的标记，没有其他任何作用。 它告诉编译器，这个类型的数据只会在栈，不可能在堆，让编译器不要执行 move 中的第二步。

PS： 如何保证会在栈？rust 本身只给基本类型实现了 Copy。Copy又要求实现该trait 的结构体内部元素需要实现Copy。所以能实现了Copy的结构体，里面就只有基本类型或者只基本类型的复杂类型，那么这个结构体就不会在堆上面存在数据。

#[derive(Debug, Clone, Copy)]
struct O {
    a: i32,
    b: Box<i32>,
}
// 这个就会报错，说Box没有实现Copy,
// 然后由于孤儿规则，我们不能去为Box实现Copy
// newtype也由于 Copy 要求结构体属性的类型也实现Copy,而无法为Box实现Copy

Clone：
就是返回一个新变量，不导致原变量会失去所有权。对于实现了Copy trait 的结构体为何返回*self就可以了。因为

let a = b.clone(); // b.clone()就是直接返回的*self
//上面的等价于下面的
let a = b;   //因为实现了`Copy`所以不会有所有权转移。

至于为何要实现了Clone，才能实现Copy。我不太清楚原因，可能是能Copy的变量不能Clone会很奇怪？

个人理解，没有详细的查rust的源码和文档，可能有理解错的地方,请斧正。

[sunface]

666

[small-white0-0]

多谢夸奖。 :)

这里面很多都是是我根据代码进行测试以及看的资料，总结的结果。缺乏严谨的来源和证明，可能有理解错误的地方，部分用词还存在错误。怕误人子弟，也就不好意思 pull request。 只是看作者还没有写，就发出一些我的个人理解，希望抛砖引玉。

[A4-Tacks]

Clone就是将原数据拷贝一份，Copy是一个标记Trait，当Copy被实现时原应发生move语义时以Clone代替。如有错误，请指出。

[A4-Tacks]

我发现了我的错误，Copy并不会调用Clone::clone，而是进行栈上数据的拷贝，很抱歉。

[Jungle666]

等大佬更新