借用

    编译器静态地保证了（通过借用检查器）引用总是（always）指向有效的对象。也就是说，当存在引用指向一个对象时，该对象不能被销毁。