【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的子类型是不合适的。
  • 错误提示表明可变引用的生命周期要求,强调了不变性的必要性。
➡️

继续阅读