Mojo 的所有权与借用检查机制有哪些规则？

1. 三条基本规则

• 每个值在同一时刻只有一个所有者
• 所有者的生命周期结束时，Mojo 销毁该值
• 若仍存在指向某值的引用，Mojo 会延长所有者的生命周期

2. 变量与结构体的归属关系

变量拥有其值，结构体拥有其字段。引用则允许访问由其他变量拥有的值，引用分为可变访问与不可变访问两类。引用在函数调用时被创建，函数也可以返回引用，此时可通过 ref 关键字创建引用绑定来捕获它。

3. 六类参数约定

未显式声明约定的参数，默认采用不可变只读借用；1.0 版本起该默认约定的关键字名为 imm，此前名为 read。Mojo 通过这种设计实现默认的值语义，同时作为系统语言仍保留对引用语义的完整控制。

4. 三种值类型 trait

• ImplicitlyCopyable：可不显式声明地被复制，通常是 Int、Float64、Bool 这类简单值类型
• Copyable：可通过 copy() 方法或拷贝初始化器显式复制，复制原值不受影响
• Movable：可通过转移操作符 ^ 转移所有权，转移后源变量处于未初始化状态

5. 转移操作符与引用绑定

^ 是唯一真正改变值归属的操作，复制不会改变所有权。引用绑定使用 ref 关键字创建，对引用绑定的读写会直接作用于被引用的对象，且引用绑定本身不能被重新赋值。