scala的泛型

一、泛型的概念

举例

不同类型下求中间值

package fx

object fx01 {
  def getMiddle_Int(arr:Array[Int]):Int = {
    // 长度/2
    arr(arr.length / 2)
  }
  def getMiddle_String(arr:Array[String]):String = {
    // 长度/2
    arr(arr.length / 2)
  }

  def getMiddle_Double(arr: Array[Double]): Double = {
    // 长度/2
    arr(arr.length / 2)
  }

  def main(args: Array[String]): Unit = {
    var m = getMiddle_Int(Array(1,2,3,4,5))
    println(s"数组中间的元素是：${m}")
    var m1 = getMiddle_String(Array("aa","bb","cc"))
    println(s"数组中间的元素是：${m1}")
    var m2 = getMiddle_Double(Array(1.1,2.2,3.3))
    println(s"数组中间的元素是：${m2}")
  }
}

泛型的定义为：参数化类型，即所有操作的数据类型被指定为一个参数。

在Scala中，用[]表示（在java中使用<>）。 泛型是对数据的类型的约束！

我们的学习内容包括：泛型方法，泛型类，泛型特质。

二、泛型方法

泛型方法指的是：把泛型定义放在方法声明上。即：该方法的参数类型是由泛型来决定的。在调用方法时，明确具体的数据类型。

三、泛型方法的格式

定义方法： def 方法名泛型名称1，泛型名称2 = {  }

调用方法： 方法名类型1，类型2，

如果在参数列表中可以推断出对应的类型，则可以省略方括号[类型1,类型2]

看不懂看下图

将上述例题简化

package fx

object fx01 {
  def getMiddle[T](arr: Array[T]):T = {
    // 长度 / 2
    arr(arr.length / 2)
  }

  def main(args: Array[String]): Unit = {
    var m = getMiddle[Int](Array(1,2,3,4,5))
    println(s"数组中间的元素是：${m}")
    var m1 = getMiddle[String](Array("aa","bb","cc"))
    println(s"数组中间的元素是：${m1}")
    var m2 = getMiddle[Double](Array(1.1,2.2,3.3))
    println(s"数组中间的元素是：${m2}")
    var m3= getMiddle[Boolean](Array(true,false,true))
    println(s"数组中间的元素是：${m3}")
  }
}

四、理解泛型

1、泛型和数据类型有什么区别？

ArrayList 是数据类型，Student是泛型。 他们不是一个层次的概念。 类型内部的数据使用泛型来约束。

2、泛型的声明方式是从外部把类型传入到类的内部，好比是传入参数一样。所以，泛型也称之为类型参数。如果参数没有传递，就说明不需要类型的约束，它也不会发生错误。而是采用通用类型。

3、在编译时有效，在运行时会失效。也就是说在代码被编译之后，在产生的代码中是看不到泛型相关的代码的。

五、泛型类

泛型类指的是：把泛型定义放在类的声明上。即：该类中的参数类型是由泛型来决定的。在创建对象的时候，再来明确具体的数据类型。

格式：class 类[ T ](val 变量：T)

来从一个具体的需求出发来看看泛型类的使用。

需求：定义一个Pair泛型类，该类包含两个字段，且两个字段的类型不固定。创建不同类型的Pair泛型类对象，并打印

写泛型类的步骤格式：先写一个普通的类 -> 把参数的类型（或者返回值的类型，或者内部属性成员的类型）改成泛型名 -> 在类名的后面添加[ 泛型 ]

案例：

package fx

object fx03 {
  
  
  // 泛型类
  // 类内部的数据类型不稳定，所以用泛型
  class Pair[T](var a:T,var b:T)
  def main(args: Array[String]): Unit = {
    val p1 = new Pair(1,2)
    println(p1.a)
    println(p1.b)

    val p2 = new Pair(1.1,2.2)
    println(p1.a)
    println(p2.b)
  }
}

六、泛型特质

泛型特质指的是：把泛型定义放在trait的声明上。即：该特质中的参数类型是由泛型来决定的。在定义特质的子类或者子单例对象时，明确具体的数据类型。

格式

trait 特质A[ T ] {}

class B extends 特质A[ 指定的数据类型 ] {}

需求：

1、定义泛型特质Logger，该特质有一个变量a和show方法，他们都是用Logger特质的泛型。

2、定义单例对象ConsoleLogger，继承Logger特质