泛型：自限定类型中的参数协变--《JAVA编程思想》 60

最新推荐文章于 2023-04-18 14:01:18 发布

BaymaxCS

最新推荐文章于 2023-04-18 14:01:18 发布

阅读量152

点赞数

分类专栏： JAVA编程思想文章标签： java 泛型自限定类型协变

本文链接：https://blog.csdn.net/BaymaxCS/article/details/120809351

版权

JAVA编程思想专栏收录该内容

90 篇文章 5 订阅

订阅专栏

本文探讨了Java中泛型的协变特性，特别是自限定类型如何影响方法参数。在非泛型方法中，参数类型不支持协变，仅视为重载。然而，自限定类型的泛型接口允许子类方法接收更具体的类型。通过示例展示了自限定类型如何改变方法参数的行为，使得方法参数仅接受导出类型而非基类型。总结了非泛型参数与自限定泛型参数在协变方面的关键差异，并强调了这种机制在代码设计中的重要性。

摘要由CSDN通过智能技术生成

泛型的自限定类型可以产生协变参数类型：方法参数类型会随子类而变化。

我们先来回顾一下 JAVA 中的协变返回类型。

导出类可以重写基类方法返回更为具体的类型，相对于对返回类型进行了窄化处理。

public class Base {}

public class Derived extends Base {}

public interface OrdinaryGetter {
    Base get();
}

public interface DerivedGetter extends OrdinaryGetter {
    Derived get();
}

public class CovariantReturnTypes {

    public void test(DerivedGetter d) {
        Derived derived = d.get();
    }

}

但在非泛型代码的方法中，方法参数并不能随子类型发生变化，即便两个方法参数拥有继承关系，只会被认作为方法重载。

public class OrdinarySetter {

    public void set(Base base) {
        System.out.println("OrdinarySetter set Base");
    }

}

public class DerivedSetter extends OrdinarySetter {

    public void set(Derived derived){
        System.out.println("DerivedSetter set Derived");
    }

}

public class OrdinaryArguments {

    public static void main(String[] args) {
        Base base = new Base();
        Derived derived = new Derived();
        DerivedSetter derivedSetter = new DerivedSetter();
        derivedSetter.set(base);
        derivedSetter.set(derived);
    }

}

OrdinarySetter set Base
DerivedSetter set Derived

我们可以看到 DerivedSetter 中 set(Base base) 和 set(Derived derived) 两个方法都同时存在，为重载关系，并非进行了重写。

但是，假设我们使用了自限定类型时，在导出类中，只能接受导出类作为泛型参数，不再接受基类型，如下例所示。

public interface SelfBoundSetter<T extends SelfBoundSetter<T>> {
    void set(T arg);
}

public interface Setter extends SelfBoundSetter<Setter> {}

public class SelfBoundingAndCovariantArguments {

    public void test(Setter s1, Setter s2, SelfBoundSetter selfBoundSetter) {
        s1.set(s2);
        //set方法已被重写，故传入SelfBoundSetter类型无法通过编译
        //s1.set(selfBoundSetter);
    }

}