在面向对象编程的学习过程中，函数重写和抽象方法都是绕不开的核心知识点，不少开发者刚接触时都会产生疑问：为什么父类定义了抽象方法之后，子类就必须要实现它？这两者之间到底有什么关联？下面我们就一步步拆解这些概念，搞清楚背后的逻辑。
什么是函数重写
函数重写指的是子类重新定义父类中已经存在的方法，要求方法名、参数列表、返回值类型都和父类方法保持一致，只是方法内部的实现逻辑不同。它的核心作用是让子类可以根据自身特性，对父类通用的方法逻辑做个性化调整，是实现多态的基础。
举个简单的例子，父类Animal有一个make_sound方法，子类Dog和Cat可以分别重写这个方法，实现各自的叫声逻辑：
# 定义父类Animal
class Animal:
def make_sound(self):
print("动物发出声音")
# 子类Dog重写make_sound方法
class Dog(Animal):
def make_sound(self):
print("汪汪汪")
# 子类Cat重写make_sound方法
class Cat(Animal):
def make_sound(self):
print("喵喵喵")
# 测试多态效果
animal_list = [Dog(), Cat()]
for animal in animal_list:
animal.make_sound()什么是抽象方法
抽象方法是一种特殊的方法，它只有方法声明，没有具体的实现逻辑，通常定义在抽象类中。抽象类本身不能被实例化，它的存在意义就是作为其他类的父类，规范子类的实现行为。
在Python中，我们可以通过abc模块来定义抽象类和抽象方法，抽象方法需要用@abstractmethod装饰器修饰：
from abc import ABC, abstractmethod
# 定义抽象类Shape，继承ABC
class Shape(ABC):
# 定义抽象方法area，没有具体实现
@abstractmethod
def area(self):
pass
# 定义抽象方法perimeter，没有具体实现
@abstractmethod
def perimeter(self):
pass为什么子类必须实现父类的抽象方法
子类必须实现父类抽象方法的要求，是由抽象方法的特性决定的，主要有以下几个层面的原因：
1. 保证抽象类的设计规范
抽象类定义抽象方法的本质，是给所有子类制定统一的接口规范。比如上面的Shape抽象类，规定了所有形状都必须有计算面积和周长的能力，那么所有继承Shape的子类，不管是圆形、矩形还是三角形，都必须实现area和perimeter方法，否则就不符合形状的基本定义。
如果子类不实现抽象方法，在实例化的时候就会直接报错：
from abc import ABC, abstractmethod
class Shape(ABC):
@abstractmethod
def area(self):
pass
# 子类没有实现抽象方法area
class Circle(Shape):
def __init__(self, radius):
self.radius = radius
# 尝试实例化Circle，会直接抛出TypeError
try:
c = Circle(5)
except TypeError as e:
print(f"实例化报错：{e}")2. 实现多态的基础
多态的核心是“同一接口，不同实现”，而抽象方法就是那个统一的接口。当我们用父类类型来引用子类对象时，可以统一调用抽象方法，不需要关心具体子类的实现逻辑。如果子类没有实现抽象方法，这个统一的调用就会失效，多态也就无法成立。
比如我们可以统一处理所有形状的面积计算：
from abc import ABC, abstractmethod
import math
class Shape(ABC):
@abstractmethod
def area(self):
pass
# 圆形实现area方法
class Circle(Shape):
def __init__(self, radius):
self.radius = radius
def area(self):
return math.pi * self.radius ** 2
# 矩形实现area方法
class Rectangle(Shape):
def __init__(self, width, height):
self.width = width
self.height = height
def area(self):
return self.width * self.height
# 统一计算多个形状的面积
shape_list = [Circle(5), Rectangle(3, 4)]
for shape in shape_list:
print(f"形状面积：{shape.area()}")3. 避免逻辑漏洞
如果允许子类不实现父类的抽象方法，那么当我们在代码中调用这个方法时，可能会出现调用到空实现的情况，导致程序出现不可预期的错误。强制子类实现抽象方法，相当于在编译或运行阶段就提前排查这类问题，减少线上bug的出现概率。
函数重写与抽象方法的关系
实际上，子类实现父类的抽象方法，本质上就是一种特殊的函数重写。只不过普通的父类方法有默认实现，子类可以选择重写也可以选择不重写；而抽象方法没有默认实现，子类必须重写（也就是实现）这个方法，否则子类也会变成抽象类，无法被实例化。
我们可以用下面的表格来对比两者的区别：
| 对比项 | 普通方法重写 | 实现父类抽象方法 |
|---|---|---|
| 父类方法是否有实现 | 有默认实现 | 无实现（只有声明） |
| 子类是否必须重写 | 可选 | 必须 |
| 未重写的后果 | 使用父类默认实现 | 子类无法实例化 |
注意事项
- 子类实现抽象方法时，方法名、参数列表必须和父类抽象方法完全一致，否则会被认为是新的方法，而不是对抽象方法的实现，依然会报错。
- 如果子类也是抽象类，那么可以选择不实现父类的抽象方法，但是这个子类依然不能被实例化，只能被更下层的子类继承并实现所有抽象方法。
- 抽象方法不能被
static或final修饰，因为静态方法属于类，无法被重写，final方法不能被重写，都和抽象方法的设计初衷冲突。
总的来说，函数重写和抽象方法是面向对象编程中规范代码、实现多态的重要工具，理解子类必须实现父类抽象方法的原因，能帮助我们写出更规范、扩展性更强的代码。