后期自装订和静态装订

Question

我正在学习Pharo（Smalltalk实现）课程。关于这门语言，有一个小细节我不太明白。

教授谈到了后期自绑定和静态超级绑定。根据我对静态绑定的理解，编译器在编译时知道我的超级类是什么。这似乎是合乎逻辑的，因为没有多重继承（据我现在所知），所以只能有一个超级。所以它只需要查看继承树并获取父类。

后期自我绑定是我不太理解的东西。在我看来，编译器可以知道它在编译哪个类，所以它知道类型。那么为什么它不能确定它是否在编译类Foo，那个self指向Foo？也就是如果self总是指向类Foo的当前实例？

Answer 1

因为如果Bar是Foo的子类，并且 方法在 中定义，那么可以从 的实例调用 ，在这种情况下， Bar，而不是 Foo。

Answer 2

关于Smalltalk中self的后期绑定（也称为动态绑定）（或者用Java的说法），您的问题是编译器如何无法知道self所指的类。

答案是，在任何支持后期或动态绑定的面向对象语言（如果不是全部的话，也是大多数面向对象语言）中，在您开始发送消息之前，您不知道自己（或这个）将绑定到什么。让我们用一个简单的伪代码示例来说明这一点，您可以将其翻译成您最喜欢的任何面向对象语言。

class Foo :
    method m :
        print "Hello, I am foo"

class Bar subclass-of Foo :
    method m :
        print "Hello, I am bar"

因此，假设我们有一个实现某个方法 m 的类 Foo 和另一个类 Bar，其中 Foo 是超类，它也实现了方法 m 但具有不同的行为。现在假设，我们有一个 Foo 类型的变量 z，我首先为其分配一个 Foo 类型的对象实例，然后稍后再分配一个 Bar 类型的对象实例。到目前为止，没有问题：由于 Bar 是 Zork 的一个子类，由于可替代性原则，它的实例可以在任何需要 Zork 类型的实例的地方使用。特别是，您可以将名为 m 的消息发送到 Zork 对象或 Bar 对象。

z = new Foo()    % z now contains an object of type Foo
z.m()            % This will print "Hello, I am foo"
z = new Bar()    % z now contains an object of type Bar (subclass of Foo)
z.m()            % This will print "Hello, I am bar"

然而，如上面的说明所示，执行m（）的结果将取决于变量z中实际存储的对象类型，您只能在运行时知道这一点。在第一次调用上面的m（）时，z包含类 的实例，因此将调用在类 Foo<-code>上实现的方法 。上述对 m（）的第二次调用的行为不同，因为同时 z已被重新分配，现在包含类 Bar实例，因此将调用在类 Bar上实现的方法 m。

问题是，您只知道在运行时< code>z将实际包含什么类型的对象实例。因此，选择执行方法< code>m()的哪个版本(类< code>Foo的版本或类< code>Bar的版本)被推迟到运行时，这取决于接收器对象的实际类型(在我们的示例中:取决于变量< code>z中包含的对象的类型/类)。

我希望这能更好地解释晚期或动态绑定的原理，以及为什么不能在编译时确定这一点，而只能在运行时确定。

您可能还想阅读此相关讨论，其中举例说明并讨论了 Java 中静态绑定和动态绑定之间的区别：Java 中的静态绑定与动态绑定