扩展方法中的返回类型哈希表

Question

我有一个 Node 接口，它要求方法：

public HashSet getNeighbour();

NodeVariable 实现 Node，它的邻居是 NodeFunction 类型（也实现 Node），我编写了该方法：

<代码>public HashSet; getNeighbour();

（在 NodeFunction 类中反之亦然）。

我发现如果我将 Node 中方法的签名更改为：

public HashSet; getNeighbour();

然后在 NodeVariable 和 NodeFunction 中的方法上出现错误：

factorgraph.NodeFunction中的错误getNeighbour()无法实现factorgraph中的getNeighbour()。Node返回类型java.util.HashSet与java.util.HashSet NodeFunction.java不兼容

这不太清楚。

我发现：

覆盖扩展接口中的返回类型 - 坏主意？

和

Java - 返回时覆盖扩展接口的返回类型type 对自己的方法参数类型使用泛型

，现在我更改了 Node 方法签名：

public HashSet getNeighbour();

因此编译器不再抱怨。

对吗？为什么 HashSet 不被视为 HashSet 的“扩展”？

Answer 1

首先，最好根据其他接口而不是具体实现来定义接口中的方法。我想说的是， getNeighbour() 方法应该是：

public Set getNeighbour();

而且既然我们知道它只能返回 Node（或 Node 的子类型），我们不妨这样定义它：

public Set<? extends Node> getNeighbour();

Answer 2

HashSet 和 HashSet 不兼容，即使 NodeFunction 实现/子类 Node 也是如此。同样，List 和 List 都不是。 Integer 子类 Number。

static List<Number> getNumberList(int size) {
    //ArrayList<Integer> numList = null; //Doesn't compile
    ArrayList<Number> numList = null; //Compiles
    return numList;
}

如果编译器允许您尝试执行的操作，那么我可以执行以下操作，并且会抛出 ClassCastException ，这就是创建泛型的确切原因。

import java.util.HashSet;
import java.util.Set;

public class Main {

    public static void main( String[] args ) {
        Node nd = getInstance();
        Set<Node> ndSet = nd.getNeighbour();
        ndSet.add( new NodeSign() );
        nd.removeSingleNeighbor(); //throws ClassCastException
    }

    static Node getInstance() {
        return new NodeVariable();
    }
}

interface Node {
    public Set<Node> getNeighbour();
    public void removeSingleNeighbor();
}

class NodeVariable implements Node {
    Set<NodeFunction> ndFuncList = new HashSet<NodeFunction>();
    public Set<NodeFunction> getNeighbour(){ return ndFuncList; } //wont' compile

    //HERE!!!!

    public void removeSingleNeighbor() { 
        NodeFunction ndFunc = (NodeFunction)ndFuncList.toArray()[ndFuncList.size()-1]; //throws ClassCastException
    }
}

class NodeFunction implements Node {
    public Set<NodeFunction> getNeighbour(){ return null; } //won't compile
    public void removeSingleNeighbor() {}
}

class NodeSign implements Node {
    public Set<NodeFunction> getNeighbour(){ return null; } //won't compile
    public void removeSingleNeighbor() {}
}

除了 public Set之外，所有内容在语义/语法上都是有效的。 getNeighbour(){}。 Java 教程涵盖了此问题。