Java 泛型使用(类、方法、接口协议、类型通配符、通配符上下限)
一、简介
- 泛型:是 JDK5 中引入的特性,它提供了编译时类型安全检测机制,该机制允许在编译时检测到非法的类型,它的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
- 一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参。那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,然后在使用/调用时传入具体的类型。
- 这种参数类型可以用在类、方法和接口中,分别被称为泛型类泛型方法、泛型接口。
- 泛型 定义格式: <类型>:指定一种类型的格式,这里的类型可以看成是形参。 <类型1,类型2...>:指定多种类型的格式,多种类型之间用逗号隔开,这里的类型可以看成是形参。 将来具体调用时候给定的类型可以看成是实参,并且实参的类型只能是引用数据类型。
- 泛型 的好处: 把运行时期的问题提前到了编译期间 避免了强制类型转换
二、泛型类
- 泛型类 的定义格式: 格式: 修饰符 class 类名<类型> { } 范例: public class Generic<T> { } 此处 T 可以随便写为任意标识,常见的如 T、E、K、 V 等形式的参数常用于表示泛型。
- 定义一个公用泛型类 Generic.java public class Generic<T> { // 定义私有属性 private T t; // 重写 get 方法 public T getT() { return t; } // 重写 set 方法 public void setT(T t) { this.t = t; } } 复制代码
- main 函数中使用,指定泛型为 String,在使用泛型类的时候,所有泛型指向的就是 String。 public class test { public static void main(String[] args) { // 新建对象 Generic<String> g1 = new Generic<String>(); // 使用 set 方法 g1.setT("dzm"); } } 复制代码
三、泛型方法
- 泛型方法 的定义格式: 格式:修饰符 <类型> 返回值类型 方法名(类型量名){ } 范例:public <T> void show(T t){ }
- 案例: public class test { public static void main(String[] args) { // 使用泛型方法 DZMLog("dzm"); DZMLog(88); DZMLog(true); } // 泛型方法 static <T> void DZMLog(T t) { System.out.println(t); } } 复制代码 输出: dzm 88 true 复制代码
四、泛型接口协议
- 泛型接口协议 的定义格式: 格式:修饰符 interface 接口名<类型>{ } 范例:public interface Generic<T>{ }
- 定义一个 Generic.java 接口协议 public interface Generic<T> { // 接口方法定义 public default void show(T t) { System.out.println(t); } } 复制代码
- 定义一个 GenericPro.java 类去遵守 Generic.java 接口协议 public class GenericPro<T> implements Generic<T> { // 继承协议并实现协议方法 @Override public void show(T t) { // 实现协议方法 } } 复制代码
五、类型通配符
- 为了表示各种泛型 List 的父类,可以使用 类型通配符
- 类型通配符 的定义格式: 类型通配符:<?> List<?>:表示元素类型未知的 List,它的元素可以匹配 任何的类型。 这种带通配符的 List 仅表示它是各种泛型 List 的父类,并不能把元素添加到其中。
- 通配符的 上下限: 如果说我们不希望 List<?> 是任何泛型 List 的父类,只希望它代表某一类泛型 List 的父类,可以使用类型通配符的上限。 类型通配符 - 上限: <? extends 类型> 范例 List<? extends Number>:它表示的类型是 Number或者其子类型,一定不能是父类型。 类型通配符 - 下限:<? super 类型> 范例 List<? super Number>:它表示的类型是 Number或者其父类型,一定不能是子类型。
- 案例: import java.util.List; import java.util.ArrayList; public class test { public static void main(String[] args) { // 类型通配符: <?> List<?> list1 = new ArrayList<String>(); List<?> list2 = new ArrayList<Number>(); List<?> list3 = new ArrayList<Integer>(); // 类型通配符 上线: <? extends 类型> List<? extends Number> list5 = new ArrayList<String>(); // 这个会报错,因为 String 不属于 Number或者其子类型 List<? extends Number> list6 = new ArrayList<Number>(); List<? extends Number> list7 = new ArrayList<Integer>(); // 类型通配符 下线: <? super 类型> List<? super Number> list5 = new ArrayList<String>(); // 这个会报错,因为 String 不属于 Number或者其父类型 List<? super Number> list6 = new ArrayList<Number>(); List<? super Number> list7 = new ArrayList<Integer>(); // 这个会报错,因为 Integer 不属于 Number或者其父类型 } } 复制代码
作者:卡尔特斯
链接:https://juejin.cn/post/7010954093325713445
来源:掘金
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。