消息传递和方法调用有什么区别？

Question

消息传递和方法调用之间有区别吗？或者它们可以被认为是等效的吗？这可能是特定于该语言的；许多语言不支持消息传递（尽管我能想到的所有语言都支持方法），而支持消息传递的语言可以有完全不同的实现。此外，根据语言的不同，方法调用也存在很大差异（C、Java、Lisp、您最喜欢的语言）。我相信这是与语言无关的。你可以用传递方法做什么而用调用方法不能做什么，反之亦然（用你最喜欢的语言）？

Answer 1

使用 Objective-C 作为消息示例，使用 Java 作为方法示例，主要区别在于，当传递消息时，对象决定如何处理该消息（通常会导致调用对象中的实例方法）。

然而，在 Java 中，方法调用是一个更加静态的事情，因为您必须拥有对调用该方法的类型的对象的引用，并且该类型中必须存在具有相同名称和类型签名的方法，否则编译器将会抱怨。有趣的是实际的调用是动态的，尽管这对程序员来说并不明显。

例如，考虑像

class MyClass {
    void doSomething() {}
}

class AnotherClass {
    void someMethod() {
        Object object = new Object();
        object.doSomething(); // compiler checks and complains that Object contains no such method.

        // However, through an explicit cast, you can calm the compiler down,
        // even though your program will crash at runtime
        ((MyClass) object).doSomething(); // syntactically valid, yet incorrect
    }
}

Objective-C 这样的类，但是，编译器只是向您发出警告，将其认为对象可能无法理解的消息传递给对象，但忽略它并不会阻止您的程序执行。

虽然它非常强大且灵活，但如果使用不当，可能会因堆栈损坏而导致难以发现的错误。

改编自此处的文章。
另请参阅这篇文章了解更多信息。

Answer 2

作为第一个近似值，答案是：没有，只要你“表现正常”

尽管很多人认为有 - 从技术上讲，它通常是相同的：对要为特定命名执行的一段代码进行缓存查找- 操作（至少对于正常情况）。将操作的名称称为“消息”或“虚拟方法”并没有什么区别。

但是：Actor 语言确实不同：在拥有活动对象时（每个对象都有一个隐式消息队列和一个工作线程 - 至少在概念上），并行处理变得更容易处理（谷歌还“通信顺序进程”以获取更多信息）。

但是：在 Smalltalk 中，可以包装对象以使它们像 actor 一样，而无需实际更改编译器、语法甚至重新编译。

但是：在 Smalltalk 中，当您尝试发送接收者无法理解的消息（即“someObject foo:arg”）时，会创建一个消息对象，其中包含名称和参数，并且该消息对象会被传递作为“doesNotUnderstand”消息的参数。因此，对象可以自行决定如何处理未实现的消息发送（也称为未实现的方法的调用）。当然，它可以将它们推入队列，以便工作进程对它们进行排序...

当然，这对于静态类型语言来说是不可能的（除非您大量使用反射），但实际上这是一个非常有用的功能。代理对象、按需加载代码、远程过程调用、学习和自我修改代码、适应和自我优化程序、corba 和 dcom 包装器、工作队列都建立在该方案之上。当然，它可能会被滥用，并导致运行时错误。
所以它是一把双面剑。锋利而强大，但对于初学者来说很危险......

编辑：我在这里写的是关于语言实现的文章（如 Java 与 Smalltalk 中的比较 - 而不是进程间机制。

Answer 3

IIRC，它们已被正式证明是等效的。不需要太多的思考，至少表明它们应该如此。所需要的只是暂时忽略被调用地址与内存中实际位置的直接等价性，并将其简单地视为一个数字。从这个角度来看，数字只是一个抽象标识符，它唯一地标识您希望调用的特定类型的功能。

即使当您在同一台机器中调用函数时，也没有实际要求被调用地址直接指定被调用函数的物理（甚至虚拟）地址。例如，尽管几乎没有人真正使用它们，但英特尔保护模式任务门允许直接调用任务门本身。在这种情况下，只有地址的段部分被视为实际地址——即，对任务门段的任何调用最终都会调用相同的地址，而不管指定的偏移量如何。如果需要，处理代码可以检查指定的偏移量，并使用它来决定要调用的单个方法 - 但指定的偏移量和调用函数的地址之间的关系可以是完全任意的。

成员函数调用只是一种消息传递类型，它在所讨论的服务的客户端和服务器共享公共地址空间的常见情况下提供（或至少促进）优化。抽象服务标识符和该服务提供者所在的地址之间的 1:1 对应关系允许从一个到另一个的简单且异常快速的映射。

同时，请不要误会：某些东西看起来类似于成员函数调用，这一事实并不妨碍它在另一台机器上实际执行或异步执行，或（经常）两者兼而有之。实现这一点的典型机制是代理函数，它将成员函数调用的“虚拟消息”转换为“真实消息”，该消息可以（例如）根据需要通过网络传输（例如，Microsoft 的 DCOM 和 CORBA 都可以）这很常见）。

Answer 4

在实践中它们确实不是一回事。消息传递是在两个或多个并行进程之间传输数据和指令的一种方式。方法调用是调用子例程的一种方法。 Erlang 的并发性是建立在前一个概念及其面向并发编程的基础上的。

消息传递很可能涉及某种形式的方法调用，但方法调用不一定涉及消息传递。如果确实如此，那就是消息传递。消息传递是在并行进程之间执行同步的一种形式。方法调用通常意味着同步活动。调用者等待方法完成才能继续。消息传递是协程的一种形式。方法调用是子例程的一种形式。

所有子例程都是协程，但所有协程都不是子例程。

Answer 5

消息传递和方法调用之间有区别吗？或者它们可以被视为等效吗？

他们很相似。一些区别：

消息可以同步或异步传递（例如 Windows 中 SendMessage 和 PostMessage 之间的区别）

您可能在不确切知道要发送到哪个远程对象的情况下发送消息

目标对象可能位于远程计算机或 O/ S。