虚拟表格/发送表

Question

从我所了解的CPP中，每个类都有自己的vtable。

然而this维基百科的链接中提到：

一个对象的调度表将 包含的对象的 动态绑定方法的地址。方法 调用通过从对象的 调度表中取得 方法的地址来执行。调度表为 ，对于属于同一类的所有对象 相同，因此通常在它们之间共享 。

有人可以摆脱一些光。

谢谢！

Answer 1

是的，编译器和运行时对虚拟方法的处理方式不同。

Java： java中的所有方法默认都是虚拟的。这意味着任何方法在用于继承时都可以被重写，除非该方法被声明为final或static。

从VM Specification，

Java虚拟机不 任务的任何特定的内部 结构对象。该书标志 有规定：在某些Sun的Java虚拟 机 实现的，一类 实例的引用是一个句柄的指针 本身就是一对指针：一个含有方法 表 对象和一个指向 对象的指针，该对象代表 对象的类型，另一个指向从堆中为对象 数据分配的内存 。

---

C++：

每当一个类的成员函数被声明为虚拟的，编译器，其中包含了声明为 在该类虚拟所有函数指针存储器中创建一个 虚拟表。这使运行时多态性成为可能（即在运行时找到所需的功能）。虚函数表还在 对象中有一个额外的指针指向vtable。由于这个额外的指针和vtable增加了对象的大小，所以类设计者需要明智地声明函数是虚拟的。

事件在调用时在基部对象指针的方法，该序列为：

• 获取虚表指针（这个虚表指针指向虚函数表的开头）。
• 使用偏移量获取vtable中的函数指针。

通过vtable指针间接调用该函数。

Answer 2

该引用指出每个对象都有一个调度表，它可以在类中共享，因为它们对于同一类的所有实例都是相同的。 I.E.每个班级都有自己的vtable。

Answer 3

每个具有虚拟功能的类（即在Java中它只是'每个类'）都有它自己的vtable。每个对象都隐藏了对其类vtable的引用。因此，同一类的对象具有相同的引用。

当您虚拟方法的编译器的调用通常使查找：

obj.method(args); 

被翻译成什么

obj.vtable[idx_method](obj, args); 

有时候，如果编译器可以推断出特定类型的对象，它可以发出静态而不是虚拟。所以，代码

MyObject obj(ctor_args); 
.... 
obj.method(args); 

可以翻译成

MyObject_method(obj, args); 

通常将执行比虚拟呼叫更快。

Answer 4

它有时更容易用一个例子就明白了：

class PureVirtual { 
    public: 
     virtual void methodA() = 0; 
     virtual void methodB() = 0; 
}; 

class Base : public PureVirtual { 
    public: 
     virtual void methodA(); 
     void methodC(); 
    private: 
     int x; 
}; 

class Derived : public Base { 
    public: 
     virtual void methodB(); 
    private: 
     int y; 
}; 

因此，考虑到衍生它可能看起来像类型的对象：

      ------------ 
Known offset for vtable | 0xblah | -------> [Vtable for type "Derived"] 
         ------------ 
Known offset for x  | 3  | 
         ------------ 
Known offset for y  | 2  | 
         ------------ 

随着V表类型“派生”找东西如：

      ------------ 
Known offset for "methodA" | 0xblah1 | ------> methodA from Base 
          ------------- 
Known offset for "methodB" | 0xblah2 | ------> methodB from Derived 
          ------------- 

请注意，由于“methodC”不是虚拟的，它不在vtable中在所有。还要注意Derived类的所有实例都有一个指向同一共享vtable对象的vtable指针（因为它们具有相同的类型）。

虽然C++和Java的实现略有不同，但这些想法并不兼容。从概念的角度来看，关键的区别在于Java方法是“虚拟的”，除非声明为“最终”。在C++中，关键字“virtual”必须明确给出，以使函数在vtable中。任何不在vtable中的东西都将使用编译时类型而不是对象的运行时类型来分派。