如何在不使用抽象的情况下强制实现子类中的方法？

Question

我想强制子类实现我母亲类的一个实现方法。我看到了一个已实现方法的Java-Force实现，但我无法将我的母类转换为抽象类。

public class myMotherClass { 

   myMethod {

      ...some code ..

   }

}

public class myClass extends myMotherClass {

   myMethod {

      ... other code ...
   }

}

在这个例子中，我想强制myClass实现myMethod。

抱歉我的英语...

Answer 1

大多数人忽视的一件事是以下实现（尽管我在评论中提到了它）：

public class MyMotherClass { 

    public void myMethod() {
      throw new RuntimeException("Method not overwritten");
    }    

}

在大多数情况下，这应该足够了，因为您应该有某种形式的验收测试（即使只是手工测试继承类）。从理论上讲，你仍然在引入一种可能性，即没有人会意识到这种方法直到生产时才被过度使用。

Answer 2

你可以修改你的层次结构，使你的具体类只是树的一部分。

而不是

myClass extends myMotherClass

考虑

myClass extends myMotherAbstractClass
myMotherClass extends myMotherAbstractClass 

这样抽象类就被两个实例化类继承了。在这种情况下，myMotherClass可能会非常薄，只是myMethod的实现。

Answer 3

不能强制子类重写方法。您只能通过将其抽象化来强制它实现一个方法。

因此，如果您不能使myMotherClass抽象，您只能引入另一个超类来扩展myMotherClass并委托给必须实现的方法：

public abstract class EnforceImplementation extends myMotherClass {

        public final void myMethod(){
             implementMyMethod();
        }

        public abstract void implementMyMethod();
}

编辑

我在mockito使用的hemcrestapi中找到了另一种解决问题的有趣方法。

public interface Matcher<T> extends SelfDescribing {

    /**
     * Evaluates the matcher for argument <var>item</var>.
     * <p/>
     * This method matches against Object, instead of the generic type T. This is
     * because the caller of the Matcher does not know at runtime what the type is
     * (because of type erasure with Java generics). It is down to the implementations
     * to check the correct type. 
     *
     * @param item the object against which the matcher is evaluated.
     * @return <code>true</code> if <var>item</var> matches, otherwise <code>false</code>.
     *
     * @see BaseMatcher
     */
    boolean matches(Object item);

    /**
     * This method simply acts a friendly reminder not to implement Matcher directly and
     * instead extend BaseMatcher. It's easy to ignore JavaDoc, but a bit harder to ignore
     * compile errors .
     *
     * @see Matcher for reasons why.
     * @see BaseMatcher
     */
    void _dont_implement_Matcher___instead_extend_BaseMatcher_();
}

该接口指定了一个方法_dont_implement_Matcher___instead_extend_BaseMatcher_，当然它并不妨碍其他人实现Matcher接口，但它引导开发人员朝着正确的方向前进。

而BaseMatcher类实现了\u dont\u implement\u Matcher\uuuuuuuuuuuuuuuuu而不是作为final的扩展\u BaseMatcher\uuuuu方法

public final void _dont_implement_Matcher___instead_extend_BaseMatcher_() {
    // See Matcher interface for an explanation of this method.
}

最后我认为这是一个设计问题，因为BaseMatcher显然实现了每个Matcher都应该实现的逻辑。因此，最好将Matcher设为抽象类并使用模板方法。

但我猜他们这么做是因为这是字节码兼容性和新功能之间的最佳折衷。