概述
上界 (<:) 下界(>:) 是类型约束范畴,用来约束对象的子类是谁,父类是谁
协变 (+T) 逆变(-T)是泛型范畴,主要用于集合类型变量赋值。
视界 (<%) 边界( :)是隐式调用的简写。
上界 (<:) 下界(>:)
上界:要求对象必须是某一个对象的子类,因为子类会继承父类的属性和方法,所以父类的方法和属性这路都可以用。
trait A {
def func()
}
class B extends A {
override def func(): Unit = {
println("i am b")
}
}
class C extends A {
override def func(): Unit = {
println("i am c")
}
}
def test[T <: A](obj: T): Unit = {
obj.func()
}
test(new B()) // i am b
test(new C()) // i am c
下界:要求对象必须是某一个对象的父类。主要用在已知某一个具体类型,但是要给它赋值给另一个变量,该变量必须是具体类型的父类型才行。
举例:
对于下面的例子,我们要把元素B放到一个集合中,这个集合必须是类型B父类容器才行。这里就是B是已知类型,集合类型未知。
trait A {
def func()
}
class B extends A {
override def fu