共变和反变（计算机科学）-一流百科

共变和反变（计算机科学）

共变和反变（计算机科学）许多编程语言类型系统支持子类型化。差异是指更复杂的类型之间的子类型与它们的组成部分之间的子类型的关系。根据类型构造函数的不...

词条百科