java泛型代码测试
本文是参照以下这边文章进行的代码测试,加深自己对泛型的理解。
文章链接:java泛型详解
代码已存放于我的Gitee代码仓库:Java学习问题测试代码
普通泛型接口
package com.zmz.test.Genericity;
/**
* Create with IntelliT IDEA
*
* @Author: zhengmingzhe
* @Date: 2022/09/08/14:04
* @Description: 普通泛型接口
*/
//定义一个泛型接口
//泛型接口与泛型类的定义及使用基本相同。泛型接口常被用在各种类的生产器中,可以看一个例子:
public interface Generator<T> {
public T next();
}
实现泛型接口的泛型类-不传入实参
package com.zmz.test.Genericity;
/**
* Create with IntelliT IDEA
*
* @Author: zhengmingzhe
* @Date: 2022/09/08/14:05
* @Description: 实现泛型接口的泛型类 -不传入实参
*/
/**
* 未传入泛型实参时,与泛型类的定义相同,在声明类的时候,需将泛型的声明也一起加到类中
* 即:class FruitGenerator<T> implements Generator<T>{
* 如果不声明泛型,如:class FruitGenerator implements Generator<T>,编译器会报错:"Unknown class"
*/
class FruitGenerator<T> implements Generator<T>{
@Override
public T next() {
return null;
}
}
实现泛型接口的泛型类-传入实参
package com.zmz.test.Genericity;
/**
* Create with IntelliT IDEA
*
* @Author: zhengmingzhe
* @Date: 2022/09/08/14:10
* @Description: 泛型类实现泛型接口 --传入实参
*/
import java.util.Random;
/**
* 传入泛型实参时:
* 定义一个生产器实现这个接口,虽然我们只创建了一个泛型接口Generator<T>
* 但是我们可以为T传入无数个实参,形成无数种类型的Generator接口。
*
* 在实现类实现泛型接口时,如已将泛型类型传入实参类型,则所有使用泛型的地方都要替换成传入的实参类型
* 即:Generator<T>,public T next();中的的T都要替换成传入的String类型。
*/
public class ColorGenerator implements Generator<String>{
public static void main(String[] args) {
ColorGenerator generator = new ColorGenerator();
System.out.println(generator.next());
}
private String[] colors = new String[]{"RED", "BULE", "YELLOW"};
@Override
public String next() {
Random random = new Random();
return colors[random.nextInt(3)];
}
}
普通泛型类
package com.zmz.test.Genericity;
/**
* Create with IntelliT IDEA
*
* @Author: zhengmingzhe
* @Date: 2022/09/08/13:45
* @Description: 普通泛型类 泛型有三种使用方式,分别为:泛型类、泛型接口、泛型方法
* 通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种容器类,如:List、Set、Map。
*/
//此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型
//在实例化泛型类时,必须指定T的具体类型
public class Generic<T>{
//key这个成员变量的类型为T,T的类型由外部指定
private T key;
public Generic(T key) { //构造方法形参key的类型也为T,T的类型由外部指定
this.key = key;
}
public Generic() {
}
//我想说的其实是这个,虽然在方法中使用了泛型,但是这并不是一个泛型方法。
//这只是类中一个普通的成员方法,只不过他的返回值是在声明泛型类已经声明过的泛型。
//所以在这个方法中才可以继续使用 T 这个泛型 比如把这里的T替换成E就会报错
public T getKey(){ //返回值类型为T,T的类型由外部指定
return key;
}
//在泛型类中声明了一个泛型方法,使用泛型E,这种泛型E可以为任意类型。可以类型与T相同,也可以不同。
//由于泛型方法在声明的时候会声明泛型<E>,因此即使在泛型类中并未声明泛型,编译器也能够正确识别泛型方法中识别的泛型。
public <E> void show(E t){
System.out.println(t.toString());
}
public void showKeyValue(Generic<?> obj){
System.out.println("泛型通配符测试: key value is " + obj.getKey());
}
/**
* 泛型方法的基本介绍
* @param tClass 传入的泛型实参
* @return T 返回值为T类型
* 说明:
* 1)public 与 返回值中间<T>非常重要,可以理解为声明此方法为泛型方法。
* 2)只有声明了<T>的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
* 3)<T>表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
* 4)与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
*/
public <T> T genericMethod(Class<T> tClass)throws InstantiationException ,
IllegalAccessException{
T instance = tClass.newInstance();
return instance;
}
/*
* @Description 泛型方法可变参数
* @Param
* @return
**/
public <T> void printMsg( T... args){
for(T t : args){
System.out.println("泛型可变参数测试:t is " + t);
}
}
/**
* 静态方法无法访问类上定义的泛型,需要添加额外的泛型声明(将这个方法定义成泛型方法)
* 即使静态方法要使用泛型类中已经声明过的泛型也不可以。
* 如:public static void show(T t){..},此时编译器会提示错误信息:
"StaticGenerator cannot be refrenced from static context"
*/
public static <T> void show2(T t){
}
/*
* @Description 为泛型添加上边界,即传入的类型实参必须是指定类型的子类型
* <? extends E> extends 关键字声明了类型的上界,表示参数化的类型可能是所指定的类型,或者是此类型的子类
<? super E> super 关键字声明了类型的下界,表示参数化的类型可能是指定的类型,或者是此类型的父类
* @Param
* @return
**/
public void showKeyValue1(Generic<? extends Number> obj){
System.out.println("泛型上边界测试:key value is " + obj.getKey());
}
/*
* @Description 这个也是上边界问题 返回值只能是所指定类型的子类型
* @Param
* @return
**/
public Generic<? extends Number> showKeyValue2(){
// 下面这一行注释掉的就会报错
// Generic<String> a = new Generic<>();
Generic<Integer> a = new Generic<>();
return a ;
}
}
测试类-测试泛型
package com.zmz.test.Genericity;
import java.util.ArrayList;
import java.util.List;
/**
* Create with IntelliT IDEA
*
* @Author: zhengmingzhe
* @Date: 2022/09/08/11:33
* @Description: 泛型测试
*/
public class GenericityTest {
public static void main(String[] args) {
// listTest();
// listTest2();
// listTest3();
// listTest4();
// listTest5();
// listTest6();
// listTest7();
listTest8();
}
/*
* @Description 此方法会报错 因为既添加了String,又添加了Integer类型
* @Param
* @return
**/
static void listTest(){
List arrayList = new ArrayList();
arrayList.add("aaaa");
arrayList.add(100);
for(int i = 0; i< arrayList.size();i++){
String item = (String)arrayList.get(i);
System.out.println("泛型测试:item = " +item);
}
}
/*
* @Description 在编译之后程序会采取去泛型化的措施,也就是说Java中的泛型,只在编译阶段有效。
* @Param
* @return
**/
static void listTest2(){
List<String> stringArrayList = new ArrayList<String>();
List<Integer> integerArrayList = new ArrayList<Integer>();
Class classStringArrayList = stringArrayList.getClass();
Class classIntegerArrayList = integerArrayList.getClass();
if(classStringArrayList.equals(classIntegerArrayList)){
System.out.println("泛型测试,类型相同");
}else
System.out.println("类型不相同");
}
/*
* @Description 泛型引用测试 ,泛型的类型参数只能是类类型(包括自定义类),不能是简单类型,比如这里用的Integer包装类
* 不能对确切的泛型类型使用instanceof操作。如下面的操作是非法的,编译时会出错。instanceof 是用来判断它的左边是不是右边的实例
* @Param
* @return
**/
static void listTest3(){
//传入的实参类型需与泛型的类型参数类型相同,即为Integer.
Generic<Integer> genericInteger = new Generic<Integer>(123456);
//传入的实参类型需与泛型的类型参数类型相同,即为String.
Generic<String> genericString = new Generic<String>("key_vlaue");
System.out.println("泛型测试 :key is " + genericInteger.getKey());
System.out.println("泛型测试:key is " + genericString.getKey());
}
/*
* @Description 泛型也可以不传入参数类型,这样就会失去泛型的限制作用
* @Param
* @return
**/
static void listTest4(){
Generic generic = new Generic("111111");
Generic generic1 = new Generic(4444);
Generic generic2 = new Generic(55.55);
Generic generic3 = new Generic(false);
System.out.println("泛型测试:key is " + generic.getKey());
System.out.println("泛型测试:key is " + generic1.getKey());
System.out.println("泛型测试:key is " + generic2.getKey());
System.out.println("泛型测试:key is " + generic3.getKey());
}
/*
* @Description 泛型通配符 方法showKeyValue声明的?是类型实参
* @Param
* @return
**/
static void listTest5(){
Generic generic = new Generic();
Generic<Integer> gInteger = new Generic<Integer>(123);
Generic<Number> gNumber = new Generic<Number>(456);
generic.showKeyValue(gInteger);
generic.showKeyValue(gNumber);
// showKeyValue这个方法编译器会为我们报错:Generic<java.lang.Integer>
// cannot be applied to Generic<java.lang.Number>
// showKeyValue(gInteger);
}
/*
* @Description 泛型可变参数测试
* @Param
* @return
**/
static void listTest6(){
Generic generic = new Generic();
generic.printMsg("111",222,"aaaa","2323.4",55.55);
}
/*
* @Description 泛型上边界测试,传入的参数类型必须为指定参数类型的子类
* @Param
* @return
**/
static void listTest7(){
Generic generic = new Generic();
Generic<String> generic1 = new Generic<String>("aaa");
Generic<Integer> generic2 = new Generic<Integer>(2222);
Generic<Float> generic3 = new Generic<Float>(2.4f);
Generic<Double> generic4 = new Generic<Double>(2.56);
//这一行代码编译器会提示错误,因为String类型并不是Number类型的子类
// generic1.showKeyValue1(generic1);
generic.showKeyValue1(generic1);
generic2.showKeyValue1(generic2);
generic3.showKeyValue1(generic3);
generic4.showKeyValue1(generic4);
generic1.showKeyValue2();
}
/*
* @Description 泛型数组测试 不能创建一个确切的泛型类型的数组
* @Param
* @return
**/
static void listTest8(){
//下面这个例子不行
// List<String>[] ls = new ArrayList<String>[10];
//下面这个使用通配符是可以的
// List<?>[] ls = new ArrayList<?>[10];
//这样也是可以的
// List<String>[] ls = new ArrayList[10];
List<?>[] lsa = new List<?>[10]; // OK, array of unbounded wildcard type.
Object o = lsa;
Object[] oa = (Object[]) o;
List<Integer> li = new ArrayList<Integer>();
li.add(new Integer(3));
oa[1] = li; // Correct.
Integer i = (Integer) lsa[1].get(0); // OK
System.out.println("泛型数组测试,数组第一个元素为:"+i);
}
}
结语
所谓泛型就是把类型参数化。
学习难免会遇到问题,要学会去测试验证自己的想法,实践是检验真理的唯一标准。