Java：包含内部枚举的接口；扩展实现类中的功能

Question

我有一个如下所示的接口：

package example;
import java.awt.Point;

public interface Thing {
    public enum MovingState {
        MOVING_LEFT,
        MOVING_UP,
        MOVING_RIGHT,
        MOVING_DOWN
    }

    public void setNewPosition(MovingState state);
    public Point getPosition();
}

和一个实现类：

package example;
import java.awt.Point;

public class ThingImpl implements Thing {
    public enum MovingState {
        MOVING_LEFT (-1, 0),
        MOVING_UP (0, -1),
        MOVING_RIGHT (1, 0),
        MOVING_DOWN (0, 1);

        private int x_move;
        private int y_move;

        MovingState(int x, int y) {
            x_move = x;
            y_move = y;
        }

        public int xMove() {
            return x_move;
        }

        public int yMove() {
            return y_move;
        }
    }


    private Point position;

    public void setNewPosition(MovingState state) {
        position.translate(state.xMove(), state.yMove());
    }

    public Point getPosition() {
        return position;
    }
}

这个想法是让 ThingImpl 中的 MovingState 从 Thing 扩展 MovingState 接口（从而将 MovingState 的实际实现与接口分开）。

但这不起作用 - ThingImpl 中的 MovingState 枚举隐藏了接口中的定义而不是扩展它，然后编译器抱怨 ThingImpl 不是抽象的，并且不会覆盖 Thing 中的抽象方法 setNewPosition(Thing.MovingState)。

有没有实际的方法可以实现我想要实现的目标？或者Java根本不具备这种能力？

Answer 1

您真正想要做的是从“ThingImpl”类中删除枚举声明，并将其所有内容（包括其构造函数和 getter）移动到 Thing 接口中。

将您的字段放在枚举中的最后，以记住它们不应该被触及。

以这种方式，任何想要使用 Thing 接口的东西都必须使用接口上定义的枚举 - 你的问题是你有效地定义了它两次，但它应该在接口上（如果只使用它就很好）对于此接口）或作为公共级别枚举 Java 文件（使用公共枚举而不是公共类）。如果您的接口之外的其他东西可以合理地期望使用它，那么您可以将其设为公共枚举 - 在我看来，Map.Entry 是一个不好的嵌套接口，因为其他类使用地图外部的键/值对，并且因此它应该有自己的界面，但我们必须忍受它:(

这个想法是让 ThingImpl 中的 MovingState 从 Thing 接口扩展 MovingState（从而将 MovingState 的实际实现与接口分离）。

我不认为这真的是你的想法 - 我认为你在 Thing 界面上指定的行为很好，你真的不想触及 MovingState 枚举，因为它本身就很好。但是，如果您认为某些东西需要不同的 MovingState 实现，您可以让它实现一个名为 MovingState 的接口，因此您可以重命名您的枚举 DefaultMovingState。这是你的选择。

您的 MovingState 接口将只包含您现在在 MovingState 中公开的 getter。两种方法。

Answer 2

您无法扩展enum，因为它是final。

您可能想阅读《Effective Java 第二版》，第 34 项：使用接口模拟可扩展枚举。本质上，这可以归结为枚举本身实现了某些东西。

Answer 3

Polygenelubricants 已经给了您答案。我想补充一些东西，因为这是我遇到的一个问题。

假设您有一个具有许多实现的接口。接口中的一个方法接受enum 作为参数。理想情况下，您希望每个实现都有特定的枚举值集。但是，由于您无法扩展枚举，因此您无法创建“基本”枚举并从中扩展。天真的方法是拥有一个“上帝”枚举来维护完整的枚举值集。但还有更好的方法。您可以使用所谓的标记接口。有效的 Java 第二版。也谈到这个问题。标记接口将不包含任何方法声明，而只是将类标记为某种类型。

因此，您可以定义一个标记接口并让所有枚举实现该接口。这与使 enum 可扩展有关，因为如果您定义了 enum 扩展的接口，您就会自动将 enum 标记为成为某种类型。

通过这种方式，您可以保留所有特定的枚举值及其特定的实现（关注点分离）。

对于您的情况，您可以执行以下操作：

public interface MovingInterface {    
   int xMove();
   int yMove();
}

然后：

public enum MovingState implements MovingInterface {
    MOVING_LEFT (-1, 0),
    MOVING_UP (0, -1),
    MOVING_RIGHT (1, 0),
    MOVING_DOWN (0, 1);

    private int x_move;
    private int y_move;

    MovingState(int x, int y) {
        x_move = x;
        y_move = y;
    }

    public int xMove() {
        return x_move;
    }

    public int yMove() {
        return y_move;
    }
}

Answer 4

您正在尝试的是反模式。不应在接口中定义常量。

http://en.wikipedia.org/wiki/Constant_interface

我会将常量移出您的接口，或者只是将它们设为方法，然后让您的实现通过实现这些方法来定义它们......