我正在为一种面向对象的语言开发一个编译器,目标是我编写的虚拟机,我将其用作跨平台抽象层。我对继承方法的工作原理有点困惑。假设我有以下几行 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),它将在创建新实例时分配。
最佳答案
如果您要处理静态重载,那真的很简单:在处理代码时绑定(bind)到正确的实现。
但是,如果您正在使用动态重载,则必须在运行时决定事情。为此,您需要使用动态调度,使用真实的对象类型。这与使用方法覆盖 完成的相同。
动态调度与后期绑定(bind)不同。在这里,您选择的是实现而不是操作的名称(尽管此绑定(bind)将在编译时发生,但实现只会在运行时发生)。
静态地,您只会绑定(bind)到对象声明类型的实现。它在编译时完成。
您可以使用一些机制来实现动态调度,它将决定您的语言范式。
您的语言是打字的吗?弱类型?
例如,C++ 提供了我提到的两种类型的分派(dispatch)。对于动态的(我相信这是你感兴趣的),它使用一个虚拟表来为一个类做映射。该类的每个实例都将指向一个指向该 vtable 的指针。
- 实现
vtable(一个用于同一类的所有对象)将包含所有动态绑定(bind)方法的地址。调用时将从该表中获取其中一个地址。类型兼容对象的表中的地址对所有兼容类的方法具有相同的偏移量。
希望我帮到了你。
关于oop - 编译器如何编译虚拟/重写方法,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17119596/