.NET9引用数组协变怪异Bug
💡
原文中文，约6400字，阅读约需16分钟。
📝
内容提要
引用类型数组的协变允许用子类替代父类，但可能导致运行时异常。例如，Giraffe数组可以存放Giraffe实例，但若存放Turtle实例则会引发异常。CLR在赋值时进行类型检查，增加了性能开销。此问题在.NET9中仍未得到合理解决。
🎯
关键要点
- 引用类型数组的协变允许用子类替代父类，但可能导致运行时异常。
- Giraffe数组可以存放Giraffe实例，但若存放Turtle实例则会引发异常。
- CLR在赋值时进行类型检查，增加了性能开销。
- 在.NET9中，协变问题仍未得到合理解决。
- 不正常的赋值操作在前端编译层面合法，但在运行时会导致异常。
- CLR的类型检查在大量赋值时会造成性能损耗。
- StelemRef函数负责检查引用数组类型，确保类型有效。
- 不合理的设计在计算机技术中普遍存在，导致后期需要大量精力去弥补。
- 中国的汉字在设计上相对稳定，适应时代变化的能力较强。
❓
延伸问答
什么是引用类型数组的协变？
引用类型数组的协变允许用子类替代父类，但可能导致运行时异常。
在.NET9中，协变问题是如何影响性能的？
CLR在赋值时进行类型检查，增加了性能开销，尤其是在大量赋值时。
为什么将Turtle实例赋值给Giraffe数组会引发异常？
因为协变允许在编译时合法赋值，但在运行时会因类型不匹配而抛出异常。
StelemRef函数在CLR中有什么作用？
StelemRef函数负责检查引用数组类型，确保赋值的类型有效。
如何可以减少CLR的性能开销？
如果在前端编译层面进行类型检查和分解，可以减轻CLR的压力，提升性能。
文章中提到的设计不合理的例子还有哪些？
文章提到的不合理设计不仅存在于.NET，还在Rust和C++等其他技术中也有类似情况。
➡️
