contravariance 相关问题

在编程语言的类型系统中，协方差和逆变是指从较窄到较宽的类型的排序以及它们在某些情况下的可互换性或等价性（例如参数，泛型和返回类型）

我正在尝试在超类中实现一些函数，所以我不必总是在它的子代中重复它。样本：特质动物{def applyF（过渡：动物=>动物）：动物=过渡（...

scala inheritance covariance contravariance subtyping

回答 2 投票 0

为了简化，假设我有一个父类和一个子类：public class MyParent {} public class MyChild：MyParent {}这两个函数带有一些代码：public void ...

c# delegates contravariance

回答 2 投票 1

考虑这个类Base {}; class Derived：public Base {};基数* f1（衍生*）{return {};派生* f2（派生*）{return {}; } // covariant Base * f3（Base *）{return {}; } // ...

c++ oop function-pointers covariance contravariance

回答 2 投票 1

IsAssignableFrom方法返回一个布尔值，指示是否可以从另一个类型分配一个类型。我们怎样才能测试它们是否可以相互分配，还知道......

c# types covariance contravariance

回答 3 投票 21

我有一个关于Scala列表中++运算符的基本问题，以及类型符号[B>：A]。最常见的是将其解释为“接受任何一个超级A的B”但是我能做到......

scala covariance scala-collections contravariance

回答 2 投票 1

我收到以下错误：ClassName.PropertyName无法实现IClassType.PropertyName，因为它没有匹配的返回类型IBasePropertyType现在，代码：...

c# interface covariance contravariance

回答 2 投票 9