Java一分钟之-泛型通配符:上限与下限野蛮类型

在Java中,泛型通配符允许我们在定义方法参数或变量时,接受不同类型的泛型实例。了解通配符的上限和下限,以及野蛮类型,有助于编写更具通用性的代码。以下是一些关键概念、常见问题及其解决方案,以及代码示例。

  1. 通配符上限(Upper Bounds)

    • 概念 :使用? extends T表示类型是T或其子类型。T被称为上限类型。
    • 示例
java 复制代码
   void addToList(List<? extends Number> numbers) {
       numbers.add(10); // 错误,不能添加元素
       Number num = numbers.get(0); // 正确,可以安全地读取
   }
  • 问题:只能读取,不能添加元素。
  • 避免:使用通配符上限时,明确代码的读写需求。
  1. 通配符下限(Lower Bounds)

    • 概念 :使用? super T表示类型是T或其父类型。T被称为下限类型。
    • 示例
java 复制代码
   void copyNumbers(List<? super Number> dest, List<Number> src) {
       dest.addAll(src); // 正确,可以添加元素
       Number num = dest.get(0); // 错误,编译错误,无法安全地读取
   }
  • 问题:只能添加元素,不能安全地读取元素。
  • 避免:使用通配符下限时,确保代码主要关注写入操作。
  1. 野蛮类型(Raw Types)

    • 概念 :不使用泛型或者使用泛型但不指定类型参数,如List而不是List<String>
    • 示例
java 复制代码
   List list = new ArrayList(); // 野蛮类型
   list.add("String"); // 可以添加任何类型
   Object obj = list.get(0); // 获取的是Object类型,需要显式转换
  • 问题:类型安全检查缺失,可能导致运行时ClassCastException。
  • 避免:尽可能避免使用野蛮类型,除非与遗留的非泛型代码交互。
  1. 通配符的限制

    • 问题 :不能创建泛型通配符类型的实例,如List<? extends Number> numbers = new ArrayList<>()是不允许的。
    • 避免 :在需要创建实例时,指定确切的类型,如List<Number> numbers = new ArrayList<Number>()
  2. 边界冲突

    • 问题 :不能同时指定上下限,如? extends Number & Comparable<?>是非法的。
    • 避免:若需同时限制上下边界,可能需要使用自定义接口或类作为边界。

理解并熟练使用泛型通配符的上限、下限和野蛮类型,可以编写出更灵活且类型安全的代码。然而,过度使用通配符可能导致代码可读性降低,因此在设计API时要权衡通用性和清晰度。

相关推荐
rzl028 分钟前
java web5(黑马)
java·开发语言·前端
君爱学习13 分钟前
RocketMQ延迟消息是如何实现的?
后端
guojl27 分钟前
深度解读jdk8 HashMap设计与源码
java
Falling4231 分钟前
使用 CNB 构建并部署maven项目
后端
guojl33 分钟前
深度解读jdk8 ConcurrentHashMap设计与源码
java
程序员小假41 分钟前
我们来讲一讲 ConcurrentHashMap
后端
爱上语文1 小时前
Redis基础(5):Redis的Java客户端
java·开发语言·数据库·redis·后端
A~taoker1 小时前
taoker的项目维护(ng服务器)
java·开发语言
萧曵 丶1 小时前
Rust 中的返回类型
开发语言·后端·rust