scala泛型上下界限问题

scala泛型上下界限：

1）语法

def m[T <: Person] (a:T){ //泛型上限

}

def m[T >: Person] (a:T){ //泛型下限

}

2）说明

​ 泛型的上下限的作用是对传入的泛型进行限定。

	 上限：传入的参数的类型必须是限定类型或者其子类类型

​	 下限：传入的参数的类型必须是限定类型或者其父类类型（有点鸡肋，后面会说）

3）代码

object SourceTest {


  def main(args: Array[String]): Unit = {

    m1(new Person)
    m1(new Human)
    m1(new Son)

	m2(new Person)
    m2(new Human)
    m2(new Son)

  }

  def m1[T<:Person](a:T) = {
    println(a)
  }

  def m2[T>:Person](a:T) = {
    println(a)
  }

  class Person extends Human

  class Son extends Person

  class Human

}

通过如上代码验证：

我们可以发现，上限可以很好的验证出来，可是我们验证下限时，即要求传入参数类型必须是限定类型或其父类类型，但是发现传入就算是限定类型的子类也可以正常运行（是不是很奇怪）

对于java而言，是不存在这种问题，java的泛型上下限有着明确的界定

后面经过测试发现任何类型对于下限都是成立的，后面发现原来是scala类型的问题，对于scala而言Any是任何类型的父类，这就导致这个问题产生了，可以看成任何类型都是限定类型的父类，因为都是Any类型的子类，所以对于泛型的下限其实是没有任何限定的作用的。