出借系统的基准

拥有者有一些限制:

• 在一个租借过程中，拥有者不可以改变资源，或者出借一个可变租借
• 在一个可变租借过程中，拥有者不可以访问资源，或者再进行租借。

租借者也有一些特权。

除了能够访问和修改被租借的资源，租借者还能够共享租借:

• 一个租借者可以共享(复制)一个不可变租借。
• 一个可变租借可以转移可变租借。（可变租借是默认转移的）

以上规则，其实可以归结为。

保证读取的是一个不会被改变的数据

1. 拥有者不允许改变资源，这保证了借用的值不会被更改。
2. 在已经存在一个可变借用，或者多个不可变借用后。不允许再新添可变借用。

出借方（资源）生命周期的交集 ＞ 借用方生命周期的并集

<'a, 'b: 'a> 返回值的、a 不准超过b生命周期，哪怕它们没有关联