玩转Java泛型

简介: 玩转Java泛型

1 翻译翻译什么是泛型

泛型,英文Generics,是JDK1.5中引入的一个新特性,其本质是参数化类型,也就是说所操作的数据类型被指定为一个参数(type parameter)这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。

作用:

  • 泛化
  • 类型安全
  • 消除强制类型转换
  • 向后兼容

2 泛型常用的字符

  • E
  • T
  • ?
  • <E extends T>
  • <E super T>

3 泛型的一般使用

新建几个实体类GrandFather、Father、Son、Resp,不用讲也都应该知道每个类之前的关系吧~

我还是画个图吧:

代码:

@Data
@NoArgsConstructor
@AllArgsConstructor
@ToString
static class GrandFather {
    protected String firstName;
    private String name;
}
@Data
@NoArgsConstructor
@AllArgsConstructor
@ToString
static class Father extends GrandFather {
    private String name;
}
@Data
@NoArgsConstructor
@AllArgsConstructor
@ToString
static class Son extends Father {
    private String name;
}
@Data
@NoArgsConstructor
@AllArgsConstructor
@ToString
static class Resp<E> {
    private E e;
    private List<E> list;
}

泛型的一般使用,在实例化Resp时指定唯一泛型

public static void main(String[] args) {
    Resp<Father> resp = new Resp<>();
    resp.setE(new Father("tomFather"));
    resp.setE(new Son("tom"));
    resp.setE(new GrandFather("trmp","tomGrandFather"));  //编译报错
}

原因:

实例化时指定的泛型Father,在使用时只能针对Father类和Father类的派生类,因为Son也属于Father的一种,因此编译时不会报错,但是反过来缺不然:

public static void main(String[] args) {
    Resp<Son> resp = new Resp<>();
    resp.setE(new Father("tomFather")); //编译报错
    resp.setE(new Son("tom"));
    resp.setE(new GrandFather("trmp","tomGrandFather")); //编译报错
}

4 上界通配符和下界通配符

4.1 上界通配符<? extends T>
4.1.1 在类中使用

作用:只能泛化Father以及Father的子类

@Data
@NoArgsConstructor
@AllArgsConstructor
@ToString
static class Resp<E extends Father> {
    private E e;
    private List<E> list;
}
public static void main(String[] args) {
    Resp<GrandFather> resp = new Resp<>(); //编译报错
    Resp<Father> resp1 = new Resp<>();
    Resp<Son> resp2 = new Resp<>();
}
4.1.2 在实例化对象中使用

作用:使setter方法失效

public static void main(String[] args) {
    Resp<Father> resp = new Resp<>();
    resp.setE(new Father("1"));
    Resp<? extends Father> resp1 = resp;
    resp1.setE(new Father("2"));//编译报错
    Father father = resp1.getE();
    System.out.println(father);
}

使用getter方法

public static void main(String[] args) {
    Resp<Father> resp = new Resp<>();
    resp.setE(new Father("1"));
    Resp<? extends Father> resp1 = resp;
    //resp1.setE(new Father("2"));
    Father father = resp1.getE();
    System.out.println(father);
}

输出:

Test01.Father(name=1)

4.2 下界通配符<? super T>

一般只用在实例化的类上,示例:

public static void main(String[] args) {
    Resp<Father> resp = new Resp<>();
    resp.setE(new Father("1"));
    Resp<? super Father> resp1 = resp;
    resp1.setE(new Father("2"));
    Father father = resp1.getE(); //编译报错
    System.out.println(father);
}

使用setter方法:

public static void main(String[] args) {
    Resp<Father> resp = new Resp<>();
    resp.setE(new Father("1"));
    Resp<? super Father> resp1 = resp;
    resp1.setE(new Father("2"));
    //Father father = resp1.getE();
    System.out.println(resp);
}

输出:

Test01.Resp(e=Test01.Father(name=2), list=null)

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