Rust中drop原生值变量为何仍可访问？Copy类型可否显式移动？

• 你代码里的i32是无自定义析构逻辑的Copy类型，ptr::drop_in_place对这类类型执行的操作本质只是触发一次空的析构调用，既不会清空内存中存储的数值，也不会产生任何实际的内存操作，执行完这行代码后x所在内存里存的仍然是原来的10，自然能正常被打印。
• Rust的变量所有权失效、可访问性判定是编译期完成的静态检查规则，不会被运行时的unsafe指针操作改变。哪怕你手动把x所在的内存区域擦除为任意值，编译器在编译println!("{}", x)这行代码时，仍然判定x是合法持有所有权的有效变量，不会阻止你访问这块内存。

• 实现了Copy trait的类型，并非完全和“移动”概念无关，而是编译器在规则层面把这类值的所有赋值、传参、返回值传递操作，全部默认定义为按位复制，不会触发所有权转移，也不会让原位置的变量失效。
• 不存在和C++ std::move功能等价的、可以对Copy类型实现“让原变量失效”效果的操作。Rust的移动不是运行时的内存搬运动作，而是编译器给内存位置打的所有权标记。对Copy类型哪怕你调用std::mem::replace、手动做指针写操作，编译器在静态检查层面仍然会认定原变量是随时可以合法访问的——这是Copy trait从设计上就定下的语义边界。
• 如果一定要在drop某个值之后让对应变量失效，唯一的可行路径是把该值包裹在一个不实现Copy的外层类型里（比如实现了Drop的自定义结构体、ManuallyDrop），此时对这个外层类型执行drop或move操作，编译器才会按照所有权规则把原变量标记为不可访问。

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