web-dev-qa-db-ja.com

g ++ -fdump-class-hierarchyの出力の最初の（int（*）（...））0 vtableエントリは何ですか？

このコードの場合：

class B1{
public:  
  virtual void f1() {}  
};

class D : public B1 {
public:
  void f1() {}
};

int main () {
    B1 *b1 = new B1();
    D  *d  = new D();

    return 0;
}

コンパイル後、g++ -fdump-class-hierarchyで取得するvtableは次のとおりです。

Vtable for B1
B1::_ZTV2B1: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI2B1)
16    B1::f1


Vtable for D
D::_ZTV1D: 3u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI1D)
16    D::f1

（int（）（...））0 *のようなエントリが何に対応するのか理解できませんでした。もちろん、それは、intを返し、無制限の数の引数を取る関数のようなものを意味します。これ以上何も理解していません。この関数ポインタはどの関数に対応していますか？どうやってそれを知っていますか？私のは64ビットマシンです。

2番目の関数ポインタの最後にアドレスが関連付けられていますか？それは誰に対応しますか？

[〜＃〜]編集[〜＃〜]

私が使用しているコンパイラはg ++です。

g++ -v
Using built-in specs.
Target: x86_64-suse-linux
Configured with: ../configure --prefix=/usr --infodir=/usr/share/info --mandir=/usr/share/man --libdir=/usr/lib64 --libexecdir=/usr/lib64 --enable-languages=c,c++,objc,fortran,obj-c++,Java,ada --enable-checking=release --with-gxx-include-dir=/usr/include/c++/4.4 --enable-ssp --disable-libssp --with-bugurl=http://bugs.opensuse.org/ --with-pkgversion='SUSE Linux' --disable-libgcj --disable-libmudflap --with-slibdir=/lib64 --with-system-zlib --enable-__cxa_atexit --enable-libstdcxx-allocator=new --disable-libstdcxx-pch --enable-version-specific-runtime-libs --program-suffix=-4.4 --enable-linux-futex --without-system-libunwind --with-Arch-32=i586 --with-tune=generic --build=x86_64-suse-linux
Thread model: posix
*gcc version 4.4.1 [gcc-4_4-branch revision 150839] (SUSE Linux)*
c++gccvirtual-functionsvtable
49
Aquarius_Girl

これらは、オフセットからトップ（複数の継承に必要）およびtypeinfo（RTTI）ポインターです。

Itanium ABI（Itaniumコンパイラを使用していませんが、これに関する説明は非常に優れています）：

offset to topは、この仮想テーブルをアドレス指定する仮想テーブルポインタのオブジェクト内の場所から、オブジェクトの上部への変位を保持します。 ptrdiff_t。それは常に存在します。オフセットは、仮想テーブルポインタを使用して、任意のベースサブオブジェクトからオブジェクトの上部を見つける方法を提供します。これは特にdynamic_castに必要です。
（完全なオブジェクト仮想テーブル、したがってそのすべてのプライマリベース仮想テーブルでは、このオフセットの値はゼロになります。[...]）

typeinfoポインターは、RTTIに使用されるtypeinfoオブジェクトを指します。それは常に存在します。特定のクラスの各仮想テーブルのすべてのエントリは、同じtypeinfoオブジェクトを指している必要があります。 typeinfoの同等性の正しい実装は、不完全な型へのポインター（直接的または間接的）を除いて、ポインターの同等性をチェックすることです。 typeinfoポインターは、ポリモーフィッククラス、つまり仮想関数を持つクラスの有効なポインターであり、非ポリモーフィッククラスの場合はゼロです。

オフセットからトップへの詳細（リクエストによる）

基本クラスB1から派生した派生クラスDがあるとします。 DインスタンスをタイプB1にキャストしようとするとどうなりますか？ B1オブジェクトを受け取る関数はDについて何も知らないため、Dvtableの一部も有効なB1vtableである必要があります。これは非常に簡単です。Dvtableの先頭をB1vtableのように見せ、その後に必要なエントリを追加するだけです。 B1を期待する関数は、B1に期待する以上に、vtableのどの部分も使用しないため、満足できます。

ただし、D now alsoがB2から派生した場合はどうなりますか？ Dvtableへのポインタをboth有効なB1vtable and有効なB2vtableにすることはできません。コンパイラは、結合されたB2vtableの最後に個別のD/B1vtableを追加することでこれを解決し、DからB2にキャストしようとしたときにvtable-pointerを手動で調整します。

ただし、これは新しい問題につながります-キャストしようとするとどうなりますかbackB2からDに？コンパイラは、vtable-pointerを以前にポインタを調整したのと同じ量だけ逆方向に調整することはできません。これは、実際にはknow提供しているB2オブジェクトが、タイプであることを確認できないためです。 D！特に、 dynamic_cast<D>()mustは、オブジェクトが型であるかどうかを判断できる必要がありますD。そのためには、オブジェクトのRTTIにアクセスする必要があり、thatの場合、元のオブジェクトのvtableの開始位置を知る必要があります。これがoffset-to-top値の目的です。これにより、元のオブジェクトのvtableの開始までのオフセットが得られ、オブジェクトのRTTIが取得され、C++の復讐に満ちた神が、作物を次のシーズンに向けて成長させることができます。

このページ にvtableレイアウトの良い例がいくつかあります（表1cの下）。 仮想継承 を使用しているため、少し複雑になっていることに注意してください。これにより、各子クラスのvtableにオフセットが追加されます。

50
BlueRaja - Danny Pflughoeft

たぶん、最初のエントリは仮想デストラクタ用で、2番目のエントリはRTTIサポート用ですか？しかし、それは単なる推測です。

3
Michael