【Rust Variance】为什么&'a mut T与T的关系是不变的【已解决,自己理解不仔细】
💡
原文中文,约900字,阅读约需2分钟。
📝
内容提要
Rust中&'a mut T与T的关系是不变的,以避免生命周期问题。可变引用的协变可能导致不兼容,因此官方文档强调&mut T在T上是不变的,以确保引用的安全性和有效性。
🎯
关键要点
- Rust规定&'a mut T与T的关系是不变的,以避免生命周期问题。
- 可变引用的协变可能导致不兼容,因此官方文档强调&mut T在T上是不变的。
- 协变的假设可能导致错误,特别是在处理生命周期时。
- 在编译器中,尝试将&mut &'a U视为&mut &'b U的子类型是不合适的。
- 错误提示表明可变引用的生命周期要求,强调了不变性的必要性。
➡️