泛型方法 ❓
[修饰符] <类型变量, 类型变量...> [返回值类型] [方法名]\(形参列表) { } // 将类型变量作为方法的返回值类型 public static <T> T test(T t) { return t; // t 类型是类型变量规范的 } // 使用 String str = test("hello"); // String test(123); // int People p = test(new People()); // People // ...
需求
要求所有的汽车都可以参加比赛
- 定义一个Car类，多定义几个车类，如：BENZ,BMW,BYD…
- 将定义的汽车类
继承·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 面向对象 基础语法
