覆盖方法是否可以使用与基类中不同的访问说明符？

Question

在抽象类中,哪个访问修饰符必须用于方法,因此子类可以决定它是否应该是公共的？是否可以"覆盖"Java中的修饰符？

public abstract class A {

    ??? void method();
}

public class B extends A {
    @Override
    public void method(){
        // TODO
    }
}

public class C extends B {
    @Override
    private void method(){
        // TODO
    }
}

我知道静态绑定会有问题,如果有人打电话:

// Will work
A foo = new B()
foo.method();

// Compiler ?
A foo = new C();
foo.method();

但也许还有另一种方式.我怎么能做到这一点？

Answer 1

可以放宽限制,但不要限制它:

public abstract class A {
    protected void method();
}

public class B extends A {
    @Override
    public void method(){    // OK
    }
}

public class C extends A {
    @Override
    private void method(){    // not allowed
    }
}

使原始方法private也不起作用,因为这种方法在子类中不可见,因此无法覆盖.

我建议使用interfaces来有选择地公开或隐藏方法:

public interface WithMethod {
    // other methods
    void method();
}

public interface WithoutMethod {
    // other methods
    // no 'method()'
}

public abstract class A {
    protected void method();
}

public class B extends A implements WithMethod {
    @Override
    public void method(){
      //TODO
    }
}

public class C extends B implements WithoutMethod {
    // no 'method()'
}

...然后只通过接口处理实例.

Answer 2

覆盖方法时,只能将修改器更改为更宽的方法,反之亦然.例如,此代码有效:

public abstract class A {

    protected void method();
}

public class B extends A {
    @Override
    public void method() { }
}

但是,如果您尝试缩小可见性范围,则会出现编译时错误:

public abstract class A {
    protected void method();
}

public class B extends A {
    @Override
    private void method() {}
}

对于你的情况,我建议C不要实现A,因为A抽象暗示有非私有method():

public class C {
    private void method(){
      //TODO
    }
}

另一种选择是method()在C抛出RuntimeException时实现:

public class C extends A {

    @Override
    public void method(){
        throw new UnsupportedOperationException("C doesn't support callbacks to method()");
    }
}

Answer 3

出于很好的理由,你所要求的是不可能的.

在里氏替换原则基本上是说:一个S类是另一个类T的子类只有到那时,当你可以用一些"S对象"取代一些"T对象"的任何发生-没有注意到.

如果你允许S将公共方法简化为私有,那么你就不能再那样做了.因为突然之间,在使用某些T ...时可以调用的方法在S上不再可用.

长话短说:继承不是简单地从天而降的东西.它是类,属性,你作为程序员负责.换句话说:继承不仅仅意味着在源代码中写下"class S extends T"!