java抽象类，密封类与接口