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.
本文将协变延拓结构理论首次应用于非均匀两分量耦合非线性薛定谔方程组。