常量和抽象方法、抽象类