java引入通配符的缘由

最新推荐文章于 2022-08-04 08:38:00 发布

原创

最新推荐文章于 2022-08-04 08:38:00 发布 · 231 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#java #泛型

本文介绍了Java中协变的概念，指出泛型并不满足协变，导致代码冗余。为解决此问题，Java引入了通配符<?>，包括上界<? extends B>和下界<? super B>。上界通配符允许读取B类型数据，但禁止写入；下界通配符允许写入B及B的父类型数据，但无法确定取出的具体类型，从而实现读写限制。通配符的应用帮助优化了泛型转型的问题。

文章目录

1.协变
2.泛型是不满足协变的
3.通配符引入

1.协变

当A≤B时有f(A)≤f(B)成立，那么f(⋅)是协变（covariant）的

简单来说，如果A能转型成B，如果与A相关类型也能转型为B类相关类型，那么我们称这种相关类型满足协变
举例：

Apple a = new Apple();
Fruit t = a;
Apple[] apples = new Apple[10];
Fruit[] fruits = apples;
//Apple[] 和Fruit[]满足协变

2.泛型是不满足协变的

例如：class A extends B; 但是List<A>不是List<B>的父类，也就是List<B>不能转型为List<A>，这就带来一个问题，如果List<A>和List<B>的子类存在很多相似代码，那就会代码冗余，如下面printBananas()和printApple()。

	static class Food{
        private String name;

        Food(String name){
            this.name = name;
        }
        public String getName(){
            return name;
        }
    }
    static class Fruit extends Food {

        Fruit(String name) {
            super(name);
        }
    }
    static class Apple extends Fruit{
        Apple(String name) {
            super(name);
        }
    }

    static class Banana extends  Fruit{
        Banana