泛型

泛型

泛型，即参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以将之称为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

使用

• 泛型类

public class Classname<T>{
	private T data;
}

// 调用：
Classname<?> classname = new Classname<>(); 

• 泛型接口

public interface InterfaceName<T>{
	T getData();
} 

// 接口实现：
// 1.指定类型
public class Interface1 implements InterfaceName<String>{
    public String getData(){
        String text;
        return text;
    }
}

// 2.不指定类型
public class Interface2 implements InterfaceName<T>{
    public T geData(){
        T data;
        return data;
    }
}

• 泛型方法

原则：

• 所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的）。
• 每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
• 类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
• 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。

private static <T> T methodName(T a, T b){}

// 调用：
methodName(par1,par2);

泛型限定

interface ABC{};
class A implements ABC{}
class B extends A{}
class C extends B{}
class D<T extends ABC>{}		// T继承AB，泛型的类型就只能传递AB及其AB的子类、子接口类型

类型通配符

类型通配符一般是使用?代替具体的类型参数。例如 List<?> 在逻辑上是List,List 等所有List<具体类型实参>的父类。

上界限定：D // 只能传ABC及其ABC的子类、子接口类型

下界限定：D // 只能传B及其B的父类、实现的接口类型

作用

1. 提高代码复用率
2. 泛型中的类型在使用时指定，不需要强制类型转换（类型安全，编译检查类型）

注意：在编译之后程序会采取去泛型化的措施，泛型信息不会进入到运行时阶段