scala快速入门系列【泛型】

本篇作为scala快速入门系列的第三十五篇博客，为大家带来的是关于泛型的内容。

在这里插入图片描述

文章目录

泛型

定义一个泛型方法
泛型类
上下界

上界
下界

协变、逆变、非变

非变
协变
逆变

泛型

scala和Java一样，类和特质、方法都可以支持泛型。我们在学习集合的时候，一般都会涉及到泛型。

在这里插入图片描述
那如何自己定义泛型呢？

定义一个泛型方法

在scala中，使用方括号来定义类型参数。

语法
在这里插入图片描述

示例

用一个方法来获取任意类型数组的中间的元素
– 不考虑泛型直接实现（基于Array[Int]实现）
– 加入泛型支持

参考代码

不考虑泛型的实现

在这里插入图片描述
加入泛型支持

泛型类

scala的类也可以定义泛型。接下来，我们来学习如何定义scala的泛型类。

语法

在这里插入图片描述

定义一个泛型类，直接在类名后面加上方括号，指定要使用的泛型参数
指定类对应的泛型参数后，就使用这些类型参数来定义变量了

示例

实现一个Pair泛型类
Pair类包含两个字段，而且两个字段的类型不固定
创建不同类型泛型类对象，并打印

在这里插入图片描述

上下界

需求：

我们在定义方法/类的泛型时，限定必须从哪个类继承、或者必须是哪个类的父类。此时，就需要使用到上下界。

上界

使用<:类型名表示给类型添加一个上界，表示泛型参数必须要从该类（或本身）继承。

语法
在这里插入图片描述

示例

定义一个Person类
定义一个Student类，继承Person类
定义一个demo泛型方法，该方法接收一个Array参数
定义一个demo泛型方法，该方法接收一个Array参数
测试调用demo，传入不同元素类型的Array

参数代码
在这里插入图片描述

下界

上界是要求必须是某个类的子类，或者必须从某个类继承，而下界是必须是某个类的父类（或本身）

语法
在这里插入图片描述
[NOTE]

如果类既有上界、又有下界。下界写在前面，上界写在后面

示例

定义一个Person类
定义一个Policeman类，继承Person类
定义一个Superman类，继承Policeman类
定义一个demo泛型方法，该方法接收一个Array参数
限定demo方法的Array元素类型只能是Person、Policeman
测试调用demo，传入不同元素类型的Array

参考代码1

在这里插入图片描述
参考代码2

object _04GenericType {

  // 1. 定义类和子类
  class Person
  class Policeman extends Person
  class Superman extends Policeman


  // 2. 定义泛型方法，指定泛型的类型上下界
  def demo[T >: Policeman <: Person](array: Array[T])={
    println(array)
  }

  // 3. 调用demo方法，传入不同类型的数据进行测试
  def main(args: Array[String]): Unit = {
    demo(Array(new Person))
    demo(Array(new Policeman))
     
    // 编译报错：String类型并不是Person类型或者是它的子类
    // demo(Array(new Superman))

  }
}