黑猴子的家：Scala 类型通配符

在Java中，所有泛型类都是不变的。不过，你可以在使用时，用通配符改变它们的类型。举例来说，方法

//这是Java
void makeFriends(List<? extends Person> people) 

可以用List<Student> 作为参数调用。
你也可以在Scala总使用通配符。它们看上去是这个样子的

//这是Scala
def process(people:Java.util.List[_ <: Person])  

在Scala 中，对于协变的Pair类，你无需用通配符。但假定Pair 是不变得

class Pair[T](var first:T,var second:T)

那么你可以定义

//可以用Pair[Student] 调用
def makeFriends(p:Pair[_ <: Person]) 

你也可以对逆变使用通配符

import java.util.Comparator
def min[T](p:Pair[T])(comp:Comparator[_ >: T])

类型通配符是用来指代存在类型的“语法糖”，我们将在后边继续更加详细的讨论存在类型