contravariance是什么意思，contravariance的意思翻译、用法、同义词、例句
常用词典
n. 抗变性；逆变性
例句
The distinction between covariance and contravariance is important for computations with tensors, which often have mixed variance.
协变和逆变的区别对于张量的计算尤为重要，这往往会出现混合方差。
In the meantime, I further elucidated the compatibility, incompatibility and contravariance of the mathematical concept.
同时，还进一步阐明了数学概念的兼容性、非兼容性和反变性。
Note that although the above examples show how to declare covariance and contravariance for delegate types, it's not different to do so with interfaces.
注意尽管上面的例子只展示了对于代理类型如何声明协变和逆变。对于接口这样做也是不难的。
网络扩展资料
词性： 名词
发音： /ˌkɑːntrəˈveriəns/
定义： contravariance 是一种计算机科学的术语，用于描述在类型系统中的一种关系，其中一个类型的子类型作为另一个类型的参数时，参数类型的变化与返回类型的变化相反。
例句：
- In C#, delegates support both covariance and contravariance. (在C#中，委托支持协变和逆变。)
- A contravariant functor is a functor that reverses the direction of the morphisms. (逆变函子是一个将态射方向反转的函子。)
用法：
- contravariance是一种类型关系，主要用于编程中的类型系统。
- 它可以用于描述一个类或接口中方法参数类型与返回类型之间的关系。
- 在C#、Java等编程语言中，委托和泛型类型支持协变和逆变。
解释：在类型系统中，当一个类型的子类型作为另一个类型的参数时，参数类型的变化与返回类型的变化相反，这种现象被称为contravariance。例如，假设在一个接口中定义了一个方法，该方法的参数类型为Animal，而实现该接口的类中的方法的参数类型为Dog，那么这个方法就是contravariant的。这意味着，当调用该方法时，可以传递一个Animal类型的参数或Dog类型的参数，但是当类中的方法返回一个类型时，返回类型将是Animal类型，因为Animal是Dog的基类型。
近义词： 逆变
反义词： 协变