C# · 12月 23, 2021

c# – 如何在CLR上运行需要协方差返回类型和“真实”类方差的语言Scala?

CLR不支持 covariant return types或 full variance(即应用于类,不仅仅是接口和代理),而是有针对CLR的语言,它们使用这些功能中的一个或两个.

CLR是否有一些实用的解决方法来实现这一功能,或者这些语言采用某种重写/擦除/ …技术来完全支持其功能集?

解决方法 可能与Java一样(Java 5支持语言级别的协变式返回,但是JVM不支持它):通过添加合成方法. Java是这样的:说你有一个这样的类: class Foo implements Cloneable { @Override public Foo clone() { // … }}

在后台,生成两个克隆方法:public Foo clone()(包含真实代码)和public Object clone()(只返回前者的结果).后一种方法(它是合成的)是克隆方法如何在JVM级别被覆盖.