抽象类必须用abstract修饰且不可实例化，因其含未实现的抽象方法，JVM需确定执行逻辑；编译器强制校验，确保子类覆盖抽象方法以保障多态安全。

因为抽象方法没有具体实现，而JVM要求每个可调用的方法都必须有确定的执行逻辑。如果允许普通类声明抽象方法，就会出现“能被调用却无法执行”的矛盾；所以Java语言强制规定：只要类中有一个抽象方法，这个类就必须用abstract修饰，并且禁止通过new直接创建其实例。

抽象方法的存在意味着行为未定义

抽象方法只有声明（如 abstract void draw();），没有方法体（即没有{}里的实现）。它表达的是“子类必须提供这个功能”，而不是“当前类已经实现了它”。JVM在加载类、准备调用方法时，需要能定位到具体的字节码指令。没有实现的方法无法生成有效调用链，强行实例化会导致运行时无法响应方法调用。

abstract修饰是编译期的强制契约

Java编译器把abstract当作一种语义标记，不是可选修饰符：

• 若类含抽象方法但没加abstract，编译直接报错，不生成class文件
• 若类被abstract修饰，编译器就允许其中存在无实现的方法，并禁止new该类
• JVM在类加载阶段会检查ACC_ABSTRACT标志位，发现后拒绝实例化操作

不实例化是保障多态安全的前提

抽象类的设计目标不是创建对象，而是作为类型规范：

• 它允许用父类引用指向不同子类对象（如 Shape s = new Circle();）
• 所有子类必须覆盖抽象方法，确保向上转型后调用不会失败
• 如果允许直接实例化抽象类，就可能产生一个“调用抽象方法却无实际逻辑”的对象，破坏多态的可靠性

和接口的区别进一步说明这个设计

接口中的方法默认就是抽象的，也不需要abstract关键字——但接口同样不能实例化。这说明核心约束不在关键字本身，而在于“未完全定义行为的类型不能独立存在”。abstract对类而言，是显式声明“我还不完整，请继承我并补全”的唯一合法方式。