oop - 编译器如何编译虚拟/重写方法

Question

我正在为一种面向对象的语言开发一个编译器，目标是我编写的虚拟机，我将其用作跨平台抽象层。我对继承方法的工作原理有点困惑。假设我有以下几行 C# 代码。

class myObject : Object {
public int aField;
public override string ToString() { 
    return "Dis be mah object";
} 
public void regularMethod() { }
}
Object test = new myObject();
Console.WriteLine(test.ToString());

现在这将输出“Dis be mah object”。如果我调用 regularMethod 但是编译后的代码实际上会做这样的事情:

struct myObject {
    public int aField;
}

public static void regularMethod(ref myObject thisObject)
{
}

编译后继承的方法ToString如何处理？编译器无法执行我上面使用 regularMethod 执行的操作，因为如果它执行了，那么“Dis be mah object”只会在创建 myObject 类型而不是普通 Object 类型时返回。我的猜测是 struct myObject 将包含一个函数指针/委托(delegate)，它将在创建新实例时分配。

Answer 1

如果您要处理静态重载，那真的很简单:在处理代码时绑定(bind)到正确的实现。

但是，如果您正在使用动态重载，则必须在运行时决定事情。为此，您需要使用动态调度，使用真实的对象类型。这与使用方法覆盖 完成的相同。

动态调度与后期绑定(bind)不同。在这里，您选择的是实现而不是操作的名称(尽管此绑定(bind)将在编译时发生，但实现只会在运行时发生)。

静态地，您只会绑定(bind)到对象声明类型的实现。它在编译时完成。

您可以使用一些机制来实现动态调度，它将决定您的语言范式。

您的语言是打字的吗？弱类型？

例如，C++ 提供了我提到的两种类型的分派(dispatch)。对于动态的(我相信这是你感兴趣的)，它使用一个虚拟表来为一个类做映射。该类的每个实例都将指向一个指向该 vtable 的指针。

• 实现

vtable(一个用于同一类的所有对象)将包含所有动态绑定(bind)方法的地址。调用时将从该表中获取其中一个地址。类型兼容对象的表中的地址对所有兼容类的方法具有相同的偏移量。

希望我帮到了你。