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级别被覆盖.