类与对象：泛型

概述：

泛型即参数化类型，参数的类型作为一个参数，从而不会受到定义具体某个类型的限制。

根据泛型使用的场景不同分为：泛型接口，泛型类，泛型方法三种。

泛型只在编译期间起作用，也就是在编译期间就会给泛型给定类型，否则会编译就会报错。

通俗解释

通俗的讲，泛型就是操作类型的占位符，即：假设占位符为 T，那么此次声明的数据结构操作的数据类型为T类型。

假定我们有这样一个需求：写一个排序方法，能够对整型数组、字符串数组甚至其他任何类型的数组进行排序，该如何实现？答案是可以使用 Java 泛型。

使用 Java 泛型的概念，我们可以写一个泛型方法来对一个对象数组排序。然后，调用该泛型方法来对整型数组、浮点数数组、字符串数组等进行排序。

一，泛型类

泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分。

和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。

一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。

public class AddClass <T>

View Code

public class Box<T> {
    private T t;
    public void add(T t) {
        this.t = t;
    }

    public T get() {
        return t;
    }

    public static void main(String[] args) {
        Box<Integer> integerBox = new Box<Integer>();
        Box<String> stringBox = new Box<String>();

        integerBox.add(new Integer(10));
        stringBox.add(new String("菜鸟教程"));

        System.out.printf("整型值为 :%d\n\n", integerBox.get());
        System.out.printf("字符串为 :%s\n", stringBox.get());
    }
}

View Code

二，泛型接口

1 public interface Generator<T>
//第一种实现类，泛型类去继承泛型接口
2 class FruitGenerator<T> implements Generator<T>  
//第二种实现类，具体类去实现泛型接口，泛型接口必须指定类
3 public class FruitGenerator implements Generator<String>

View Code

三，泛型方法

你可以写一个泛型方法，该方法在调用时可以接收不同类型的参数。根据传递给泛型方法的参数类型，编译器适当地处理每一个方法调用。

下面是定义泛型方法的规则：

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

泛型方法的简单形式

//泛型方法的形式
public <T> void method2(Class<T> t) {
}
public <T,E> T method(AddClass<E> s) {
     return null;
}

View Code

简单例子

public class GenericMethodTest
{
   // 泛型方法 printArray                         
   public static < E > void printArray( E[] inputArray )
   {
      // 输出数组元素            
         for ( E element : inputArray ){        
            System.out.printf( "%s ", element );
         }
         System.out.println();
    }
 
    public static void main( String args[] )
    {
        // 创建不同类型数组： Integer, Double 和 Character
        Integer[] intArray = { 1, 2, 3, 4, 5 };
        Double[] doubleArray = { 1.1, 2.2, 3.3, 4.4 };
        Character[] charArray = { 'H', 'E', 'L', 'L', 'O' };
 
        System.out.println( "整型数组元素为:" );
        printArray( intArray  ); // 传递一个整型数组
 
        System.out.println( "\n双精度型数组元素为:" );
        printArray( doubleArray ); // 传递一个双精度型数组
 
        System.out.println( "\n字符型数组元素为:" );
        printArray( charArray ); // 传递一个字符型数组
    } 
}

View Code

泛型方法与可变参数

    @SafeVarargs
    public static <T> void print(T...ts) {
        for (T t : ts) {
            System.out.println(t);
        }
    }
    public static void main(String[] arg) {
        print(new String[]{"1","2","3"});
    }

View Code

public class GenericMethodTest
{
   // 泛型方法 printArray                         
   public static < E > void printArray( E[] inputArray )
   {
      // 输出数组元素            
         for ( E element : inputArray ){        
            System.out.printf( "%s ", element );
         }
         System.out.println();
    }
 
    public static void main( String args[] )
    {
        // 创建不同类型数组： Integer, Double 和 Character
        Integer[] intArray = { 1, 2, 3, 4, 5 };
        Double[] doubleArray = { 1.1, 2.2, 3.3, 4.4 };
        Character[] charArray = { 'H', 'E', 'L', 'L', 'O' };
 
        System.out.println( "整型数组元素为:" );
        printArray( intArray  ); // 传递一个整型数组
 
        System.out.println( "\n双精度型数组元素为:" );
        printArray( doubleArray ); // 传递一个双精度型数组
 
        System.out.println( "\n字符型数组元素为:" );
        printArray( charArray ); // 传递一个字符型数组
    } 
}

View Code

四，泛型通配符

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

类型通配符上限通过形如 List 来定义，如此定义就是通配符泛型值接受 Number 及其下层子类类型。

类型通配符下限通过形如 List<? super Number> 来定义，表示类型只能接受 Number 及其三层父类类型，如 Objec 类型的实例。

1. 对于泛型类AddClass<?> 若采用AddClass<Number> 为形参类型，而AddClass<Integer>作为实参类型

编译器会报错，需要用？来替代，AddClass<?> ？表示的是对于泛型类的实参。

    public void test() {
        AddClass<Integer> idd=new AddClass<Integer>(1);
        showKeyValue1(idd);
    }
    public void showKeyValue1(AddClass<?> idd){    
    }

View Code

<? extends T>和<? super T> ：https://www.cnblogs.com/drizzlewithwind/p/6100164.html

<? extends T> 上限通配符，表示T的一个未知子类

<? super T> 下限通配符，表示T的一个未知父类

5. 泛型数组