JAVA泛型详解

一、泛型定义

• JAVA泛型（generics）是JAVA5中引入的一个新特性，泛型提供了编译时的类型安全监测机制，该机制允许我们在编译时检测到非法的类型数据结构。
• 泛型的本质就是类型参数化，也就是所操作的数据类型被指定为一个参数。
• 好处：
  • 类型安全
  • 消除了强制类型转换

二、泛型类、接口

• 泛型类

  • 定义语法

    class 类名称<泛型标识,泛型标识,....> {
    	private 泛型标识  变量名;
    	......
    }
    

  • 常用的泛型标识：T、E、K、V
  • 实例：

    public class GenericClass<T> {
        private T name ;
    
        public GenericClass(T name) {
            this.name = name;
        }
    
        public T getName() {
            return name;
        }
    
        public void setName(T name) {
            this.name = name;
        }
    
        @Override
        public String toString() {
            return "GenericClass{" +
                    "name=" + name +
                    '}';
        }
    }
    

  • 使用语法：

    类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>() ;
    

  • JAVA7以后，等式后面的<>中具体的数据类型可以省略，因为有了类型推断

    类名<具体的数据类型> 对象名 = new 类名<>() ;
    

    @Test
    public void test_generic01(){
        GenericClass<String> instance = new GenericClass<>("huwenchao");
        System.out.println(instance);
    }
    

  • 泛型类在创建对象时，如果没有指定具体的数据类型，那么默认数据类型为Object
  • 泛型类不支持基本数据类型（int、double…），只支持引用类型
  • 相同泛型类，根据不同数据类型创建的对象，本质上是同一类型getClass() == getClass()
  • 泛型类派生子类，子类也是泛型类，那么子类的泛型标识要和父类的泛型标识一致，或者包含父类的泛型标识
  • 泛型类派生子类，如果子类不是泛型类，那么父类要明确数据类型

• 泛型接口

  • 定义语法

    interface 接口名称<泛型标识,泛型标识,....> {
    	泛型标识 方法名（）
    	......
    }
    

  • 实现类不是泛型类，接口要明确数据类型
  • 实现类是泛型类，实现类和接口的泛型数据类型要一致，或者包含接口的泛型数据类型

三、泛型方法

• 定义
  • 泛型方法：是在调用方法的时候指明泛型的具体数据类型
  • 泛型类：是在实例化的时候指明泛型的具体数据类型
• 语法

  •   修饰符 <T,E,......> 返回值类型  方法名(形参列表)  {
      	方法体。。。。。
      }
    

  • public 与返回值中间的<T>非常重要，可以理解为声明此方法为泛型方法
  • 只有声明了<T>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法
  • <T>表明该方法将使用泛型类型T，此时才可以在方法中使用泛型数据类型T
  • 与泛型类的定义一样，此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型
  • 泛型方法可以声明为static的，但是泛型类的带泛型标识的成员方法不可以声明为static的

    public static <E> Class getType(E e){
        return e.getClass();
    }