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

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

我们先来回顾一下 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);
    }

}

SelfBoundingAndCovariantArguments 内的 test 方法中，Setter 的 set 方法中的参数已被覆盖，只接受 Setter 类型的参数，不再接受基类型 SelfBoundSetter。

小结
1.非泛型代码中的方法参数类型不存在协变关系，会被认作为方法重载。
2.自限定类型在导出类中的方法参数只能接受导出类型（基类型不可以）。

本次分享至此结束，希望本文对你有所帮助，若能点亮下方的点赞按钮，在下感激不尽，谢谢您的【精神支持】。

若有任何疑问，也欢迎与我交流，若存在不足之处，也欢迎各位指正！