fifteen day("泛型")

泛型

泛型的本质是参数化类型,就是将类型由原来的具体的类型参数化,然后在使用/调用时传入具体的参数

定义格式

• <类型>:指定一种类型的格式,这里的类型可以看成是形参
• <类型1,类型2…>:指定多种类型的格式,多种类型之间用逗号开,这里的类型可以看成是形参
• 将来具体调用时候给定的类型可以看成是实参,并且实参的类型只能是引用数据类型

好处

• 把运行时期的问题提前到了编译期间
• 避免了强制类型转换

泛型类

泛型类的定义格式

• 格式: 修饰符 class 类名<类型>{ }
• 范例: public class Generic{ }
  此处T可以随便写为任意标识,常见的如T,E,K,V等形式的参数常用于表示泛型

泛型方法

泛型方法的定义格式

• 格式: 修饰符<类型> 返回值类型 方法名(类型 变量名) { }
• 范例:public void show(T t) { }

泛型接口

泛型接口的定义格式

• 格式:修饰符 interface 接口名<类型> { }
• 范例:public interface Generic { }

类型通配符

为了表示各种泛型list的父类,可以使用类型通配符

• 类型通配符:<?>
• List<?>:表示元素类型未知的List,它的元素可以匹配任何的类型
• 这种带通配符的List仅表示它是各种泛型List的父类,并不能把元素添加到其中

如果说我们不希望List<?>是任何泛型List的父类,只希望它代表某一类泛型List的父类,可以使用类型通配符的上限

• 类型通配符上限:<? extends 类型>
• List<? extends Number>:它表示的类型是Bumber或者其子类型

除了可以指定类型通配符的上限,我们也可以指定类型通配符的下限

• 类型通配符下限:<? super 类型>
• List<? super Number>:它表示的类型是Number或者其父类型

可变参数

可变参数就是参数个数可变,用作方法的形参出现,那么方法参数个数就是可变的了

• 格式:修饰符 返回值类型 方法名(数据类型…变量名) { }
• 范例:public static int sum(int…a) { }

ke可变参数注意事项

• 这里的变量其实是一个数组
• 如果一个方法有多个参数,包含可变参数,可变参数要放在最后

可变参数的使用

Arrays工具类中有一个静态方法:

• public static List asList(T…a):返回由指定数组支持的固定大小的列表
• 返回的集合不能做增删操作,可以做修改操作

List接口中有一个静态方法:

• public static List of(E…elements):返回包含任意数量元素的不可变列表
• 返回的集合不能做增删改操作

Set接口中有一个静态方法:

• public static Set of(E…elements):返回一个包含任意数量元素的不可变集合
• 返回的集合不能做增删操作,没有修改的方法