关于Java中的通配符限定以及通配符捕获知识

关于这里的<?>/ <? extends ClassName>/<? super ClassName>,视频提到<? extends ClassName>只能读不能写,<? super ClassName>可以读可以写,我给出比较正式的解释。

首先是通配符捕获这个知识:我认为通配符捕获发生在实例化一个对象,并将它赋值给一个带有泛型参数的类名变量,而泛型参数中包含通配符,且泛型变量只是形如<?>/<? extends ClassName>/<? super ClassName>(形如ClassName<?>)而不含嵌套(不是ClassName<AnotherName<?>>类似结构),此时通过类名变量调用包含泛型的方法时就会触发通配符捕获。

即:通过ClassName<?> / ClassName<? extends AnotherClassName>/ClassName<? super AnotherClassName>类型的变量调用非泛型方法,且方法中的参数含有泛型参数,就会触发通配符捕获,此时需要能确定参数的类型。
例如:

List<? extends Employee> list = null;
list.add(new Object(); // Error
// List中的add方法原型
public interface List<E> extends Collection<E>{
	...
	boolean add(E e);
	...
}

分析super和extends的读写问题:

  • 对于ClassName<? extends ClassName> inst调用的非泛型方法含泛型变量T时,无法确定。对于任意一个类,总存在一个它的子类,所以无法保证传入的类实例满足此处参数为? extends ClassName类集合中的任意一个的要求,所以只能通过传递null来调用方法。

  • 对于ClassName<? super ClassName> inst调用的非泛型方法含泛型变量T时,无法确定。当传入的是ClassName的类/子类的实例,就可以保证传入的实例满足此处参数为? super ClassName类集合中的任意一个的要求。
    举例:

class MyClass<T> {
    void myMethod(List<T> list) {
        // ...
    }

    public static void main(String[] args) {
        MyClass<? extends Employee> myclass = new MyClass<>();
        myclass.myMethod(new Object());// Error1
        
        List<? extends Employee> list = null;
        myclass.myMethod(list);// Error2
    }
}

报错内容:
Error1
在这里插入图片描述
Error2:
在这里插入图片描述

可以看到这里触发了通配符捕获,但是如上所述,只能提供null进行调用。
下面是一个没有触发通配符捕获的案例:


// 方法原型:
default Predicate<T> and(Predicate<? super T> other) ;

// Main
List<Employee> list = new ArrayList<>();
list.add(new Employee());
// 
 Predicate<Manager> filter = (obj)->{
 return obj.hashCode() % 2 == 0;
 };
 list.removeIf(filter); // Error, 替换为<Object> 、 <Employee>
  • 6
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
### 回答1: 泛型限定通配符是指在泛型类型使用了extends或super关键字来限制泛型类型的范围,使其只能接受某个特定类型或其子类型或父类型作为参数。例如:List<? extends Number>表示只能接受Number及其子类作为参数。 非限定通配符是指在泛型类型使用了通配符“?”来表示可以接受任何类型作为参数,但是在使用时无法获取泛型类型的具体信息。例如:List<?>表示可以接受任何类型的List作为参数,但是无法获取其元素的具体类型信息。 ### 回答2: 泛型是Java语言一种非常强大的特性,它能够使Java代码更加通用和安全。 在泛型通配符是一种非常重要的语法,它能够限制泛型的类型范围,从而使Java程序更加类型安全。通配符分为限定通配符和非限定通配符两种类型。 首先,非限定通配符就是指没有任何限制的通配符,使用“?”符号来表示。在Java,我们可以将一个泛型对象赋值给一个非限定通配符对象,这样就可以保证代码的通用性。 举个例子,假设我们有一个ArrayList集合,集合存储的是Animal类的对象。我们可以将这个ArrayList赋值给一个非限定通配符的对象,这样就可以将集合的元素通用化,可以同时适用于Cat类和Dog类。 但是,如果我们想要对通配符进行类型限制,就需要使用限定通配符了。 限定通配符可以通过使用extends或者super关键字来实现。其,extends用于限制泛型类型的上界,super用于限制泛型类型的下界。 需要注意的是,extends和super关键字只能使用在通配符,而不能直接用在泛型。 举个例子,假如我们有一个Animal类,以及它的两个子类Cat和Dog。我们现在想要一个可以存储Animal及其子类对象的集合,但是不想让集合存储Bird及其子类对象。这个时候,我们就可以使用限定通配符来约束集合元素的类型范围。例如: ArrayList<? extends Animal> animals = new ArrayList<Cat>(); //这是合法的 ArrayList<? extends Animal> animals2 = new ArrayList<Bird>(); //这是不合法的 这样就能够保证animals集合只存储Animal及其子类对象,而不会存储Bird及其子类对象。 总之,限定通配符和非限定通配符是泛型的两个重要概念。通过使用这些通配符,我们可以限制泛型类型的范围,使Java程序更加类型安全。 ### 回答3: 泛型通配符指的是在定义泛型类或方法时使用的一种特殊符号,它可以替代任何类型的实参,从而实现更加灵活的泛型代码编写。 其,有两种常见的通配符,分别是限定通配符和非限定通配符。 非限定通配符用“?”表示,它可以匹配任何类型的实参。例如,定义一个泛型方法时可以使用“?”作为参数类型,这样就能够在方法处理任何类型的数据。 限定通配符则使用泛型类型来表示,它可以限制通配符只能匹配某些具体的类型或其子类型。例如,定义泛型方法时可以使用“? extends Number”来限定参数类型范围,这样方法只接受Number及其子类类型的实参。 在使用通配符时,需要注意通配符只能作为参数、返回值或泛型类型变量的上界使用,不能用作实例化泛型类型或类型参数的下界。此外,通配符不能使用任何操作符,而只能使用Object类提供的通用方法。 综上所述,泛型限定通配符和非限定通配符是为了提高泛型程序的灵活性和适用性而设计的。通过选择适当的通配符来限制参数类型范围,可以有效避免类型转换异常和其他类型相关的问题,使泛型代码更加健壮和可靠。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值