【Java 泛型】泛型用法 ( 泛型编译期擦除 | 上界通配符 ＜? extends T＞ | 下界通配符 ＜? super T＞ )

public class Demo {
    public <T> T get(){
        T t = null;
        return t;
    }
}

D:\java>javap -v Demo.class
Classfile /D:/java/Demo.class
  Last modified 2021-9-7; size 307 bytes
  MD5 checksum 727bc59421b23a5f0a31af0e91630ab8
  Compiled from "Demo.java"
public class Demo
  minor version: 0
  major version: 52
  flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
   #1 = Methodref          #3.#14         // java/lang/Object."<init>":()V
   #2 = Class              #15            // Demo
   #3 = Class              #16            // java/lang/Object
   #4 = Utf8               <init>
   #5 = Utf8               ()V
   #6 = Utf8               Code
   #7 = Utf8               LineNumberTable
   #8 = Utf8               get
   #9 = Utf8               ()Ljava/lang/Object;
  #10 = Utf8               Signature
  #11 = Utf8               <T:Ljava/lang/Object;>()TT;
  #12 = Utf8               SourceFile
  #13 = Utf8               Demo.java
  #14 = NameAndType        #4:#5          // "<init>":()V
  #15 = Utf8               Demo
  #16 = Utf8               java/lang/Object
{
  public Demo();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 1: 0
  public <T extends java.lang.Object> T get();
    descriptor: ()Ljava/lang/Object;
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=1
         0: aconst_null
         1: astore_1
         2: aload_1
         3: areturn
      LineNumberTable:
        line 3: 0
        line 4: 2
    Signature: #11                          // <T:Ljava/lang/Object;>()TT;
}
SourceFile: "Demo.java"

descriptor: ()Ljava/lang/Object;

import java.lang.reflect.InvocationTargetException;
import java.lang.reflect.Method;
import java.util.ArrayList;
import java.util.List;
public class Main {
    public static void main(String[] args) {
        // 编译器 在 编译期 进行检查
        List<String> list1 = new ArrayList<>();
        //list1.add(1);
        // 编译器 在 编译期 不进行检查
        List list2 = new ArrayList<String>();
        //list2.add(1);
        try {
            Method method = ArrayList.class.getMethod("add", Object.class);
            method.invoke(list1, 1);
            System.out.println("list1 集合大小 : " + list1.size());
        } catch (NoSuchMethodException e) {
            e.printStackTrace();
        } catch (InvocationTargetException e) {
            e.printStackTrace();
        } catch (IllegalAccessException e) {
            e.printStackTrace();
        }
    }
}

<T extends Person> 只能在声明泛型时使用 , 不能在 使用 泛型 时使用 ;
public class Data<T extends Person> {
}

<? extends T> 只能在使用 泛型 时使用 , 不能在声明 泛型类/方法 时 使用 ;
Data<? extends Person> data6 = new Data<>();

public class Animal {
}

public class Person extends Animal {
}

public class Woman extends Person {
}

public class Data<T extends Person> {
}

// 上边界通配符
        // 符合要求 , 可设置 Woman 的父类 , Woman 以及 Person 类
        Data<? super Woman> data4 = new Data<>();
        // 符合要求 , 可设置 Person 类
        Data<? super Person> data5 = new Data<>();
        // 不符合要求 , Animal 是最顶层的类 , 其取值都不符合 <T extends Person> 要求
        Data<? super Animal> data6 = new Data<>();

<? super T> 只能在使用 泛型 时使用 , 不能在声明 泛型类/方法 时 使用 ;
Data<? super Person> data6 = new Data<>();

public class Person extends Animal {
}

public class Woman extends Person {
}

public class Data<T extends Person> {
}

// 上边界通配符
        // 符合要求 , 可设置 Woman 的父类 , Woman 以及 Person 类
        Data<? super Woman> data4 = new Data<>();
        // 符合要求 , 可设置 Person 类
        Data<? super Person> data5 = new Data<>();
        // 不符合要求 , Animal 是最顶层的类 , 其取值都不符合 <T extends Person> 要求
        //Data<? super Animal> data6 = new Data<>();