JAVA学习总结之方法重写

Java语言允许子类重写父类方法，从而使得子类得到和父类不同的效果。
但是子类重写父类方法需要达到什么样的要求才可以呢？也即在java中重写方法应遵循规则是什么？

public class Father {

    public boolean isOk;

    protected List overrideMethod() throws NullPointerException {
        if (isOk) {
            throw new NullPointerException();
        }
        return null;
    }
}

public class Son extends Father {

    @Override
    public ArrayList overrideMethod() throws RuntimeException {
        super.overrideMethod();
        return null;
    }
}

在java语言中允许子类去修改父类的方法权限，但是只允许子类访问权限大于等于父类方法访问权限。例如 子类：public、父类：protected
在java语言中允许子类去修改父类的返回类型，但是只允许子类返回类型小于等于父类方法返回类型。例如 子类：ArrayList、父类：List
在java语言中允许子类去修改父类的抛出异常，但是只允许子类抛出异常小于等于父类方法抛出异常。例如 子类：NullPointerException、父类：RuntimeException
以上三条原则可以简称为：两小一大

其实上面的两小一大很容易理解
设想一下，如果子类重写的方法的权限小于父类方法的权限，那么会出现什么情况呢？加入我有一个子类的对象，但是我的引用是父类，我调用父类的public方法，结果这个方法在子类的实现中是private，那么很显然这违背了java语言的设计。
再如果，子类返回类型大于父类返回类型，例如子类返回的是Animal这个类，父类返回的是Dog这个类，那么在子类的实现中，我是不是可以把Cat这个类返回回来？如果返回了，那么当我持有父类引用到子类对象的时候，我接受的是Dog这个类，那么请问这样安全吗？我明明想通过这个方法得到Dog这个对象，但是到最后返回给我一个Animal对象，并且这个对象居然是一只Cat，我估计会疯掉吧。
对于最后一条，大家可以这样设想，如果子类抛出RuntimeException，而父类抛出NullPointerException，那么当我在程序运行的时候，比如说出现了一个数组越界这个异常，那么子类抛出一个RuntimeException是没问题的，但是我调用的是父类的引用，那么，此时我得到的是NullPointerException，这显然是错误的，就像我明明该得到一个火腿肠，你却给我一个面包（虽然都是吃的，但是却不是我想要的）