有没有办法保证接口扩展 Java 中的类？

Question

假设我有以下情况：

public abstract class Vehicle {
  public void turnOn() { ... }
}

public interface Flier {
  public void fly();
}

有没有一种方法可以保证任何实现Flier 的类也必须扩展Vehicle？我不想让Flier 成为一个抽象类，因为我希望能够以类似的方式混合其他几个接口。

例如：

// I also want to guarantee any class that implements Car must also implement Vehicle
public interface Car {
  public void honk();
}

// I want the compiler to either give me an error saying
// MySpecialMachine must extend Vehicle, or implicitly make
// it a subclass of Vehicle. Either way, I want it to be
// impossible to implement Car or Flier without also being
// a subclass of Vehicle.
public class MySpecialMachine implements Car, Flier {
  public void honk() { ... }
  public void fly() { ... }
}

Answer 1

Java 接口不能扩展类，这是有道理的，因为类包含无法在接口中指定的实现细节..

解决这个问题的正确方法是通过将Vehicle 也转换为接口来将接口与实现完全分离。 Car 等。可以扩展Vehicle接口，强制程序员实现相应的方法。如果您想在所有 Vehicle 实例之间共享代码，那么您可以使用一个（可能是抽象的）类作为任何需要实现该接口的类的父类。

Answer 2

你可以像这样重新排列你的类和接口：

public interface IVehicle {
  public void turnOn();
}

public abstract class Vehicle implements IVehicle {
  public void turnOn() { ... }
}

public interface Flier extends IVehicle {
  public void fly();
}

这样Flier 的所有实现都可以保证实现车辆的协议，即IVehicle。

Answer 3

如果您可以控制Vehicle 类，只需将Vehicle 提取为接口，然后提供基本实现。

如果您无法控制 Vehicle 类，例如因为它是您正在使用的框架或第三方库的一部分，则无法在 Java 中进行。

您可以做的最接近的事情是使用泛型多通配符表示法。

<T extends Vehicle & Car>

但除非你这样做，否则你不能真正将它直接应用到 Car：

public interface Car<T extends Vehicle & Car>() {
    T self();
}

这很奇怪，并且不强制 self 方法实际返回 self，这只是一个强烈的提示/建议。

您可以像这样实现Car：

public class CitroenC3 extends Vehicle implements Car<CitroenC3> {
    @Override
    public CitroenC3 self() {
        return this;
    }
}

可以像这样使用Car<?>：

Car<?> car = obtainCarInSomeWay();
Vehicle v = car.self();
Car c = car.self();

它们都应该是有效的语法。

编译器在此强制执行的是您在Car<WHICH> 中指定的内容必须同时扩展Vehicle 并实现Car。通过添加self()，您是在告诉程序员T 对象应该是对象本身，因此如果他想符合规范，则强制通配符实例与类匹配。

在 Java 8 中，您甚至可以为 self 方法定义默认实现。

我也希望有更好的方法来处理这样的事情。

Answer 4

这是一个奇怪的要求，但您可以使用泛型完成类似的事情：

<T extends MyInterface & MyAbstractClass>

Answer 5

这道题说明你还没有掌握interface和class的精髓。现在忘记具体的 Java 语法，您首先需要了解的是：接口是一组协议，它应该与实现无关。让接口扩展一个类（这是面向实现的）是没有意义的。

回到您的具体问题，如果您想保证Flier 始终是Vehicle 的一种，只需将后者更改为interface 并让前者扩展它（扩展一个确实有意义来自另一个协议的协议）。之后，您可以创建任何实现Vehicle 或Flier 的类（抽象或具体）。

Answer 6

1. 定义一个新的包
2. 使用方法“implementMe(HiddenOne)”创建一个范围为“default”的新接口（即 HiddenOne）
3. 将车辆和飞行器移至新包裹。
4. 从 HiddenOne 继承载具和飞行器
5. 在 Vehicle 中实现方法 implementMe。

现在： 每当您想从“Flier”实现时，您必须从 Vehicle 扩展！ （因为只有 Vehicle 可以实现 implementMe）。

这很棘手，但效果很好。