JAVA基础17-泛型

泛型

作用 ：意味着编写的代码可以被多个不同类型对象所重用
注意：在泛型代码的内部，无法获得任何有关泛型参数类型的信息

一、 泛型类 泛型方法 泛型接口

1-1.泛型类 具有一个或者多个类型变量的类
语法：
[修饰符] class 类<泛型> [extends 父类][ implements 接口列表]

1-2.泛型方法 定义一个带有类型参数的方法[可以定义在普通类或者泛型类中]
语法：
[修饰符] [static]<泛型> 返回值类型 方法名（参数列表）[throws 声明异常]

1-3.泛型接口
语法：
[修饰符] interface 接口名<泛型>[extend 父接口]
1-4例子

package com.demo9aa.demo3;

import java.util.ArrayList;
import java.util.Arrays;

//泛型接口
interface app<T>{
	public <T> void append(T t); 
} 
//泛型类
public class Aclass<T> implements app<T> {
	private Object[] list;
	int i=0;
	public Aclass() {
		list =new Object[10];
	}
	
	//泛型方法
	public <T> void append(T t){
		list[i]=t;
		i++;
		
	}
	@Override
	public String toString() {
		return "Aclass [list=" + Arrays.toString(list) + ", i=" + i + "]";
	}
	
	
	public static void main(String[] args) {
		Aclass<String> a=new Aclass<>();
		a.append("字符串A");
		a.append("字符串B");
		a.append("字符串C");
		System.out.println(a);
	}
	

}

二、可对类型变量T设限定

2-1.泛型的限定上限：
<？ extends E> 接受 E 或者 E 的子类型。
2-2.泛型的限定下限：
<?  super   E>  接收  E 或者 E 的父类。

三、泛型代码和虚拟机

1.Jvm本身没有泛型对象，所有的泛型在编译阶段就已经被处理成普通类和方法；
2.所有的类型参数都用他们的限定类型替换；
3.桥方法被合成来保证多态；
4.为保证类型安全性，必要时插入强制类型转换；
5.无论我们如何定义一个泛型类型，相应的都会有一个原始类型被自动提供。原始类型的名字就是擦除类型参数的泛型类型的名字。
     5-1.如果泛型类型的类型变量没有限定(<T>) ，那么我们就用Object作为原始类型；
     5-2如果有限定(<T extends XClass>)，我们就XClass作为原始类型；
     5-3如果有多个限定(<T extends XClass1&XClass2>)，我们就用第一个边界的类型变量XClass1类作为原始类型； 		
     6.当调用泛型方法时，JVM擦除返回类型，编译器插入强制类型转换