Desugar Scala(16) -- lower bound
Lower bound,不知道这个词的确切中文翻译是怎样的。我们直接看例子吧。
1 | class Pair[T](val first: T, val second: T) { |
我们定义一个叫做Pair的类,其中可以包含两个元素,元素类型为泛型的T。
Pair类中有一个replaceFirst方法,用来把第二个元素和一个新的元素结合起来组成一个新的Pair。新的元素的类型是泛型的R。新组成的Pair的类型是Pair[R]。
到这里我们就要想了,一个T和一个R,它们俩怎么组成新的Pair呢?新的Pair的类型怎么能是Pair[R]呢?
replaceFirst的签名给我们说明了这一点。[R >: T]。这种标记的含义是说R是T的基类。那么一个T和一个R自然可以组合成一个R的Pair了。