java 参数化类型_参数化类型:基于继承的型变

Java和Scala的一个重要的不同则是基于继承的型变工作机制不同.

举例来说,假设有一个方法以List[AnyRef]作为输入参数。你可以传递一个List[String]作为值吗？换句话说,List[String]可以被当成List[AnyRef]的实例吗？如果可以的话,这种型变就是协变，因为容器(参数化类型)中的基类-派生类的关系在类型参数的关系“走向一致”.

我们也有一种称之为逆变的型变,比如对于某些类型X来说,X[String]就是X[Any]的基类.

如果参数化类型既不是协变,也不是逆变则称之为不变类型.与之相反的是某些参数化类型可以混合两种或者以上这样的行为.

Java和Scala都支持协变,逆变和不变类型.然而在Scala中型变行为是被定义在类型声明处,通过对每个类型参数标注类型注释.对于协变类型参数而言+被使用.对于逆变类型参数而言则是-被使用.不变类型参数则什么都不用做.换句话说,类型系统的设计者可以自由决定其使用.

这里有一些例子.

class W[+A] {...} // covariantclass X[-A] {...} // contravariantclass Y[A] {...} // invariantclass Z[-A,B,+C] {...} // mixed

相反的是,Java的参数化类型定义不需要再基于继承的逻辑体系中定义.进一步说Java的型变的行为则是在该类型在调用的时候才会被使用,在那时型变的定义会被声明.

Java和Scala型变总结如下.

回到List中,它确实被声明为List[+A],也就意味着List[String]是List[AnyRef]的子类型,所以List在类型参数为A的时候是协变的.当一个类型如List只右一个协变的参数,你就可以称之为“Lists 是协变的”,当然也同样适用于逆变类型.

协变与不变类型很容易理解.那么逆变类型呢?