如何理解面向对象编程对间接控制转移施加纪律约束的含义

1. 「间接控制转移」的具体概念 #

程序执行时不会永远按代码从上到下的顺序跑，遇到需要跳转去其他代码段执行的情况，就属于控制转移。根据跳转目标的确定时机，可以分成两类：

• 直接控制转移：跳转目标在编译阶段就完全固定死了。比如直接调用一个写死名字的普通函数、goto 到代码里标记好的固定标签、if/else、for/while 这类结构化的分支循环跳转，都属于这类——你扫一眼源码就能百分百确定执行到这行的时候会跳去哪，没有变数。
• 间接控制转移：跳转目标不是写死在代码里的，要等程序跑起来，根据当时的运行状态动态算出来。你光看调用点的源码，根本没法直接确定最终会跳去执行哪段代码。

最典型的例子就是C语言里的函数指针调用：

#include <stdio.h>

int add(int a, int b) { return a + b; }
int sub(int a, int b) { return a - b; }

int main() {
    // 直接控制转移：编译期就确定要跳去add函数
    int res1 = add(3, 2); 
    printf("%d\n", res1);

    // 间接控制转移：fp的指向运行时才确定，编译期不知道会调add还是sub
    int (*fp)(int, int);
    int op = 1;
    fp = (op == 0) ? add : sub;
    int res2 = fp(3, 2); 
    printf("%d\n", res2);
    return 0;
}

我们常说的回调函数、多态方法调用，本质都是间接控制转移。在面向对象范式普及之前，这种能力是完全“裸奔”的，没有任何强制规则约束，开发者想怎么跳就怎么跳，很容易出现跳去非法地址、函数参数不匹配、意外篡改跳转目标的问题。

2. 面向对象编程对间接控制转移的约束方式 #

首先要明确书里提到的核心前提：OOP根本没有发明间接控制转移（也就是大家常说的多态能力）。早在OOP语言出现之前，开发者就已经用函数指针、回调机制实现了运行时动态切换执行逻辑的效果。OOP做的事从来不是加新能力，而是给这种原本完全不受控的间接跳转套上强制纪律，移除了开发者随意乱用的自由，具体约束体现在三个方面：

• 强制做跳转目标的合法性校验：裸用函数指针做间接跳转没有任何校验，你可以把指针随便指向任意内存地址——哪怕那个位置不是可执行代码、或者函数的参数、返回值和调用点完全不匹配，编译器很多时候都不会报错，跑起来直接崩溃或者出诡异bug都是常事。OOP把间接跳转封装成了语言层面的动态分派机制，所有能被跳转过去的目标方法，必须满足严格的匹配规则：要么是继承父类后重写的同签名方法，要么是实现接口时定义的同签名方法，语法层面就堵死了随便跳去非法地址的可能。
• 收窄跳转目标的修改权限：裸用函数指针时，指针本身是完全暴露的，你可以在代码的任意位置随便改指针的值，让它指向别的函数，甚至因为内存越界写，意外把函数指针存的地址给覆写了都没人管。OOP的动态分派逻辑是被语言运行时封装保护的：比如你定义一个接口类型的变量，调用接口方法时要跳去哪，只能由变量实际引用的合规对象决定，你没法从外部直接篡改内部的分派指针，也不能随便给它指派一个不符合接口规则的跳转目标。
• 绑定抽象契约约束跳转语义：OOP里的间接跳转永远是依附于抽象（接口、抽象类）存在的，所有能被跳转的目标实现，都得遵循抽象定义的契约——不仅方法签名要对得上，工程实践上也要求符合里氏替换原则，子类/实现类不能违背抽象定义的行为约定。这就把原本毫无语义约束的“瞎跳”，变成了“依赖抽象、实现可替换”的受控行为，避免跳转逻辑和业务语义完全脱节。

说白了，OOP就是把原来开发者可以随便玩的间接控制转移能力关到了规则的笼子里，你还能用这个能力，但是不能瞎用，必须按规矩来，这就是它对间接控制转移施加的纪律约束。

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