Java中的泛型介绍

目录

1.泛型简介

2.定义泛型

3.泛型方法

3.1非静态方法

3.2静态方法

3.3泛型方法与可变参数

4.通配符和上下限定

4.1无界通配符

4.2通配符的上限限定

4.3通配符的下限限定

5.总结


1.泛型简介

1)基本概念

泛型的本质就是”数据类型的参数化“,处理的数据类型不是固定的,而是可以作为参数传入。我们可以把”泛型“理解为数据类型的一个占位符(类似:形式参数),即告诉编译器,在调用泛型时必须传入实际类型。这种参数类型可以用在类、接口和方法中,分别被称为泛型类,泛型接口,泛型方法。

  • 把类型当作是参数一样传递

  • <数据类型>只能是引用类型

2)泛型的好处

  • 代码可读性更好(不用强制转换)

  • 程序更加安全(只要编译没有警告,运行时期就不会出现ClassCastException异常)

3)类型擦除

编码时采用泛型写的类型参数,编译器会在编译时去掉,称为”类型擦除“。类型参数在编译后会被替换成Object,运行时虚拟机并不知道泛型。

2.定义泛型

1)泛型字符一般采用如下标记形式

泛型标记 对应单词 说明
E Element 在容器中使用,表示容器中的元素
T Type 表示普通的Java类
K Key 表示键,例如,Map中的键Key
V Value 表示值
N Number 表示数据类型
? 表示不确定的Java类型

2)泛型类

泛型类就是把泛型定义在类上,用户使用该类的时候,才把类型明确下来,泛型类的具体使用方法是在类的名称后添加一个或多个类型参数声明,如<T>,<T,K,V>

语法结构

public class 类名<泛型表示符号>{
}

示例

public class Generic<T> {
	private T flag;
	public void setFlag(T flag) {
		this.flag = flag;
	}
	public T getFlag(){
		return flag;
	}
}
public class Test {
	public static void main(String[] args) {
		Generic<String> generic = new Generic<>();
		generic.setFlag("admin");
		String flag = generic.getFlag();
		System.out.println(flag);
		
		Generic<Integer> generic1 = new Generic<>();
		generic1.setFlag(100);
		Integer flag1 = generic1.getFlag();
		System.out.println(flag1);
	}
}

 3)泛型接口

泛型接口和泛型类的声明是一致的,泛型接口的具体类型需要在实现类中进行声明

语法结构

public interface 接口名<泛型表示符号>{
}

示例

public class IGenericmpl implements Igeneric<String> {
	@Override
	public String getName(String name) {
		return name;
	}

}
public interface Igeneric<T> {
	T getName(T name);
}
public class Test2 {
	public static void main(String[] args) {
		IGenericmpl igeneric = new IGenericmpl();
		String name = igeneric.getName("li");
		System.out.println(name);
		
		Igeneric<String> igeneric1 = new IGenericmpl();
		igeneric1.getName("liili");
		System.out.println(igeneric1);
	}
}

小结:这个泛型定义就是定义泛型类T或者接口,你想用啥类型的数据在调用时候自己定义就可以了,还是比较好理解的。  

3.泛型方法

泛型类中定义的泛型,在方法中可以使用,但经常需要仅在某一个方法上使用泛型,这个时候可以使用泛型方法。

泛型方法是指将方法的参数类型定义成泛型,以便在调用时接收不同类型的参数。类型参数可以有多个,用逗号隔开,如<K,V>。

调用时,不需要告诉编译器是什么类型,可以自动判断出来。

3.1非静态方法

语法结构

public<泛型表示符号> void getName(泛型表示符号 name){
}
public<泛型表示符号> 泛型表示符号 getName(泛型表示符号 name){
}

示例

//定义一个泛型方法,注意与泛型类的区别
public class MyGeneric {
	//无返回值
    public<T> void setName(T name) {
		System.out.println(name);
	}
	//有返回值
	public<T> T getName(T name) {
		return name;
	}
}
public class Test3 {
	public static void main(String[] args) {
		MyGeneric mygeneric = new MyGeneric();
		mygeneric.setName("lilil");
		mygeneric.setName(123);
		
		MyGeneric mygeneric1 = new MyGeneric();
		String name = mygeneric1.getName("llll");
		Integer name1 = mygeneric1.getName(123);
		System.out.println(name);
		System.out.println(name1);
	}
}
/*
lilil
123
llll
123
*/

3.2静态方法

静态方法无法访问类上的泛型,如果静态方法操作的引用数据类型不确定,必须要将泛型定义在方法上。

语法结构

public static<泛型表示符号> void getName(泛型表示符号 name){
}
public static<泛型表示符号> 泛型表示符号 getName(泛型表示符号 name){
}

示例

public class MyGeneric {
	public static <T> void setFlag(T flag) {
		System.out.println(flag);
	}
	public static <T> T getFlag(T flag) {
		return flag;
	}
}
public class Test4 {
	public static void main(String[] args) {
		MyGeneric.setFlag("ll");  //静态方法的调用不需要实例化
		MyGeneric.setFlag(1111);
		
		String flag = MyGeneric.getFlag("lili");
		System.out.println(flag);
		Integer flag1 = MyGeneric.getFlag(123);
		System.out.println("flag1");
	}

}

3.3泛型方法与可变参数

在泛型方法中,泛型也可以定义可变参数类型

语法结构

public<泛型表示符号> void showMsg(泛型表示符号...args){

示例

public class MyGeneric {
	
	public<T> void method(T...args) {
		for(T t:args) {
			System.out.println(t);
		}
	}
}
public class Test5 {
	public static void main(String[] args) {
		MyGeneric mygeneric = new MyGeneric();
		String[] arr = new String[] {"a","b","c"};
		Integer[] arr1 = new Integer[] {1,2,3};
		mygeneric.method(arr1);
		mygeneric.method(arr);
		
	}
}

4.通配符和上下限定

4.1无界通配符

?表示类型通配符,用于代替具体的类型,他只能在<>中使用,可以解决当具体类型不确定的问题。

声明格式

public void showFlag(Generic<?> generic){
}

举例

public class ShowMsg {
	public void showflag(Generic<?> generic) {
		System.out.println(generic.getFlag());
	}
}
public class Test6 {
	public static void main(String[] args) {
		ShowMsg showMsg = new ShowMsg();
		Generic<Integer> generic = new Generic<>();
		generic.setFlag(20);
		showMsg.showflag(generic);
		
		Generic<Number> generic1 = new Generic<>();
		generic1.setFlag(10);
		showMsg.showflag(generic1);
	}

}

4.2通配符的上限限定

上限限定表示通配符的类型是T类以及T类的子类或者T接口以及T接口的子接口

该方法同样适用于泛型的上限限定

语法结构

public void showFlag(Generic<? extends Number> generic){
}   //表示只能是Number或者Number的子类

不演示了,这玩意一看就会,上一个代码改成这种声明,如果用String,就会报错,代码不敲了,累了  

4.3通配符的下限限定

下限限定表示通配符的类型是T类以及T类的父类或者T接口以及T接口的父接口,该方法不适用泛型类

语法结构

public void showFlag(Generic<? super Integer> generic){
}

 同上同上,累了,不搞了

5.总结

泛型主要用于编译阶段,编译后生成的字节码class文件不包含泛型中的类型信息。类型参数在编译后会被替换成Object,运行时虚拟机并不知道泛型。因此,泛型如下几种情况是错误的

  • 基本类型不能用于泛型

    Test<int> t 不对的!应该是Test<Integer> t

  • 不能通过类型参数创建对象

    T elm = new T{}; 不对!

Guess you like

Origin blog.csdn.net/lipengfei0427/article/details/121517542