scala - scala下限应该允许相同的层次结构对象吗？

Question

我刚开始使用 Scala，想了解一些基础知识。在下面的函数中，Lower bound 设置为 Puppy。下面的代码中为什么允许 Puppy1 和 Puppy2。

class Animal
class Dog extends Animal
class Puppy extends Animal
class Puppy1 extends Animal
class Puppy2 extends Puppy

class AnimalCarer{
    def display [T >: Puppy](t: T){
    println(t)
    }
}

val animal = new Animal
val dog = new Dog
val puppy = new Puppy
val puppy1 = new Puppy1
val puppy2 = new Puppy2

val animalCarer = new AnimalCarer
animalCarer.display(animal)
animalCarer.display(puppy)
animalCarer.display(puppy1)
animalCarer.display(puppy2)
animalCarer.display(dog)

Answer 1

由于您没有T明确填写，编译器会尝试使用正确的类型为您推断它以进行编译：

animalCarer.display[testing.ParamTest.Animal](ParamTest.this.puppy1);
animalCarer.display[testing.ParamTest.Puppy](ParamTest.this.puppy2);
animalCarer.display[testing.ParamTest.Animal](ParamTest.this.dog)

这是 Scala 的局部类型推断算法的一部分。如您所见，每个方法调用都被推断为正确T的 ，例如 ，puppy1: Animal它遵守下限约束。

Answer 2

这是 Scala 类型推断与常见概念（直觉）相混淆的经典示例。

def foo[T >: Puppy](t: T) = t

foo(new Puppy1) //compiles

foo[Puppy1](new Puppy1) //give compilation error

斯卡拉 REPL

scala> def foo[T >: Puppy](t: T) = t
foo: [T >: Puppy](t: T)T

scala> foo(new Puppy1)
res9: Animal = Puppy1@4d49af10

scala> foo[Puppy1](new Puppy1)
<console>:16: error: type arguments [Puppy1] do not conform to method foo's type parameter bounds [T >: Puppy]
       foo[Puppy1](new Puppy1)
      ^