Penyimpangan: Generik dan kad bebas ialah dua sintaks yang lebih sukar dalam tatabahasa Java Tujuan utama mempelajari generik dan kad bebas adalah untuk dapat Saya faham kod sumber tetapi sebenarnya tidak banyak menggunakannya.
《 Terdapat berkata dalam "Java Programming Thoughts": Kelas dan kaedah am hanya boleh menggunakan jenis tertentu: sama ada jenis asas atau kelas tersuai. Jika anda ingin menulis kod yang boleh digunakan untuk berbilang jenis, sekatan tegar ini akan menjadi sangat terhad kepada kod tersebut. Jadi bermula dari Java5, mekanisme generik diperkenalkan Apakah maksud generik ini? Oleh kerana kelas dan kaedah umum hanya boleh menggunakan satu jenis tertentu, ini meletakkan kekangan besar pada kod Contohnya, kaedah untuk mencari nilai maksimum tiga nombor Andaikan bahawa jenis senarai parameter dalam kaedah pada permulaan ialah Integer, anda tidak mempunyai masalah untuk mencari nilai maksimum daripada tiga data integer, program ini boleh berjalan dengan sempurna, tetapi apabila anda ingin mencari nilai maksimum antara tiga nombor titik terapung, program ini tidak boleh disusun pada masa ini untuk menulis satu lagi kaedah yang berlebihan dan melaksanakan senarai parameter dan fungsi pelaksanaan berdasarkan Double Ini juga boleh menyelesaikan masalah, adakah anda pernah memikirkan masalah bagaimana jika terdapat sepuluh ribu atau satu juta jenis? perlu meminta yang terbesar daripada tiga objek, apakah yang perlu anda lakukan? Tulis satu juta kaedah terlebih beban? Ini adalah mustahil untuk menyelesaikan masalah jenis ini, generik telah diperkenalkan dengan konsep jenis parameter, membenarkan kod untuk menggunakan berbilang jenis Secara umumnya, generik adalah "terpakai kepada banyak, banyak jenis". Generik boleh digunakan untuk menghantar jenis sebagai "parameter" kepada kelas, antara muka dan kaedah, supaya kelas dan kaedah boleh mempunyai keupayaan ekspresi terluas, dan tidak perlu mencipta jenis lain hanya kerana parameter berbeza.
Nota: Mana-mana jenis asas tidak boleh digunakan sebagai parameter jenis.
Mari belajar tentang generik melalui sekeping kod Pertama, lihat sekeping kod berikut yang tidak menggunakan generik:
rreee<.> //output:A@1b6d3586Tiada masalah untuk mencipta kelas tanpa menggunakan generik, tetapi kebolehgunaan semula kelas ini tidak begitu baik. Ia hanya boleh memegang kelas
Objek tidak boleh memegang objek dari mana-mana kelas lain Kami tidak mahu menulis kelas baharu untuk setiap jenis yang kami hadapi. Apabila kita mengkaji kelas, kita tahu bahawa kelas A ialah kelas induk bagi semua kelas, jadi kelas Object boleh menerima semua rujukan jenis dan kita boleh membiarkan kelas Object memegang objek jenis Print . Object
/**
* 不使用泛型
*/
class A {
}
class Print {
private A a;
public Print(A a) {
setA(a);
System.out.println(this.a);
}
public void setA(A a) {
this.a = a;
}
public A getA() {
return this.a;
}
}
public class Generic {
public static void main(String[] args) {
Print print = new Print(new A());
}
}//output://B@1b6d3586
//2022
//Ini objek rentetan!
boleh menerima dan mencetak sebarang jenis, tetapi ini bukan hasil yang kami mahukan jika anda melaksanakan kelas jadual berjujukan, yang dilaksanakan melalui tatasusunan Jika Ini boleh menerima apa-apa jenis, yang sangat mengelirukan Apabila data dikeluarkan, tidak pasti jenis data yang dikeluarkan, dan data yang dikeluarkan adalah daripada kelas Print1, yang memerlukan penukaran jenis paksa ditentukan? Kelas memegang objek jenis dan pengkompil boleh menyemak ketepatan jenis. Generik mencapai tujuan ini dengan sempurna. Sekarang kita akan menulis semula kod di atas ke dalam kelas generik. nama< Senarai parameter generik> {ObjectKebenaran mengubah nama pembolehubah parameter generik;//Pembolehubah ahli generik
}Kelas generik
Contohnya:Sintaks untuk menggunakan kelas generik adalah seperti berikut:/** * 使用Object类 */ class B{ } class Print1 { private Object b; public Print1(Object b) { setB(b); System.out.println(this.b); } public void print(Object b) { setB(b); System.out.println(this.b); } public void setB(Object b) { this.b = b; } } public class Generic1 { public static void main(String[] args) { Print1 print1 = new Print1(new B());//打印B类型 int i = 2022; print1.print(i);//打印整型类型 print1.print("这是一个字符串对象！");//打印字符串类型 } }Salin selepas log masuk
class Print2<T> {
private T c;
public void print(T c) {
setC(c);
System.out.println(this.c);
}
public void setC(T c) {
this.c = c;
}
}* 2022/**
*C@1b6d3586
* output:
* Ini objek rentetan!
*/nama kelasberikut mewakili pemegang tempat, menunjukkan bahawa kelas semasa ialah kelas generik.
K mewakili Kunci
[Spesifikasi] Parameter jenis biasanya diwakili dengan huruf besar Nama yang biasa digunakan ialah:
E mewakili Elemen
V mewakili. Nilai<T>
Print2<Integer> print3 = new Print2<Integer>();
memerlukan cast.
使用泛型类时，可以通过泛型类型中传入的类型来推导实例化该泛型类时所需的类型参数，换个说法，定义泛型对象时，前面的尖括号内必须指定类型，后面实例化时可以不指定。如：
Print2<Integer> print3 = new Print2<>();//后面尖括号内可省略
裸类型其实很好理解，就是一个泛型类，你不去指定泛型对象持有的类型，这样的一个类型就是裸类型。 比如：
public static void main(String[] args) {
Print2 print2 = new Print2();
print2.print(2022);
print2.print("字符串");
}//output:
//2022
//字符串
我们不要自己去使用裸类型，裸类型是为了兼容老版本的 API 保留的机制。
介绍泛型的擦除机制之前，我们先来了解泛型数组·，先说结论，在Java中不允许实例化泛型数组，如果一定要建立一个泛型数组，正确的做法只能通过反射来实现，当然有一个“捷径”可以不使用反射来创建泛型数组。创建的代码如下：
1.通过捷径创建，大部分情况下不会出错。
public class MyArrayList<T> {
public T[] elem ;
private int usedSize;
public MyArrayList(int capacity) {
this.elem = (T[])new Object[capacity];
}
}2.通过反射创建，现在只给代码，具体为什么要这么做后续介绍反射再说。
public class MyArrayList<T> {
public T[] elem ;
private int usedSize;
public MyArrayList(Class<T> clazz, int capacity) {
this.elem = (T[]) Array.newInstance(clazz, capacity);
}
}我们先来实现一个简单的泛型顺序表，不考虑扩容问题，只实现简单的增删操作，来看看构造方法部分编译后的反汇编。
import java.lang.reflect.Array;
public class MyArrayList<T> {
public T[] elem ;
private int usedSize;
public MyArrayList(int capacity) {
this.elem = (T[])new Object[capacity];
}
public MyArrayList(Class<T> clazz, int capacity) {
this.elem = (T[]) Array.newInstance(clazz, capacity);
}
}
我们发现所有的泛型占位符T都被擦除替换成Object了，这就说明Java的泛型机制是在编译期实现的，而泛型机制实现就是通过像这样的擦除机制实现的，并在编译期间完成类型的检查。
我们通过打印持有不同类型的MyArrayList类来看看，泛型机制到底是不是不会出现在运行期间，如果是的话，打印出的类型都应该是MyArrayList。
public static void main(String[] args) {
MyArrayList<Integer> list1 = new MyArrayList<>(10);
MyArrayList<String> list2 = new MyArrayList<>(10);
System.out.println(list1);
System.out.println(list2);
}/**
* output:
* MyArrayList@1b6d3586
* MyArrayList@4554617c
*/
我们发现打印的类型是一样的，都是MyArrayList，所以可以得出一个结论，泛型是发生在编译期，泛型的类型检查是在编译期完成的，泛型的实现是通过擦除机制实现的，类后面的占位符都会被擦除，其他的占位符都会被替换成Object。当然，这是在泛型参数没有指定上界的情况下，如果存在上界，那占位符会擦除成上界的类型或接口，其实没有指定上界，上界默认为Object，什么是泛型上界，嘘，等一下再说。
根据擦除机制，也能解释为什么Java当中不能实例化泛型数组了，因为泛型数组前面的占位符会被擦除成Object，实际上是创建一个Object数组，而Object数组中什么类型都能放，这就导致取数据时不安全，因为你不能确定数组里面存放的元素全部都是你预期的类型，所以为了安全，Java不允许实例化泛型数组。
在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。
class 泛型类名称<类型形参 extends 类型边界> {
...
}
例如：Number是Integer,Float,Double等相关数字类型的父类。
public class MyArrayList<T extends Number> {
}那么这个MyArrayList泛型类只能指定持有Number类以及Number的子类，像这样就给泛型的类型传参做了约束，这个约束就是泛型的上界，泛型类被类型边界约束时，只能指定泛型类持有类型边界这个类及其子类。
MyArrayList<Integer> list1 = new MyArrayList<>(10);//正确
MyArrayList<Double> list2 = new MyArrayList<>(10);//正确
MyArrayList<String> list3 = new MyArrayList<>(10);//错误，因为String不是Number的子类假设需要设计一个泛型类，能够找出数组中最大的元素。
class MaxVal<T extends Comparable<T>> {
public T max(T[] data) {
T max = data[0];
for (int i = 0; i < data.length; i++) {
if (max.compareTo(data[i]) < 0) max = data[i];
}
return max;
}
}由于引用类型的比较需要使用Comparable接口来判断大小，所以所传入的类需要实现Comparable接口，上面这个泛型的类型参数的上界是一个特殊的上界，表示所传入的类型必须实现Comparable接口，不过实现了Comparable接口的类，那也就是Comparable的子类了，综上，像这样类似需要通过实现某一个接口来达到预期功能的类型，使用泛型时需指定泛型的上界，并且该传入的类型必须实现该上界接口。
有泛型类，那么就一定有泛型接口，泛型方法，其中泛型接口与泛型类的创建和使用是一样的，所以我们重点介绍泛型方法的创建与使用。 创建泛型方法的基本语法：
方法限定符 <类型形参列表> 返回值类型 方法名称(形参列表) { ... }
例如上面实现求数组中最大元素泛型版的方法如下：
class MaxVal<T extends Comparable<T>> {
public <T extends Comparable<T>> T max(T[] data) {
T max = data[0];
for (int i = 0; i < data.length; i++) {
if (max.compareTo(data[i]) < 0) max = data[i];
}
return max;
}
}对于非static修饰的静态方法， <类型形参列表>可以省略，上述代码可以变成：
class MaxVal<T extends Comparable<T>> {
public T max(T[] data) {
T max = data[0];
for (int i = 0; i < data.length; i++) {
if (max.compareTo(data[i]) < 0) max = data[i];
}
return max;
}
}但是，如果是一个static修饰的静态方法，<类型形参列表>不可以省略，因为静态方法不依赖与对象，它的使用不用实例化对象，所以必须有单独的类型参数列表来指定持有的对象类型。
class MaxVal<T extends Comparable<T>> {
public static <T extends Comparable<T>> T max(T[] data) {
T max = data[0];
for (int i = 0; i < data.length; i++) {
if (max.compareTo(data[i]) < 0) max = data[i];
}
return max;
}
}和泛型类一样，泛型方法也有类型推导的机制，如果不使用类型推导，那么泛型方法是这么使用的：
使用类型推导图中画圆圈部分可以省略。
在泛型类中没有如下的父子类关系：
public class MyArrayList<E> { ... }
// MyArrayList<Object> 不是 MyArrayList<Number> 的父类型
// MyArrayList<Number> 也不是 MyArrayList<Integer> 的父类型但是使用通配符这两种类是有符子类关系的。
?就是一个通配符，用与泛型的使用，与泛型不同的是，泛型T是确定的类型，传入类型实参后，它就确定下来了，而通配符更像是一种规定，规定一个范围，表示你能够传哪些参数。 一个泛型类名尖括号之内仅含有一个?，就会限制这个泛型类传入的类型为Object，相当于没有限制，但是获取元素时由于不能确定具体类型，只能使用Object引用接收，所以<?>也被称为无界通配符。
//使用泛型打印顺序表
public static<T> void printList1(ArrayList<T> list) {
for (T x:list) {
System.out.println(x);
}
}
//使用通配符打印顺序表
public static void printList2(ArrayList<?> list) {
for (Object x:list) {
System.out.println(x);
}
}使用泛型T能够确定传入的类型就是T类型，所以使用T类型的变量接收，而通配符?没有设置边界的情况下，默认上界是Object没有下界，为了保证安全，只能使用Object类型的变量接收。
通配符是用来解决泛型无法协变的问题的，协变指的就是如果Student是Person的子类，那么List<Student>也应该是List<Person>的子类。但是泛型是不支持这样的父子类关系的。
通配符也有上界，可以限制传入的类型必须是上界这个类或者是这个类的子类。
基本语法：
//可以传入的实参类型是Number或者Number的子类
例如：
public static void printAll(ArrayList<? extends Number> list) {
for (Number n: list) {
System.out.println(n);
}
}我们对printAll方法的一个形参限制了类型的上界Number，所以在遍历这个顺序表的时候，需要使用Number来接收顺序表中的对象，并且使用该方法时，只能遍历输出Number及其子类的对象。
public static void main(String[] args) {
printAll(new ArrayList<Integer>());//ok
printAll(new ArrayList<Double>());//ok
printAll(new ArrayList<Float>());//ok
printAll(new ArrayList<String>());//error
}
假设有如下几个类：
class Animal{}
class Cat extends Animal{}
class Dog extends Animal{}
class Bird extends Animal{}Animal是Cat,Dog,Bird类的父类，我们来看一看使用泛型和使用通配符在打印对象结果上会有什么区别？我们对这两者都设置了上界，当打印不同的对象时，到底会调用谁的toString方法。
//泛型
public static <T extends Animal> void printAnimal1(ArrayList<T> list) {
for (T animal: list) {
System.out.println(animal);
}
}
//通配符
public static void printAnimal2(ArrayList<? extends Animal> list) {
for (Animal animal: list) {
System.out.println(animal);
}
}我们先来看泛型，使用泛型指定类型后，那么指定什么类型，那它就会输出什么类型的对象，比如你指定顺序表中放的类型是Cat，那么它调用的就是Cat对象的toString方法。
public static void main(String[] args) {
Cat cat = new Cat();
Dog dog = new Dog();
Bird bird = new Bird();
//泛型
ArrayList<Cat> list1 = new ArrayList<>();
ArrayList<Dog> list2 = new ArrayList<>();
ArrayList<Bird> list3 = new ArrayList<>();
list1.add(cat);
list2.add(dog);
list3.add(bird);
printAnimal1(list1);//Cat
printAnimal1(list2);//Dog
printAnimal1(list3);//Bird
}
再来看一看通配符，使用通配符是规定能够使用Animal及其子类，不伦你传入哪一个子类对象，都是父类的引用接收，但是具体哪一个子类，并不清楚。
public static void main(String[] args) {
Cat cat = new Cat();
Dog dog = new Dog();
Bird bird = new Bird();
//通配符
ArrayList<Cat> list1 = new ArrayList<>();
ArrayList<Dog> list2 = new ArrayList<>();
ArrayList<Bird> list3 = new ArrayList<>();
list1.add(cat);
list2.add(dog);
list3.add(bird);
printAnimal2(list1);//Cat
printAnimal2(list2);//Dog
printAnimal2(list3);//Bird
}
父类引用接收子类对象发生了向上转型，当打印父类引用的子类对象时，会优先使用子类的toString方法，在介绍多态的时候也讲过这个问题，所以输出结果与使用泛型是一样的，但是泛型和通配符的效果是不一样的，泛型是你传入什么类型，那这个类就会持有什么类型的对象，而通配符是规定一个范围，规定你能够传哪一些类型。
通配符的上界是支持如下的父子类关系的，而泛型的上界不支持：
MyArrayList 是 MyArrayList
或者 MyArrayList 的父类类型
MyArrayList<?> 是 MyArrayList 的父类型
对于通配符的上界有个特点，先说结论，使用通配符上界可以读取数据，但是并不适合写入数据，因为不能确定类所持有的对象具体是什么。
public static void main(String[] args) {
ArrayList<Integer> arrayList1 = new ArrayList<>();
ArrayList<Double> arrayList2 = new ArrayList<>();
arrayList1.add(10);
List<? extends Number> list = arrayList1;
System.out.println(list.get(0));//ok
Integer = list.get(0);//error因为不能确定list所持有的对象具体是什么
list.add(2);//error因为不能确定list所持有的对象具体是什么，为了安全，这种情况Java不允许插入元素
}
因为从list获取的对象类型一定Number或者Number的子类，所以可以使用Number引用来获取元素，但是插入元素时你并不能确定它到底是哪一种类型，为了安全，使用通配符上界的list不允许插入元素。
与泛型不同，通配符可以拥有下界，语法层面上与通配符的上界的区别是讲关键字extends改为super。
<? super Integer>//代表 可以传入的实参的类型是Integer或者Integer的父类类型
既然是下界那么通配符下界与上界对传入类的规定是相反的，即规定一个泛型类只能传入下界的这个类类型或者这个类的父类类型。比如<? super Integer>代表 可以传入的实参的类型是Integer或者Integer的父类类型（如Number，Object）
public static void printAll(ArrayList<? super Number> list) {
for (Object n: list) { //此处只能使用Object接收，因为传入的类是Number或者是Number的父类
System.out.println(n);
}
}public static void main(String[] args) {
printAll(new ArrayList<Number>());//ok
printAll(new ArrayList<Object>());//ok
printAll(new ArrayList<Double>());//error
printAll(new ArrayList<String>());//error
printAll(new ArrayList<Integer>());//error
}
同理通配符的下界也是满足像下面这种父子类关系的。
MyArrayList<? super Integer> 是 MyArrayList
的父类类型
MyArrayList<?> 是 MyArrayList<? super Integer>的父类类型
总结： ?是? extends ....和? super ....的父类，看通配符之间的父子类关系，最关键的是看通配符所“规定的”范围，判断父子类是根据这个范围来判断的。
通配符的下界也有一个特点，那就是它能够允许写入数据，当然能够写入的数据对象是下界以及下界的子类，但是并不擅长读数据，与通配符的上界相反。
public static void main(String[] args) {
ArrayList<? super Animal> list = new ArrayList<Animal>();
ArrayList<? super Animal> list2 = new ArrayList<Cat>();//编译报错，list2只能引用Animal或者Animal父类类型的list
list.add(new Animal());//添加元素时，只要添加的元素的类型是Animal或者Animal的子类就可以
list.add(new Cat());
Object s2 = list.get(0);//可以
ArrayList<? super Animal> list3 = new ArrayList<Object>();
Cat s1 = list3.get(0);//error因为构造对象时可以构造Animal父类类型的ArrayList，取出的对象不一定是Animal或者Animal的子类
}
对于这个栗子添加元素时，只要添加的元素的类型是Animal或者Animal的子类就可以，获取元素时，只能使用Object引用接收，不能使用其他的引用接收，因为因为构造对象时可以构造Animal父类类型的ArrayList，虽然可以插入Animal以及其子类对象，但取出的对象不能保证是Animal或者Animal的子类。
Atas ialah kandungan terperinci Contoh analisis generik dan kad bebas di Jawa. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!
![[Web front-end] Permulaan pantas Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
