函数返回值类型
()
等于 TS 里的 void
!
等于 TS 里的 never
所有权
所有权存在的意义是希望在不使用 GC 方案的情况下对于内存进行高效安全地自动化管理。
规则
- 所有值都有一个变量,这个变量是该值地所有者
- 每个值同时只能有一个所有者,所以值会发生 Move(也会存在部分 Move)
- 当所有者超出作用域(scope)时,该值将被删除
引用与借用
引用可以理解为 C++ 里的指针
借用则是指通过引用的方式在不同作用域下使用一个变量
借用规则
- 同一时刻,你只能拥有要么一个可变借用,要么任意多个不可变借用
- 引用必须总是有效的