07｜所有权：值的生杀大权到底在谁手上？

精选留言(8)

• 

  pedro

  1，在 Rust 下，分配在堆上的数据结构可以引用栈上的数据么？为什么？
  
  可以，以 Vec 为例，它可以存储栈上的引用，但必须注意一点那就是该引用的生命周期不能超过栈上数据的生命周期。
  
  2，main() 函数传递给 find_pos() 函数的另一个参数 v，也会被移动吧？为什么图上并没有将其标灰？
  
  很简单，i 是原生类型，默认实现了 Copy 语义，在传参时，默认不再是移动而是 copy。
  
  提一下，rust 的参数传递是反直觉的，默认为 move 和不可变，而其它主流语言默认都是 copy 和可变的，想要达到一样效果，必须实现 Copy 以及加上 mut。
  
  要充分记住这一点，这是 rust 安全的生命线。

  2021-09-06

  

  2
• 

  Henry

  1: 实验了下可以，并找不出 Rust 限制不让这么做的理由；
  2: u32 时下了 Copy Trait，所以 copy 了一个新的值赋给了函数函数，所以 v 在后续依然可以引用

  2021-09-06

  

  
• 

  Kevin

  文中的v是基数类型数组类型，已经实现了Copy,所以不需要手动Copy

  2021-09-06

  

  
• 

  gnu

  因为 v 是 u32 类型实现了 Copy trait，且分配在栈上，调用 find_pos 时 Copy 了一份 v'，所以图里不用值灰。

  2021-09-06

  

  
• 

  阿海

  堆上的数据可以引用栈上的数据，但两者要有相同的生命周期；v是基本数据类型，实现了copy，find_pos里的v是另一个存储在栈上的数据

  2021-09-06

  

  
• 

  pedro

  另外对按位复制补充一点：
  
  按位复制，等同于 C 语言里的 memcpy。
  
  C 语言中的 memcpy 会从源所指的内存地址的起始位置开始拷贝 n 个字节，直到目标所指的内存地址的结束位置。但如果要拷贝的数据中包含指针，该函数并*不会*连同指针指向的数据一起拷贝。
  
  因此如果是不包含指针的原生类型，那么按位复制(浅拷贝)等同于 clone，可如果是 Vec 这种在堆上开辟，在栈上存储胖指针的数据就不一样了，因为按位复制会拷贝胖指针本身，而其指向的堆中数据则不会拷贝，因此堆上的数据仍然只有一份。
  
  最后，最好不用去实现 Copy。

  2021-09-06

  

  
• 

  blackonion

  可以理解为是否实现copy trait主要看rust编译器能否在编译时就能确定所需大小吗？

  2021-09-06

  

  
• 

  springXu

  问题1.我认为不能。它违背了单一所有权的原则。
  问题2.let v的类型是基本数据类型，它是实现了Copy trait的。 所以学完本节内容第二题是能回答的。
  

  2021-09-06

  

  