Java 泛型

Posted 2021-01-03 JccVirtual

1、泛型方法

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

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 ); // 传递一个字符型数组
    } 
}

　　

2、泛型类

• 泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分。
• 和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。

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());
  }
}

　　

3、类型通配符

• 类型通配符一般是使用 ? 代替具体的类型参数。例如 List<?> 在逻辑上是 List<String> , List<Integer>  等所有 List<具体类型实参> 的父类。
• 类型通配符上限用 extends 表示，形如 List<? extends Number> ，表示 通配符泛型值接受 Number及其下层子类类型。
• 类型通配符下限用 super  关键字表示 ， 形如  List<? super Number> ，表示类型只能接受  Number及其三层父类类型，如Objec类型的实例。

 

import java.util.*;
 
public class GenericTest {
     
    public static void main(String[] args) {
        List<String> name = new ArrayList<String>();
        List<Integer> age = new ArrayList<Integer>();
        List<Number> number = new ArrayList<Number>();
        
        name.add("icon");
        age.add(18);
        number.add(314);
 
        getData(name);
        getData(age);
        getData(number);
       
   }
 
   public static void getData(List<?> data) {
      System.out.println("data :" + data.get(0));
   }
}

 

4、泛型上限/下限

<? extends T>和<? super T>的区别

<? extends T>表示该通配符所代表的类型是T类型的子类。
<? super T>表示该通配符所代表的类型是T类型的父类。

一般来说，因为所有类都继承object，所以在实现某个，比如说一个能够接受各种类型的参数就设为object，但取值的时候就得转换类型，但现在有了泛型就可以省去转换类型这一步骤，并且达到和用object一样的作用，还不用转换，简便开发。

 

 

参考文档：

http://www.runoob.com/java/java-generics.html

贴一篇文档，写泛型写得很好，有一点看不明白

https://www.cnblogs.com/lwbqqyumidi/p/3837629.html