java 泛型的基本定义和简单使用

1. 泛型集合
2.泛型深入复杂用法
2.1 普通泛型
2.2 < T > 的含义
2.3 < ? > 的含义
2.4 静态泛型
常用的泛型含义：

T - Type（类型）
R - Result（结果）
K - Key（键）
V - Value（值）
E - Element (元素)
N - Number（数字）
? - 不确定类型
【泛型】提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。
比如我们要写一个排序方法，能够对整型数组、字符串数组甚至其他任何类型的数组进行排序，我们就可以使用 Java 泛型。

1. 泛型集合
概念：参数化类型、类型安全的集合，强制集合元素的类型必须一致。
特点：
1. 编译时即可检查，而非运行时抛出异常；
2. 访问时，不必类型转换（拆箱）；
3. 不同泛型之间引用不能相互赋值，泛型不存在多态。

import java.util.ArrayList;
import java.util.LinkedList;
import java.util.List;
public class TestBasicGeneric {
      public static void main(String[] args) {
            // 集合：元素的类型可以不一致
            // <E> ==  <Student> 强制/约束元素类型必须一致
            List<Student> list = new ArrayList<Student>(); 
            
            list.add(new Student("tom", 20));
            list.add(new Student("jack", 21));
            
            Student s = null;
            for (int i = 0; i < list.size(); i++) {
                  // 省略父类引用接收返回值、省略instanceof类型判断、省略向下转型
                  s = list.get(i); 
                  System.out.println(s.name + " " + s.age); // tom 20  jack 21
            }
             //类型推导：E 可以省略，但创建对象的 <> 不能省略
            List<Integer> ll = new LinkedList<>();
            ll.add(100);
            ll.add(200);
            System.out.println(ll.toString()); // [100, 200]
      }
}
class Student {
      String name;
      int age;
      public Student() {}
      public Student(String name, int age) {
            super();
            this.name = name;
            this.age = age;
      }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
2.泛型深入复杂用法
——需要时间、经验的积累。
概念：约束-规范类型
场景：

2.1 普通泛型
类：创建对象时，为类所定义的泛型，进行参数化赋值
接口：实现接口时，为接口所定义的泛型，进行参数化赋值
public class TestInstanceGeneric {
      public static void main(String[] args) {
            MyClass<Integer> mc1 = new MyClass<Integer>();
            MyClass<String> mc2 = new MyClass<String>();
            mc1.m1(10);
            mc2.m1("Hello");
      }
}
/**
* 案例1：类的实例泛型
*/
class MyClass<E>{ // E代表一种通配任意类型符号，未指明类型前为Object
      public void m1(E e) {} // 泛型可以动态改变类型
      public void m2(Object o) {} // 固定写死不能变
}
/**
* 案例2：接口的实例泛型
*/
//E=Element  T=Type  K=Key  V=Value 等等...
interface MyInterface<T> { // 泛型接口
      public T method(T a);
}
//应用泛型：需要给定具体类型，如果没写默认为Object类型
class MyImplClass implements MyInterface<Dog> {
      @Override
      public Dog method(Dog a) {
            return a;
      }
}
class Dog{}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
2.2 < T > 的含义
<T> 代表某种通配类型
<T extends Object> 约定类型T为Object的子类
<T extends MyClass> 约定类型T只能为MyClass类的子类
<T extends MyClass & MyInterFace> 约定类型T为MyClass子类同时实现了MyInterFace接口，父类必须写在最前面且可&上多个接口
<T extends MyInterFace> 约定类型T只要实现了MyInterface接口
<T extends MyInterFace> 约定类型T要实现了MyInterface接口(且必须为T泛型的接口)
2.3 < ? > 的含义
<?> 代表任意通配泛型
<? extends FatherClass> 泛型类型?必须是FatherClass的子类
<? extends MyInterface> 泛型类型?必须是MyInterface的实现类
<? super SubClass> 泛型类型?必须是SubClass类或SubClass的父类
<? extends MyInterface<? extends T>> 泛型类型?必须是MyInterface的实现类，且接口又指定了泛型(必须T类型的子类)
<T extends MyInterface<? super T>> 要求T所代表的类型必须实现MyInterface接口，同时，接口泛型必须是T类型或T的父类
import java.util.ArrayList;
import java.util.List;
public class TestStaticGeneric {
      public static void main(String[] args) {
            List<Dog> list1 = new ArrayList<Dog>();
            List<Bus> list2 = new ArrayList<Bus>();
            List<Animal> list3 = new ArrayList<Animal>();
            
            m1(list1); // <? extends Animal> 类型必须是Animal的子类
            // <? extends MyInterface<? extends Vehicle>> 类型必须是:
            // 实现了接口(继承Vehicle的接口)的实现类
            m2(list2); 
            
            m3(list1); // <? super Dog> 既可以使用自身类Dog作为元素类型
            m3(list3); // <? super Dog> 又可以使用父类Animal作为元素类型
      }
      
      /**
       * <?> 代表任意泛型
       * <? extends Animal> 泛型类型?必须是Animal的子类
       * <? extends MyInterface> 泛型类型?必须是MyInterface的实现类
       * <? super Dog> 泛型类型?必须是Dog类或Dog的父类
       * <? extends MyInterface<? extends Vehicle>> 泛型类型?必须是:
       *     MyInterface的实现类，且接口又指定了泛型(类型约束)
       */
      public static void m1(List<? extends Animal> list) {}
      public static void m2(List<? extends MyInterface<? extends  Vehicle>> list2) {}
      public static void m3(List<? super Dog> list) {}
}
interface MyInterface<T>{}
class Animal{}
class Dog extends Animal{}
class Vehicle{}
class Bus extends Vehicle implements MyInterface<Bus>{}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
2.4 静态泛型
1）定义在方法的返回值类型前面：、、<T extends Comparable>、<T extends Comparable<? super T>>，可使用&多个接口
场景：形参列表、返回值两种场景，不单单可以规范泛型，还可以语义化泛型。
2）定义在方法的形参列表当中：<?>、<? extends Object>、<? super SubClass>，不可使用&
场景：只能应用在形参列表上，规范泛型。

import java.util.ArrayList;
import java.util.List;
public class TestStaticGeneric3 {
      public static void main(String[] args) {
            m( new ArrayList<Integer>() );
            m( new ArrayList<Double>() );
            m( new ArrayList<String>() );
      }
      
      public static <T> void m(List<T> list) { }
      /**
       * 目标：集合中的所有对象，必须具备本类型的两个元素进行比较的方法。
       * <T extends Comparable> 只要List集合中的元素实现了Comparable接口就行
       * <T extends Comparable<T>> 只要List集合中的元素实现了Comparable接口(必须为T泛型的接口)才行
       * 此函数：
       * 当List<T>被传输实参后，要求T所代表的类型必须实现Comparable接口，
       *    同时，接口泛型必须是T类型或T的父类
       */
      public static <T extends Comparable<? super T>> void  sort(List<T> list) { }
}
————————————————
版权声明：本文为CSDN博主「不才Jerry」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：https://blog.csdn.net/sinat_36184075/article/details/104686649