为何Java抽象类可包含已实现方法？抽象概念疑问

别被“abstract”的字面意思困住——Java里用abstract修饰类时，核心定义是**「这个类不能直接实例化，必须被继承使用」**，而不是“完全没有任何实现代码”。

抽象类的设计初衷 #

抽象类的作用是给一组具有共性的子类提供通用基础实现，同时强制子类必须实现特定的个性化逻辑。比如：

• 定义一个Vehicle抽象类，它可以实现所有交通工具都有的startEngine()方法（比如“启动引擎”的通用逻辑）；
• 但drive()方法必须留给子类实现，因为汽车、自行车、飞机的驾驶方式完全不同。
  这种设计既避免了子类重复写通用代码，又保证了子类必须完成自己的专属逻辑。

“abstract”的真实语义 #

在Java语境里，abstract修饰类时表示**「这个类是不完整的」**——因为它包含了未实现的抽象方法，所以不能直接创建对象。但“不完整”不等于“全空白”，它可以包含已经完整实现的方法，这些方法是子类可以直接复用的公共逻辑。

对比接口的补充说明 #

早期Java接口确实只能定义抽象方法，但从Java 8开始，接口也支持default和static方法的实现。这其实也印证了：“必须全抽象”只是早期的设计限制，后来为了适配实际开发中代码复用的需求，无论是抽象类还是接口都放宽了规则。而抽象类从一开始就兼顾了「代码复用」和「强制子类实现」两个核心需求。

举个简单的代码示例：

abstract class Animal {
    // 所有动物通用的进食逻辑，已实现
    public void eat() {
        System.out.println("动物正在进食");
    }

    // 每种动物的叫声不同，必须由子类实现
    public abstract void makeSound();
}

class Cat extends Animal {
    @Override
    public void makeSound() {
        System.out.println("喵喵喵");
    }
}

内容的提问来源于stack exchange，提问作者JDANDE