如果第一个接口定义了实现类，为什么我不能在另一个接口中使用它作为参数？

Question

我有两个接口。第一个:

public interface IGoable {
     int go();
}

第二个使用第一个接口作为其方法定义中的参数类型：

public interface IMove {
    int move(IGoable goThisMany);
}

我有一个实现 IGoable 接口的类：

public class ImplGoable implements IGoable {
    @Override
    public int go() {
        return 0;
    }

    public int dumby() {
        return 1;
    }
}

问题来了。我在一个类中实现了IMove接口，并尝试在实现的move（）方法中使用ImplGoable类作为参数，如下所示：

public class TestGoThere implements IMove {

    @Override
    public int move(ImplGoable goImp) {
        return goImp.go();
    }

}

它给我以下错误：

TestGo类型的方法移动（ImpGoable）必须重写或实现超类型方法

为了避免错误，我必须使用 IGoable 接口作为实现方法中参数的类型，如下所示：

public class TestGoThere implements IMove {

    @Override
    public int move(IGoable goImp) {
        return goImp.go();
    }

}

为什么我不能使用ImplGoable类，因为它实现了IGoable接口？

Answer 1

您可以使用泛型来解决此问题（尽管您是否愿意完全取决于您的用例）。

如果将接口的定义更改为：

public interface IMove<T extends IGoable> {
    int move(T goThisMany);
}

这允许您在实现接口的类中定义具体的实现，即:

public class TestGoThere implements IMove<ImplGoable> {

    @Override
    public int move(ImplGoable goImp) {
        return goImp.go();
    }

} 

并允许您使用ImplGoable作为参数参数类型。正如我所说，你是否想这样做是一个完全不同的问题，真正取决于你想做什么。这里有一些关于泛型的好文章。

Answer 2

您不能使用< code>ImplGoable来代替< code>IGoable，因为在您的声明中，您只设置了与< code>IGoable接口的约定。< code>ImplGoable将实现并覆盖接口方法，但无法阻止它添加新方法。由于您的契约，您可以使用的唯一方法是在您的接口中定义的方法，即< code>go()。因此，您可以使用< code>goImp对象，但仅限于其契约范围内，这意味着对象可以是实现接口的任何有效对象，但类型只需< code>IGoable