柴杰
柴杰
“所有权机制只针对在堆上分配的数据，而基本类型的存储都是在栈上，因此其没有所有权的概念。” 书中这段表述是不对的。let关键字将一个变量与一个值绑定在一起，这个变量就拥有了这个值的所有权。不管该变量是分配在栈上的基本数据类型，还是分配在堆上的数据类型，都是有所有权概念的。只不过一个是执行的是复制语义，一个执行的是移动语义。
原文中有这么一段表述：“引用是一种指针语义的语法，借用是对引用行为的描述，分为不可变借用和可变借用。借用的值与拥有所有权的值在使用方式上是一样的，而且不需要转移所有权，**并在离开作用域时自动归还所有权**。” 注意这里的黑体字部分，既然借用没有转移所有权，又何来归还所有权呢？