可以向协变委托分配同一类型的其他委托,但需使用派生程度较大的泛型类型参数。
利用协变和反变观点给出了拓扑学中强拓扑函数空间的一个新刻划。
采用一个具有协变形式的朗之万方程组来描述不对称热核裂变。
通配符在类型系统中的作用部分来自其不会发生协变(covariant)这一特性。
基于此图像,我们给出了自旋流满足的协变形式连续性方程的经典对应。
即使IList接口不是协变的,一个只读列表接口也理应如此。
因为它没有传入任何K类型的对象,它能安全地声明为对于K可协变的。
1·But if ln were aliased with li, then it would break the type-safety promise implicit in the definition of li — that it is a list of integers, which is why generic types cannot be covariant.
但是如果ln是li的别名,那么这就破坏了蕴含在li定义中的类型安全承诺——它是一个整数列表,这就是泛型类型不能协变的原因。
2·And while IList isn't covariant, a read-only list interface would be.
即使IList接口不是协变的,一个只读列表接口也理应如此。
3·On the other hand, generics are not covariant; List is not a subtype of List, and attempting to supply a List where a List is demanded is a type error.
另一方面,泛型不是协变的,List不是List的子类型,试图在要求List的位置提供List是一个类型错误。
4·This decomposition may give another definition of high order tensor's covariant derivative.
这种分解可以给出高阶张量协变导数的另一种定义。
5·In this paper, for the first time, the covariant prolongation structure theory is applied to coupled inhomogeneous nonlinear Schrodinger equations.
本文将协变延拓结构理论首次应用于非均匀两分量耦合非线性薛定谔方程组。