通用类型扩展了接口，但得到一个不兼容的类型错误

Question

我是 Java 新手——来自 PHP Python 世界。我确信这是一个简单的问题，并且我缺少一些基本的东西，但是经过几个小时的搜索和修补，我无法弄清楚。

我有一个 Path 类，一个 In 和一个 Out：

public class Path<In extends PointInterface, Out extends PointInterface> {
    private In in;
    private Out out;

    public Path(In in, Out out) {
        this.in = in;
        this.out = out;
    }

    public In getIn() {
        return in;
    }

    public Out getOut() {
        return out;
    }
}

我有很多PointInterface 的实现，现在，假设Queue 和Endpoint。

我希望能够使用这两个 PointInterface 实现的任意组合来实例化 Path 对象。

这一切都很简单。 Path path = new Path<>(new Endpoint(), new Queue());

问题在于每个实现都有自己的 In 和 Out 处理程序。所以，在EndpointInHandler 里面，我可以确定path.getIn() 将返回一个Endpoint（它实现了PointInterface）。

但是，当我在该方法中尝试Endpoint in = path.getIn(); 时，我收到一个Incompatible Types 错误，指出它需要Endpoint，但找到了PointInterface。

Endpoint 实现 PointInterface.

我试过了：

• 在处理程序中定义泛型，如InHandlerInterface<Endpoint>
• 不使用extends 逻辑，但是我对Object 有同样的问题
• 使用抽象类而不是接口
• 还有其他一些事情。

谁能帮我理解我错过了什么？非常感谢:)

代码示例

在我的 Main 方法中：

Path path = new Path<>(new Endpoint(), new Queue());

InHandlerInterface handler = path.getIn().getInHandler(); // returns the EndpointInHandler
handler.handle(path);

Path详述如上。

PointInterface：

public interface PointInterface {
    InHandlerInterface getInHandler();
}

Endpoint：

public class Endpoint implements PointInterface {
    @Override
    public InHandlerInterface getInHandler() {
        return new EndpointInHandler();
    }

    public String specificToEndpoint() {
        return "Whatever";
    }
}

InHandlerInterface：

public interface InHandlerInterface {
    void handle(Path path);
}

EndpointInHandler:

public class EndpointInHandler implements InHandlerInterface {
    @Override
    public void handle(Path path) {
        Endpoint in = path.getIn(); // This is giving me the Incompatible types error

        String whatever = in.specificToEndpoint();
    }
}

Answer 1

当您执行Path path = new Path<>(new Endpoint(), new Queue()) 时，您实际上已经失去了泛型的类型。

您需要将其写为Path<EndPoint, Queue> path = new Path<>(new Endpoint(), new Queue())，以便编译器知道泛型所指的实际类型。

更新

再看一遍，我意识到您需要将泛型放在任何地方。泛型无处不在可能看起来很奇怪，但这是确保编译时类型安全的方法。这样做，您将不需要任何显式强制转换。

Path<Endpoint, Queue> path = new Path<>(new Endpoint(), new Queue());

InHandlerInterface<Endpoint> handler = path.getIn().getInHandler(); // returns the EndpointInHandler
handler.handle(path);

点接口：

public interface PointInterface<T extends PointInterface> {
    InHandlerInterface<T> getInHandler();
}

端点：

public class Endpoint implements PointInterface<Endpoint> {
    @Override
    public InHandlerInterface<Endpoint> getInHandler() {
        return new EndpointInHandler<>();
    }

    public String specificToEndpoint() {
        return "Whatever";
    }
}

处理程序接口：

public interface InHandlerInterface<T extends PointInterface<T>> {
    void handle(Path<T, ?> path);
}

EndpointInHandler：

public class EndpointInHandler implements InHandlerInterface<Endpoint> {
    @Override
    public void handle(Path<Endpoint, ?> path) {
        Endpoint in = path.getIn(); // This is naturally type safe, and compiler won't complain

        String whatever = in.specificToEndpoint();
    }
}