由点到面贯穿整个Java泛型理解

简介: 由点到面贯穿整个Java泛型理解

泛型概述

Java泛型(generics)是DK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译时检测到非法的类型数据结构。

泛型的本质就是参数化类型,也就是所操作的数据类型被指定为一个参数。

如我们经常使用的ArrayList中的使用E表示泛型的形参,需要我们传递指定实际的类型。

如果不指定默认是Object类型,Object不能强转为其本身的子类型,所以出现java.lang.Object无法转换为java.lang.String。

泛型类和接口

泛型类

1、泛型类的定义语法

2、常用的泛型标识:T、E、K、V

泛型标识可以作为成员变量的类型定义标识和函数的返回类型标识成员方法的参数类型标识

class Test<T>{ //T创建对象的时候指定数据类型
      private T a;
      public T getA(T b){
          return a;
      }
  }
  //具体的实现如下:
  Test<Integer> t = new Test<>();//使用Integer类型指定 T 具体是什么

3、 泛型类相关知识

  • 泛型类在创建对象的时候,来指定操作的具体类型
  • 如果在创建对象的时候没有指定具体类型,将会按照Object类型操作。
  • 泛型类不支持传入基本类型,因为传入的类型需要时Object的子类,在类型擦除的时候,如果没有extends,super,会默认把泛型参数变为Object,具体泛型擦除看下边
  • 泛型类型在逻辑上可以看成是不同数据类型,但实际上事相同的类型
  • 因为使用了泛型,我们可以在一个类中使用不同的数据类型如:Integer,String等

泛型子类

1、子类是泛型类

父类是泛型类,子类也是泛型类,子类中的泛型变量要有一个和父类的泛型要保持一致

class Test<T>{
    private T a;
    public T getA(T b){
        return a;
    }
}
class Son1<T,K> extends Test<T>{ //如果父类是泛型类,子类要有一个泛型变量和父类保持一致
}
class Son2<K> extends Test<T>{ //报错:不保持一致会报错
}

2、子类不是泛型类

子类不是泛型类,父类要明确泛型的数据类型

class Test<T>{
    private T a;
    public T getA(T b){
        return a;
    }
}
class Son1 extends Test<String>{ //子类不是泛型类,父类要明确泛型的数据类型
}
class Son2 extends Test<T>{ //报错:需要明确父类的泛型数据类型
}

泛型接口

泛型接口的定义语法

interface Test<T>{
    T get(T a);
}
class Son1<T,K> implements  Test<T>{
    @Override
    public T get(T a) {
        return null;
    }
}
class Son2 implements Test<String>{
    @Override
    public String get(String a) {
        return null;
    }
}
class Son3 implements Test{//如果不写的话,默认的T就会变成Object
    @Override
    public Object get(Object a) {
        return null;
    }
}
  1. 实现类不是泛型类,接口要明确数据类型
  2. 实现类也是泛型类,实现类和接口的泛型类型要一致

泛型方法

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

举例如下:

class Test1{
    public <T> T geta(T a){
        return a;
    }
}
public class Main {
    public static void main(String[] args) {
        Test1 test1 = new Test1();
        Integer geta = test1.geta(1);//根据传入参数的类型指定泛型形参
  }
}

反向方法的可变参数

泛型方法总结:

  • 泛型方法能使方法独立于类而产生变化
  • 如果static方法要使用泛型能力,就必须使其成为泛型方法

类型通配符

类型通配符上限

类型通配符一般是使用?代替具体的类型参数,所以类型通配符是类型实参.

? extends Number,表示的是类型通配符的上线是Number

class Test1<T>{
    public void  get1(){
    }
}
public class Main{
    public static void main(String[] args) {
        get(new Test1<>());
        get1(new Test1<Integer>());
    }
    public static void get(Test1<?> test1){
        test1.get1();
    }
    public static void get1(Test1<? extends Number> test1){
        test1.get1();
    }
}

类型通配符下限

采用super关键字 ? super Number表示类型最低是Number

class Test1<T>{
    public void  get1(){
    }
}
public class Main{
    public static void main(String[] args) {
        get(new Test1<>());
        get1(new Test1<Number>());
    }
    public static void get(Test1<?> test1){
        test1.get1();
    }
    public static void get1(Test1<? super Number> test1){
        test1.get1();
    }

类型擦除

无限制的类型擦除

有限制的类型擦除

擦除方法中类型定义的参数

桥接方法

因为在编译的时候,为了保证实现类重写了接口的方法,虽然实现类有了Integer的方法,但是在泛型擦除的时候会在实现类中生成一个Object的方法。

泛型与数组

泛型数组的创建

  • 可以声明带泛型的数组引用,但是不能直接创建带泛型的数组对象
  • 可以通过java.lang.reflect.Array的newInstance(Class,int)创建T[]数组
  1. 方法一
public static void main(String[] args) {
        ArrayList<String>[] a = new ArrayList<String>[4]; //错误案例
        ArrayList<String>[] b = new ArrayList[4];//创建数组
    }
  1. 方法二
class Test1<T>{
    private T[] arr;
    public Test1(Class<T> clz,int len){ //创建数组
        arr = (T[]) Array.newInstance(clz,len);
    }
    public void put(int index, T item){
        arr[index]=item;
    }
}

泛型与反射

public static void main(String[] args) throws Exception {
        Class test1Class= Test1.class;
        Constructor constructor = test1Class.getConstructor();
        Object o = constructor.newInstance();
    }

反射常用的泛型类

Class<T>
Constructor<T>
相关文章
|
3月前
|
安全 Java 编译器
揭秘JAVA深渊:那些让你头大的最晦涩知识点,从泛型迷思到并发陷阱,你敢挑战吗?
【8月更文挑战第22天】Java中的难点常隐藏在其高级特性中,如泛型与类型擦除、并发编程中的内存可见性及指令重排,以及反射与动态代理等。这些特性虽强大却也晦涩,要求开发者深入理解JVM运作机制及计算机底层细节。例如,泛型在编译时检查类型以增强安全性,但在运行时因类型擦除而丢失类型信息,可能导致类型安全问题。并发编程中,内存可见性和指令重排对同步机制提出更高要求,不当处理会导致数据不一致。反射与动态代理虽提供运行时行为定制能力,但也增加了复杂度和性能开销。掌握这些知识需深厚的技术底蕴和实践经验。
76 2
|
21天前
|
Java API
[Java]泛型
本文详细介绍了Java泛型的相关概念和使用方法,包括类型判断、继承泛型类或实现泛型接口、泛型通配符、泛型方法、泛型上下边界、静态方法中使用泛型等内容。作者通过多个示例和测试代码,深入浅出地解释了泛型的原理和应用场景,帮助读者更好地理解和掌握Java泛型的使用技巧。文章还探讨了一些常见的疑惑和误区,如泛型擦除和基本数据类型数组的使用限制。最后,作者强调了泛型在实际开发中的重要性和应用价值。
17 0
[Java]泛型
|
30天前
|
存储 安全 Java
🌱Java零基础 - 泛型详解
【10月更文挑战第7天】本文收录于「滚雪球学Java」专栏,专业攻坚指数级提升,希望能够助你一臂之力,帮你早日登顶实现财富自由🚀;同时,欢迎大家关注&&收藏&&订阅!持续更新中,up!up!up!!
11 1
|
1月前
|
Java 语音技术 容器
java数据结构泛型
java数据结构泛型
27 5
|
1月前
|
存储 Java 编译器
Java集合定义其泛型
Java集合定义其泛型
17 1
|
2月前
|
Java 编译器 容器
Java——包装类和泛型
包装类是Java中一种特殊类,用于将基本数据类型(如 `int`、`double`、`char` 等)封装成对象。这样做可以利用对象的特性和方法。Java 提供了八种基本数据类型的包装类:`Integer` (`int`)、`Double` (`double`)、`Byte` (`byte`)、`Short` (`short`)、`Long` (`long`)、`Float` (`float`)、`Character` (`char`) 和 `Boolean` (`boolean`)。包装类可以通过 `valueOf()` 方法或自动装箱/拆箱机制创建。
35 9
Java——包装类和泛型
|
1月前
|
存储 Java 编译器
【用Java学习数据结构系列】初识泛型
【用Java学习数据结构系列】初识泛型
20 2
|
2月前
|
安全 Java API
【Java面试题汇总】Java基础篇——String+集合+泛型+IO+异常+反射(2023版)
String常量池、String、StringBuffer、Stringbuilder有什么区别、List与Set的区别、ArrayList和LinkedList的区别、HashMap底层原理、ConcurrentHashMap、HashMap和Hashtable的区别、泛型擦除、ABA问题、IO多路复用、BIO、NIO、O、异常处理机制、反射
【Java面试题汇总】Java基础篇——String+集合+泛型+IO+异常+反射(2023版)
|
1月前
|
安全 Java 编译器
Java基础-泛型机制
Java基础-泛型机制
15 0
|
2月前
|
存储 安全 搜索推荐
Java中的泛型
【9月更文挑战第15天】在 Java 中,泛型是一种编译时类型检查机制,通过使用类型参数提升代码的安全性和重用性。其主要作用包括类型安全,避免运行时类型转换错误,以及代码重用,允许编写通用逻辑。泛型通过尖括号 `&lt;&gt;` 定义类型参数,并支持上界和下界限定,以及无界和有界通配符。使用泛型需注意类型擦除、无法创建泛型数组及基本数据类型的限制。泛型显著提高了代码的安全性和灵活性。