Scala自适应类型

容器和类型推演

    scala为Java的泛型容器提供类型推演和类型安全型。

    在scala中，import语句中的下划线，等价于Java里的星号（*）。如果下划线不是跟在包名后，而是类名后，会导入类的所有成员，等价于Java的static import。

package com.fanshadoopimport java.util._class GenericDemo {val list: List[Int] = new ArrayList[Int]//冗余的泛型信息val list1 = new ArrayList[Int]val list2 = new ArrayList//相当于ArrayList[Nothing]list = list2//编译错误，对实例化对象的类型，Scala很警觉，严禁进行可能引发类型问题的转换}

    在scala中，Nothing是所有类的子类，Any是所有类的基类。默认情况下，Scala要求赋值两边的容器类型相同。

    Any是所有类型的基类型。默认情况下，scala不允许持有任意类型的容器赋值给一个持有Any类型的容器。

var ref1 : Int = 1var ref2 : Any = nullref2 = ref1//合法

    Scala坚持认为无参数化类型的容器是Nothing的容器，并且限制类型间的赋值。

Any类型

    在scala里，Any让我们可以持有任何类型对象的引用。Any是一个抽象类，它有如下方法：!=()、=()、asInstanceOf()、equals()、hashCode、isInstanceOf()和toString()方法。

    Any的直接后代是AnyVal和AnyRef。对于所有可以映射为Java基本类型的scala类型，如Int,Double等，AnyVal充当着它们的基类。另一方面，AnyRef是所有引用类型的基类。AnyVal没有提任何额外的方法，AnyRef则包含了Java的Object方法。AnyRef直接映射为Java的Object。

关于Nothing

    scala用Nothing类型（所有类型的子类）帮助类型推演更平滑的工作。既然他是任何类型的子类，它就可以替换任何东西。Nothing是抽象的，因此，在运行时，它的实例并不会真实存在，它纯粹是类型推演的帮手。

def method1() = {     throw new IllegalArgumentException()}

上例中，scala推导的返回类型为Nothing。

Option类型

    将类型显示声明为Option[T]，scala会强制我们检查实例的不存在，如此，就不太可能因为没有检查null引用而抛出NullPointerException。调用返回Option[T]的getOrElse()方法，可以主动的应对不存在的情况(None)。

方法返回类型推演

    scala也会尝试推演方法返回值的类型。如果用等号=定义方法，scala就可以推演返回类型，否则，它假设方法时一个void方法。

传递变参

    如果方法接受参数，就需要指定参数的名字及其类型：

def divide(op1:Double,op2:Double) = op1/op2

    如果可以编写接受可变数目参数(vargs)的方法，不过，只有末尾的参数可以接受可变数目的实参。在类型信息之后使用特殊符号(*)。

def max(vals:Int*) = vals.foldLeft(vals(0)){Math.max}println(max(1,4,5,0,10))//调用多参数的方式，此处不能传递数组

可以将数组展开成离散值

val array = Array(1,3,4,5)println(max(array:_*))//将数组转换为离散值

参数化类型的可变性

    将子类实例的容器赋给基类容器的能力成为协变。将超类实例的容器赋给子类容器的能力成为逆变。默认情况下，scala都两者都不支持。

package com.fanshadoopimport java.util._class Pet(val name:String) {   override def toString() = name   }class Dog(override val name:String) extends Pet(name)class GenericDemo {    def workPets(pets: Array[Pet]) = {        }    val dogs = Array(new Dog("will"), new Dog("peter"))        def playwith[T<:Pet](pets: Array[T]) = println(pets.mkString(","))//T<:Pet表示T派生于Pet类        playwith(dogs)//}