Java - 对于给定函数 foo(X i);在接口X中，为什么不能实现类Y将其更改为foo(Y i)？

Question

例如

public interface X{
    public void foo(X i);
}

public class Y implements X{//error: doesn't implement foo(X i)...
    public void foo(Y i){
        fooBar(foo);
    }
    ....
}

为什么我不能这样做？我该如何更改它才能实现这一点？ 我该怎么做才能在 X 中使用参数声明 foo，然后能够使用 Y 作为 Y 中的参数类型？

Answer 1

除了 Don Boyle 所说的之外，如果不向编译器暗示其意图，您就无法更改它。您可以通过向接口引入泛型来实现此目的，如下所示：

public interface X<T> {
    public void foo(T i);
}

public class Y implements X<Y> {
    public void foo(Y i){
        fooBar(foo);
    }
}

Answer 2

通过更改类 Y 中输入参数的类型，您更改了方法的签名，这意味着编译器将其视为完全不同的方法。

Java 接口就像一个契约。任何实现它的东西都必须实现它定义的确切方法。通过使用不同的方法签名，您并没有真正实现定义的方法，因此您违反了该合同。

Answer 3

尝试类似的东西

interface X<T extends X> {
    public void foo(T a);
}

class Y implements X<Y> {
    public void foo(Y a);
}

Answer 4

假设您已经按照自己的意愿进行了操作，并且 Java 允许这样做。假设另一个类（称为 Z）也实现了 X。因为 Z 实现了 X，并且由于 X 的定义，您必须能够为任何 Z z 调用 X.foo(z)。但是 Y（它是一个 X）不知道如果将 Z 传递给它的 foo() 该怎么办。这就是原因。

Answer 5

通过实现接口 X，您承诺实现该接口上的所有方法，这意味着您的 foo 方法可以采用任意 X。
现在，如果您只接受 Ys 作为 foo 方法的参数，则您将无法完全实现该接口，因为实现 X 的所有其他类都不是 foo 的有效参数。

Answer 6

因为接口指定了所有实现类的共同行为。假设你有一些其他类都实现了 X，你会期望如果你有类 X 的对象，你可以使用类 X 的参数调用 foo （可以是它的任何子类或实现），所以假设你' d 有这样的代码：

class Z implements X {
  ...
}

Z z = new Z();
X x = new Y();
x.foo(z);

这是错误的，因为使用您的代码 foo 只会接受 Y 类的参数