abstract关键字是编译器强制执行的契约标记,触发不可实例化、必须继承、方法必须重写等硬性约束;抽象类永远不能new,即使无abstract方法;abstract方法不能有方法体、不能是private/static/final;子类未实现全部abstract方法则必须声明为abstract;抽象类可定义构造器供子类super()调用。

直接说结论:abstract 关键字不是“可选语法糖”,而是编译器强制执行的契约标记——只要用了它,就触发不可实例化、必须继承、方法必须重写等一系列硬性约束。写错一个修饰符或漏掉一个实现,编译器立刻报错,不讲情面。
abstract 类声明后仍能 new 实例?这是最常见误判
很多人在测试时写 new Animal(),发现 IDE 没报红,就以为抽象类能用,结果运行时报 java.lang.InstantiationError 或 PHP 的 Fatal error: Cannot instantiate abstract class。这不是环境问题,是语言设计使然。
- 抽象类本身永远不能被
new,哪怕它一个abstract方法都没有(比如只含通用工具方法的基类) - Java/C#/PHP 都一致:
abstract class A {}+A a = new A();→ 编译/运行期直接失败 - IDE 有时不标红,是因为它只做静态语法检查,而实例化限制是语义层规则
abstract 方法写成 {} 或 return 就编译不过
abstract void speak(); 合法;abstract void speak() { } 或 abstract void speak() { return; } 直接编译失败——后者甚至会被当成普通方法,导致类不再满足“含 abstract 方法就必须声明为 abstract”的条件,进而引发连锁错误。
- 抽象方法必须以分号结尾,不能有方法体(大括号、return、throw 等全都不行)
- 不能是
private:子类根本看不见,无法重写 - 不能是
static:静态方法属于类,不依赖实例,和“由子类实例实现”的语义冲突 - 不能是
final:final 方法禁止重写,和 abstract 存在目的完全相反
子类没实现全部 abstract 方法,却忘了加 abstract 修饰
比如父类 Animal 有 abstract void move(); 和 abstract void eat();,子类 Dog 只写了 move() 实现,没碰 eat(),又没声明 abstract class Dog extends Animal,编译器会报类似 Dog is not abstract and does not override abstract method eat() in Animal 的错误。
- 子类有两个选择:要么实现所有 abstract 方法,变成可实例化的具体类;要么自己也加
abstract,继续把契约往下传 - PHP 中还要注意访问控制:若父类 abstract 方法是
protected,子类实现时可用public,但不能降级为private - Java 中重写 abstract 方法时,返回类型可以协变(如父类返回
Animal,子类返回Dog),但仅限于非 abstract 的重写方法;abstract 方法签名必须严格一致
abstract 类里能定义构造器?能,而且经常需要
抽象类不能被 new,但它可以有构造器——专供子类在 super() 中调用。这点常被忽略,导致子类初始化时拿不到父类字段值或无法完成必要预处理。
- Java 中:
abstract class Animal { protected String name; public Animal(String name) { this.name = name; } }是完全合法的 - 子类构造器第一行必须显式或隐式调用
super(...),否则编译失败 - PHP 中构造器同理,但要注意:如果父类构造器带参数,子类
__construct必须传递,否则运行时可能因未初始化属性出问题 - 别在抽象类构造器里调用 abstract 方法——子类对象还没构造完,会导致空指针或未定义行为
真正容易被绕开的点在于:抽象类不是“写起来更省事”的偷懒手段,而是把“哪些必须做”和“哪些可以复用”明确切分开的设计动作。一旦开始写 abstract,就要同步想清楚继承链上每一层该承担什么责任,而不是等编译器报错才回头补。










