【JAVA】抽象类是什么？为什么要用抽象类？

抽象类是什么？

在面向对象编程（OOP）中，抽象类（Abstract Class）是一种特殊的类，它主要用于表示一组相关类的共同特征，但不能直接创建实例对象。抽象类通常包含抽象方法（Abstract Method），抽象方法没有具体实现，只有方法签名，即方法名、参数列表和返回类型，但没有方法体。

抽象方法在抽象类中用 abstract 关键字声明，例如：

abstract class Animal {
    // 抽象方法声明，没有方法体
    abstract void makeSound();
    
    // 普通方法，有具体实现
    void eat() {
        System.out.println("Animal is eating...");
    }
}

class Dog extends Animal {
    // 实现抽象类中的抽象方法
    void makeSound() {
        System.out.println("Dog says: Woof!");
    }
}

在这个例子中，Animal 是一个抽象类，它包含一个抽象方法 makeSound()。因为它是抽象的，所以不能直接创建 Animal 类的实例。然而，我们可以定义一个继承自 Animal 的具体子类，如 Dog 类，并在子类中实现抽象方法。这样，Dog 类就拥有了来自 Animal 类的特性，并实现了必需的具体行为。

woof 是在 Dog 类中实现 makeSound() 抽象方法时输出的。Dog 类继承自抽象类 Animal，并实现了抽象方法 makeSound()。具体实现如下：

class Dog extends Animal {
    void makeSound() {
        System.out.println("Dog says: Woof!"); // 这里输出 "Woof!"
    }
}

当你创建一个 Dog 类的实例并调用 makeSound() 方法时，就会执行这个实现，输出 "Dog says: Woof!"：

public class Main {
    public static void main(String[] args) {
        Dog myDog = new Dog(); // 创建 Dog 类的实例
        myDog.makeSound(); // 调用 Dog 类中实现的 makeSound() 方法，输出 "Dog says: Woof!"
    }
}

执行 myDog.makeSound(); 时，程序会跳转到 Dog 类中 makeSound() 方法的实现，从而输出 "Dog says: Woof!"。

抽象类的目的在于提供一个通用模板，规定子类必须实现某些方法，以保持一致的行为。同时，抽象类可以包含已实现的方法和变量，子类可以直接继承这些功能，无需重新实现。抽象类常用于设计模式和架构中，以表达一种抽象概念或接口，并强制子类遵循一定的结构和约定。

为什么要用抽象类？

使用抽象类和抽象方法的原因是为了更好地体现面向对象编程的设计原则，特别是“单一职责原则”、“开放封闭原则”和“里氏替换原则”，以及支持面向接口编程和实现设计模式。以下是几个关键理由：

1. 抽象和多态性： 抽象类和抽象方法使得你能够在多个类之间定义公共的接口或行为规范，而无需指定具体的实现细节。子类可以自由地实现这些抽象方法，从而表现出多态性。多态性是OOP的重要特性，它允许你写出更具通用性和扩展性的代码。

2. 强制实现： 如果一个类继承自抽象类，那么它就必须实现抽象类中所有的抽象方法，这样可以确保子类具有某种共同的行为或能力。这对于大型项目或者框架来说尤其重要，可以确保所有实现该抽象类的类都有一定的契约一致性。

3. 设计灵活性： 抽象类可以包含抽象方法和非抽象方法（已实现的方法）。这样，抽象类不仅可以定义接口，还可以包含一些通用的实现，子类可以复用这部分实现，同时也必须完成剩余的抽象方法。

4. 接口与实现分离： 抽象类常常用来定义一个接口或蓝图，而具体的实现留给子类去做。这样有助于将接口设计和实现细节解耦，提高代码的可读性和可维护性。

5. 支持层次化设计和扩展： 在设计层级复杂的系统时，抽象类可以作为一个中间层，起到承上启下的作用，使得类的层次结构更加清晰，有利于系统的扩展和演化。

6. 适应变化： 根据“开放封闭原则”，抽象类使得系统更容易应对未来的变化。当需要添加新功能或调整现有功能时，只需在抽象类中增加新的抽象方法，然后在需要的地方实现它即可，无需修改现有的实现类。

因此，抽象类和抽象方法是设计中不可或缺的工具，它们帮助我们在面对复杂性和多样性时保持代码的整洁、可扩展和易于维护。