インターフェイスvtable

Question

インターフェイス（多相クラスは純粋仮想関数のみ）はvtableを持っていますか？ インタフェースは多相関数を実装しておらず、直接構築できないため、リンカがvtableを配置する必要はありません。そうですか？私は特にMSVCコンパイラを心配しています。

Answer 1

はい、彼らが行います。それにはいくつかの理由があります。

最初の正当な理由は、純粋な仮想メソッドでも実装があることです。暗黙的または明示的です。純粋な仮想関数を呼び出すトリックを引き出すことは比較的簡単です。したがって、基本的にあなたの定義を提供し、呼び出すことができ、何が起こるか見ることができます。そのため、最初に仮想テーブルが存在するはずです。

仮想テーブルをすべてのメソッドが純粋仮想であり、他のデータメンバーがない場合でも、仮想テーブルを基本クラスに置く別の理由があります。多型を使用すると、基本クラスへのポインタがプログラムの全周を渡されます。仮想メソッドを呼び出すために、コンパイラ/ランタイムは、基本ポインタからの仮想テーブルの相対的なオフセットを把握する必要があります。 C++に多重継承がない場合は、抽象基本クラス（たとえば）からオフセットをゼロにすることができます。この場合、vtableを持たない可能性があります（ただし、理由＃1のために必要です）。しかし、複数の継承があるので、基本クラスの数（および型）に応じて2つまたは3つのvtableが存在する可能性があるため、トリックala「vtableは0のオフセットにあります」が機能しません。

他にも理由はありますが、それ以外の理由もあります。

希望します。

Answer 2

純粋にC++の観点からは、学問的な質問です。移植可能な方法がない場合、仮想関数をvtableで実装する必要はありません。

特にMSVCコンパイラについて心配しているのであれば、インターフェイスを__declspec(novtable)で飾りたいかもしれません。

（一般的に、一般的な実装では、抽象クラスは、例えば、仮想テーブルを必要とするかもしれない：

struct Base { 
    Base(); 
    virtual void f() {} 
    virtual void g() = 0; 
}; 

void h(Base& b) { 
    b.f(); // Call f on a Base that is not (yet) a Derived 
      // vtable for Base required 
} 

Base::Base() { 
    h(*this); 
} 

struct Derived : Base { 
    void g() {} 
}; 

int main() { 
    Derived d; 
} 

）

Answer 3

vtableは必須ではありませんが、めったに最適化されません。 MSVCは__declspec(novtable)という拡張子を提供しており、vtableを削除できることをコンパイラに明示しています。それがない場合、コンパイラはvtableが使用されていないことを自分自身でチェックする必要があります。これは例外的に難しいことではありませんが、まだまだ些細なものではありません。また、通常のコードでは実際の速度の利点を提供しないので、私が知っているコンパイラではチェックは実装されていません。