将派生类传递给需要重写期望基类的方法

Question

我有一个 A 类，有一个抽象方法 doAction(BaseClass obj) 需要一个 BaseClass 类型的参数

public class A {
    //....
    abstract void doAction(BaseClass obj);
    //....
}

现在，我有另一个类 B 需要扩展 A。但是，B 的 doAction 方法需要使用扩展 BaseClass 的对象 DerivedClass。

public class B extends class A {
     //..
     void doAction(DerivedClass obj) {
          obj.callMethodAvailableOnlyInDerivedClass();
      }

 }

如果我需要将 DerivedClass 类型的参数传递给需要 BaseClass 的方法，我该如何处理？

谢谢！

Answer 1

你可以使用：

public abstract class A<T extends BaseClass> {
//....
abstract void doAction(T obj);
//....
}


public class B extends class A<DerivedClass> {
 //..
 void doAction(DerivedClass obj) {
      obj.callMethodAvailableOnlyInDerivedClass();
  }

}

Answer 2

java中没有Contra-Variance的参数，因为它不安全。

假设你有A a = new B();

然后你调用a.doAction(new BaseClass())会发生什么？

这将导致运行时错误，因为B 不知道BaseClass 的“用途”。 java想避免它——所以参数没有协方差。

Answer 3

你使基类通用：

public class A<T extends BaseClass> {
    //....
    abstract void doAction(T obj);
    //....
}

以及用派生类参数化的子类：

public class B extends A<DerivedClass> {
     //..
     void doAction(DerivedClass obj) {
         obj.callMethodAvailableOnlyInDerivedClass();
     }
}

没有泛型，这是不可能的，因为 B 会违反 A 的合同：A 接受任何类型的 BaseClass，但您限制 B 只接受特定的子类。这不尊重Liskov principle。