函数重写是面向对象编程中继承体系下的核心特性，指的是子类重新定义父类中已有的方法，当通过子类实例调用该方法时，会执行子类重写后的逻辑而非父类的原始逻辑，这一特性让程序能够根据对象的实际类型动态执行不同的行为，是多态实现的基础。
函数重写的核心前提
函数重写生效的前提是存在继承关系，子类必须继承父类，且重写的方法需要满足几个基本条件：方法名、参数列表、返回值类型需要和父类方法保持一致，同时子类方法的访问权限不能比父类方法更严格。如果不符合这些条件，可能只是子类定义了一个新的方法，而非重写父类方法。
函数重写的底层原理
不同编程语言的实现机制略有差异，但核心逻辑都围绕方法查找顺序展开。以常见的面向对象语言为例，对象的方法通常存储在类的方法表中，当调用对象的方法时，解释器或编译器会先查找对象所属类的方法表，如果找到对应方法就直接执行，如果没有找到才会向上查找父类的方法表，直到找到匹配的方法或者遍历完所有父类。
当子类重写了父类方法时，子类的方法表中会新增一条同名方法的记录，指向子类实现的方法逻辑，父类的方法记录仍然保留在父类的方法表中。因此当通过子类实例调用方法时，会优先在子类方法表中找到重写后的方法，自然就执行了子类的逻辑，实现了对父类行为的掌控。
不同语言的方法查找差异
| 语言类型 | 方法查找逻辑 |
|---|---|
| 静态类型语言（如Java、C++） | 编译期会检查方法重写是否符合规则，运行期根据对象实际类型查找方法表执行对应逻辑 |
| 动态类型语言（如Python、JavaScript） | 运行期直接根据对象属性链查找方法，子类实例的属性链中同名方法会覆盖父类的对应方法 |
函数重写代码示例
Python实现示例
Python中函数重写不需要额外关键字，只要子类定义和父类同名同参数的方法即可实现重写：
# 定义父类
class Parent:
def show_info(self):
print("这是父类的show_info方法")
# 定义子类，继承Parent
class Child(Parent):
# 重写父类的show_info方法
def show_info(self):
print("这是子类重写后的show_info方法")
# 测试调用
parent_obj = Parent()
child_obj = Child()
parent_obj.show_info() # 输出：这是父类的show_info方法
child_obj.show_info() # 输出：这是子类重写后的show_info方法Java实现示例
Java中通常使用@Override注解标识重写方法，编译器会校验重写是否符合规则：
// 定义父类
class Parent {
public void showInfo() {
System.out.println("这是父类的showInfo方法");
}
}
// 定义子类，继承Parent
class Child extends Parent {
// 重写父类方法，@Override注解会校验重写规则
@Override
public void showInfo() {
System.out.println("这是子类重写后的showInfo方法");
}
}
public class Test {
public static void main(String[] args) {
Parent parentObj = new Parent();
Parent childObj = new Child(); // 父类引用指向子类对象
parentObj.showInfo(); // 输出：这是父类的showInfo方法
childObj.showInfo(); // 输出：这是子类重写后的showInfo方法
}
}函数重写的注意事项
- 重写方法的参数列表必须和父类方法完全一致，否则会被视为方法重载而非重写。
- 子类重写方法的访问权限不能低于父类方法，比如父类方法是public，子类方法不能是private或者protected。
- 父类中的静态方法不能被子类重写为实例方法，反之亦然，因为静态方法属于类本身，不参与实例的方法查找流程。
- 如果父类方法抛出受检异常，子类重写方法抛出的异常范围不能比父类方法更宽泛，可以是父类异常的子类或者不抛出异常。
理解函数重写的原理后，开发者可以更灵活地运用这一特性，比如在父类中定义通用逻辑，子类根据各自需求重写特定方法，既减少了代码重复，又保证了程序的扩展性，这也是面向对象编程降低代码耦合度、提升可维护性的重要方式。