抽象方法不能有方法体，因其本质是编译期强制的行为契约，只声明“做什么”而不规定“怎么做”，若添加方法体则违背抽象性、破坏子类必须实现的设计意图，并与abstract关键字语义冲突。
因为抽象方法的核心作用是“强制子类实现”，而不是提供可执行逻辑。一旦有了方法体，它就不再是抽象的，也就失去了定义契约的意义。
抽象方法的本质是契约，不是实现
抽象方法只声明“做什么”，不关心“怎么做”。比如：
public abstract void draw();
它告诉所有子类：“你必须能画”，但不规定怎么画——圆的画法、方的画法、三角形的画法各不相同。如果给它加上方法体，比如：
public abstract void draw() { System.out.println("默认画法"); }
这就矛盾了：既说“你要自己实现”，又偷偷给了一个实现，语义混乱，子类可能直接跳过重写，违背设计初衷。
语法和语义必须保持一致
Java 用 abstract 关键字明确标记“此方法无实现”，编译器据此做两件事：
- 禁止在抽象方法后写大括号
{}和方法体； - 强制非抽象子类覆盖该方法（否则编译报错）；
- 确保抽象类不能被实例化——因为调用一个没实现的方法毫无意义。
如果允许带方法体，编译器就无法区分“真抽象”和“假抽象”，契约机制就失效了。
立即学习“Java免费学习笔记（深入）”；
与 static、private 等修饰符冲突的根本原因
抽象方法要求“由子类实例去实现并调用”，这决定了它不能和某些修饰符共存：
- 不能是 static：静态方法属于类本身，无需实例，而抽象方法依赖子类实例才能完成；
- 不能是 private：私有方法无法被子类访问，更谈不上重写；
- 不能是 final：final 方法禁止重写，和抽象方法“必须被重写”的要求直接对立。
这些限制都源于同一个前提：抽象方法的存在，就是为了被继承、被实现、被动态分派。
对比接口中的默认方法和静态方法
Java 8 后接口支持 default 和 static 方法，但它们都不是抽象方法：
-
default方法有方法体，是“可选实现”，子类可以继承或覆写； -
static方法有方法体，是工具性质，通过接口名直接调用； - 只有未加
default或static的接口方法，才是隐式public abstract，且不能有方法体。
这进一步说明：方法体和抽象性是互斥的设计选择——有体即具体，无体才抽象。
