博主：_LJaXi Or 東方幻想郷
专栏： Java | 从跨平台到跨行业
开发工具：IntelliJ IDEA

泛型方法 ❓

[修饰符] <类型变量, 类型变量...> [返回值类型] [方法名]\(形参列表) {

}
// 将类型变量作为方法的返回值类型
public static <T> T test(T t) {
	return t; // t 类型是类型变量规范的
}

// 使用
String str = test("hello"); // String
test(123); // int
People p = test(new People()); // People
// ...

需求

要求所有的汽车都可以参加比赛

1. 定义一个Car类，多定义几个车类，如：BENZ,BMW,BYD…
2. 将定义的汽车类 继承 · Car 类

设计方法

public class Test() {
	public static void main(String[] args) {
		// 需求: 要求所有的汽车都可以参加比赛
		ArrayList<Car> cars = new ArrayList<>();
		cars.add(new BMW());
		cars.add(new BENZ());
		cars.add(new BYD());
		go(cars); // 类型一样 没问题
		
		// BMW
		ArrayList<BMW> bmws = new ArrayList<>();
		bmws.add(new BMW());
		go(bmws); // 这里会报错
		
		// BENZ
		ArrayList<BENZ> benzs = new ArrayList<>();
		bmws.add(new BENZ());
		go(benzs); // 这里会报错
	}
	public static void go(ArrayList<Car> cars) {

	}
}

上述情况为什么会报错
我们在进行类实例化的时候，是没有问题的，请注意看go方法内的参数类型，在Java中，泛型不支持协变性，即使BMW和BENZ是Car的子类，ArrayList<BMW> 和 ArrayList<BENZ> 也不是 ArrayList<Car> 的子类，那我就是要把 BMW 和 BENZ 都加进来，怎么办呢？

---

—泛型方法

这样也有一些问题，具体看代码

public class Test() {
	public static void main(String[] args) {
		// 需求: 要求所有的汽车都可以参加比赛
		ArrayList<Car> cars = new ArrayList<>();
		cars.add(new BMW());
		cars.add(new BENZ());
		cars.add(new BYD());
		go(cars); // 类型一样 没问题
		
		// BMW
		ArrayList<BMW> bmws = new ArrayList<>();
		bmws.add(new BMW());
		go(bmws);
		
		// BENZ
		ArrayList<BENZ> benzs = new ArrayList<>();
		bmws.add(new BENZ());
		go(benzs);
		
		// Dog 按理说不能被加进去的
		ArrayList<Dog> dogs = new ArrayList<>();
		dogs.add(new Dog());
		go(dogs); // 在变量类型中进行限制后这里会报错
	}
	// 类型限制 <T extends Car> 
	public static <T extends Car> void go(ArrayList<T> cars) {

	}
}

| 泛型的通配符 | 上限 | 下限 |

ArrayList<?> 中的 ? 可以看为一切类型
同上代码，排除 Dog

public class Test() {
	public static void main(String[] args) {
		// 需求: 要求所有的汽车都可以参加比赛
		ArrayList<Car> cars = new ArrayList<>();
		cars.add(new BMW());
		cars.add(new BENZ());
		cars.add(new BYD());
		go(cars); // 类型一样 没问题
		
		// BMW
		ArrayList<BMW> bmws = new ArrayList<>();
		bmws.add(new BMW());
		go(bmws);
		
		// BENZ
		ArrayList<BENZ> benzs = new ArrayList<>();
		bmws.add(new BENZ());
		go(benzs);
		
		// Dog 按理说不能被加进去的
		ArrayList<Dog> dogs = new ArrayList<>();
		dogs.add(new Dog());
		go(dogs); // 在变量类型中进行限制后这里会报错
	}
	// 类型限制 <? extends Car> cars)
	// ? 通配符，在使用泛型的时候可以代表一切类型， ? extends Car(上限)  ? super Car(下限)
	public static void go(ArrayList<? extends Car> cars) {

	}
}

上限通配符：使用 ? extends 类型 表示。它表示通配符代表的类型是指定类型或其子类型。这样的通配符可以用于读取数据，但不能用于写入数据。例如，ArrayList<? extends Car> 表示一个元素类型为 Car 或其子类的列表。

---

下限通配符：使用 ? super 类型 表示。它表示通配符代表的类型是指定类型或其父类型。这样的通配符可以用于写入数据，但不能用于读取数据。例如，ArrayList<? super Car> 表示一个元素类型为 Car 或其父类的列表。

泛型擦除 ⛔

共性是工作在编译阶段的，一旦程序编译成class文件，class文件中就不会存在泛型了，这就是泛型擦除

public class Test {
  public static void main(String[] args) {
    ArrayList<String> list = new ArrayList<>();
    list.add("java1");
    list.add("java2");

    String str = list.get(1);
    System.out.println(str);
  }
}

执行程序后的 class 文件, 进行反编译后，其实是这样的…

// Decompiled by Jad v1.5.8e2. Copyright 2001 Pavel Kouznetsov.
// Jad home page: http://kpdus.tripod.com/jad.html
// Decompiler options: packimports(3) fieldsfirst ansi space 
// Source File Name:   Test.java

package fanxingClass;

import java.io.PrintStream;
import java.util.ArrayList;

public class Test
{

	public Test()
	{
	}

	public static void main(String args[])
	{
		ArrayList list = new ArrayList();
		list.add("java1");
		list.add("java2");
		String str = (String)list.get(1);
		System.out.println(str);
	}
}

🎈 反编译工具: XJad-class 反编译工具

基本数据类型问题

泛型不支持基本数据类型，只支持对象类型（引用数据类型）

这样是不允许的

ArrayList<int> list = new ArrayList<>();
ArrayList<double> list = new ArrayList<>();

如果一定要传的话…

ArrayList<Integer> list = new ArrayList<>();
ArrayList<Double> list = new ArrayList<>();

至此，恭喜学完 Java 面向对象 基础语法