玩转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)

相关文章
|
5天前
|
存储 安全 Java
Java的泛型(Generics)技术性文章
Java的泛型(Generics)技术性文章
13 1
|
13天前
|
机器学习/深度学习 安全 Java
Java 泛型
5月更文挑战第17天
|
13天前
|
安全 Java 编译器
Java的泛型
Java的泛型
24 1
|
16天前
|
安全 Java 编译器
Java一分钟之——泛型方法与泛型接口
【5月更文挑战第20天】Java泛型提供编译时类型安全检查,提升代码重用和灵活性。本文探讨泛型方法和接口的核心概念、常见问题和避免策略。泛型方法允许处理多种数据类型,而泛型接口需在实现时指定具体类型。注意类型擦除、误用原始类型和泛型边界的理解。通过明确指定类型参数、利用通配符和理解类型擦除来避免问题。泛型接口要精确指定类型参数,适度约束,利用默认方法。示例代码展示了泛型方法和接口的使用。
44 1
Java一分钟之——泛型方法与泛型接口
|
16天前
|
存储 安全 Java
Java一分钟之-泛型擦除与类型安全
【5月更文挑战第20天】Java泛型采用类型擦除机制,在编译期间移除泛型信息,但在编译阶段提供类型安全检查。尽管需要类型转换且可能产生警告,但可以通过特定语法避免。使用泛型时应注意自动装箱拆箱影响性能,无界通配符仅允许读取。理解这些特性有助于编写更安全的代码。
42 4
|
21天前
|
安全 Java 程序员
Java 泛型
Java 泛型
17 0
|
2天前
|
Java 程序员
33. 【Java教程】泛型
33. 【Java教程】泛型
12 0
|
5天前
|
存储 安全 Java
深入探索Java语言泛型编程
深入探索Java语言泛型编程
|
6天前
|
存储 安全 Java
Java的泛型与容器
Java的泛型与容器
|
9天前
|
存储 Java 编译器
解析Java中的包装类和泛型
解析Java中的包装类和泛型