抽象方法必须用abstract修饰且不能有方法体;只能定义在抽象类或接口中,不可为private/final/static,访问修饰符仅public/protected有效,重写时需保持签名一致并支持协变返回类型。

抽象方法必须用 abstract 修饰且不能有方法体
Java 中定义抽象方法,核心就两条:必须加 abstract 关键字,且大括号 {} 必须省略。哪怕只写个空的 {},编译器也会报错:abstract methods cannot have a body。
常见错误包括:
- 漏写
abstract,仅靠无方法体“假装”抽象(编译失败) - 在普通类里定义
abstract方法(必须放在abstract class或interface中) - 给抽象方法写了
private、final或static(三者都与抽象语义冲突)
abstract 方法只能出现在抽象类或接口中
抽象方法不是独立存在的语法单元,它依附于容器——要么是 abstract class,要么是 interface。二者区别很关键:
-
abstract class中可混存抽象方法和具体方法,子类继承时必须实现所有抽象方法(除非子类也声明为abstract) -
interface中所有方法默认是public abstract,JDK 8+ 虽支持default和static方法,但显式写abstract仍合法(只是冗余) - 普通(非
abstract)类里写abstract void foo();会直接编译报错:abstract method in non-abstract class
抽象方法没有访问修饰符限制,但实际只有 public 和 protected 有意义
语法上允许写 protected abstract void foo();,但要注意:
立即学习“Java免费学习笔记(深入)”;
- 接口中的抽象方法强制是
public(即使不写),不可用protected或private - 抽象类中的抽象方法若用
protected,则子类继承后只能在同包或子类中重写,可能限制扩展性 - 写
private abstract void foo();是非法的——私有方法无法被子类访问,更谈不上重写,编译器会拒绝
抽象方法的实现必须严格匹配签名,包括返回类型协变
子类重写抽象方法时,签名必须一致,但返回类型支持协变(covariant return type):
abstract class Animal { abstract Animal create(); }
class Dog extends Animal { @Override Dog create() { return new Dog(); } }
这种写法合法,因为 Dog 是 Animal 的子类型。容易忽略的点是:
- 异常声明不能新增受检异常(
throws Exception不行),但可以缩小或删除 - 不能改变
static、final等修饰符(它们根本不能出现在抽象方法上) - 泛型擦除后的方法签名冲突会导致编译错误,比如父类定义
<t> abstract T get();</t>,子类不能写String get()来“覆盖”,必须保持泛型结构或使用协变









