Java中抽象方法强制子类实现靠编译期语法契约：必须定义在抽象类中、无方法体、子类非abstract则须全部实现，否则编译报错，保障多态调用安全。
Java 中抽象方法强制子类完成具体实现，靠的是编译期的语法契约，不是运行时检查，也不是靠人工约定——只要规则写对，编译器就会拦住不合规的代码。
抽象方法必须定义在抽象类里
不能单独存在，也不能放在普通类中。比如下面这样会直接报错：
❌ 错误写法（编译失败）：
class Animal { public abstract void makeSound(); }
立即学习“Java免费学习笔记（深入）”；
正确做法是先声明类为 abstract：
abstract class Animal { public abstract void makeSound(); }
否则编译器提示：abstract method in non-abstract class。
抽象方法本身不能有方法体
连空花括号 {} 都不允许。它只负责定义“要做什么”，不管“怎么做”：
-
public abstract void start();✅ 正确 -
public abstract void stop() {}❌ 编译错误 -
public abstract final void reset();❌ final 和 abstract 冲突 -
private abstract void init();❌ private 不可被继承，违背设计意图
子类要么全部实现，要么自己也声明为 abstract
这是强制落地的关键环节：
- 如果子类是具体类（没加 abstract），就必须用 @Override 实现父类所有抽象方法
- 漏掉任何一个，编译器报错：must either be declared abstract or implement abstract method
- 如果子类选择不实现，那就得声明成
abstract class Dog extends Animal，把责任往下推 - 子类重写时，访问权限不能比父类更严格（比如父类是 public，子类不能写 protected）
多态调用依赖这个强制机制
正是因为编译器确保了具体类一定有全部实现，才能放心地写这样的代码：
Animal a = new Dog();<br>a.makeSound(); // 安全：编译器已确认 Dog 一定提供了 makeSound 的逻辑
这种确定性是 Java 类型安全的基础——不是靠程序员自觉，而是语言层面锁死的规则。
