消息传递与过程式方法调用的核心概念差异究竟是什么？

核心差异不在于“代码块调用”这个表面形式，而在于执行逻辑的控制权归属——这也是维基百科那段描述的核心指向：

1. 过程化调用：调用者掌控一切 #

在纯C这类过程化编程里，调用其他模块的函数时，你是直接指定要执行的具体子程序。调用者明确知道自己要触发哪一段代码，甚至需要自己处理分支逻辑来匹配不同场景：

// 过程化场景：调用者判断类型，指定执行的函数
typedef enum { CIRCLE, RECTANGLE } ShapeType;
typedef struct {
    ShapeType type;
    // 形状数据
} Shape;

void draw_circle(Shape* s) { /* ... */ }
void draw_rectangle(Shape* s) { /* ... */ }

void draw_shape(Shape* s) {
    // 调用者决定执行哪个函数
    if (s->type == CIRCLE) {
        draw_circle(s);
    } else if (s->type == RECTANGLE) {
        draw_rectangle(s);
    }
}

这里，draw_shape作为调用者，必须明确知道所有可能的形状类型，并手动选择对应的实现函数——控制权完全在调用者手里。

2. 消息传递：接收者自主决策 #

而OOP的消息传递（比如Java的方法调用），你是向对象发送一个“动作请求”，由对象自己决定如何响应。调用者只需要说“做这件事”，不需要关心对象用哪段代码来完成：

// OOP消息传递：对象自主选择实现
abstract class Shape {
    abstract void draw();
}

class Circle extends Shape {
    @Override
    void draw() { /* 圆的绘制逻辑 */ }
}

class Rectangle extends Shape {
    @Override
    void draw() { /* 矩形的绘制逻辑 */ }
}

// 调用者只需要发消息，不用管具体实现
void render(Shape shape) {
    shape.draw(); // 发送"draw"消息，shape自己选执行哪段代码
}

这里，render方法作为调用者，根本不需要知道shape是圆还是矩形——它只发送“draw”这个消息，具体执行哪段draw代码，完全由shape对象根据自身类型（甚至运行时状态）自主决定。

关键本质区别总结 #

• 过程化调用：调用者指定实现——你告诉计算机“去执行X函数”，是一种“命令式”的调用。
• 消息传递：请求动作，而非指定实现——你告诉对象“请做Y这件事”，是一种“请求式”的交互，对象拥有最终的执行逻辑选择权。

你提到的“状态替代参数”只是消息传递带来的附加便利，而非核心差异。核心是把“选择执行逻辑”的权力，从调用者转移到了接收消息的对象身上。

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