52

このコードの場合:

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;
}

コンパイル後、取得した vtableg++ -fdump-class-hierarchyは次のとおりです。

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)*
4

3 に答える 3

55

これらは、offset-to-top (多重継承に必要) および typeinfo (RTTI) ポインターです。

Itanium ABI から(Itanium コンパイラを使用していませんが、これに関する説明は非常に優れています) :

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

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

上へのオフセットの詳細 (ご要望に応じて)

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

しかし、Dnowもから派生するとどうなるB2でしょうか? vtableへのポインタは、有効なvtableと有効な vtable の両方Dであってはなりません! コンパイラは、結合された vtable の最後に別の vtable を追加することでこれを解決し、 a からaにキャストしようとすると vtable-pointer を手動で調整します。B1B2B2D/B1DB2

しかし、これは新しい問題につながります - a から aにキャストバックしようとするとどうなるでしょうか? コンパイラーは、以前にポインターを調整したのと同じ量だけ vtable-pointer を後方に調整することはできません。特に、オブジェクトが type であるかどうかを判断できなければなりません。そのためには、オブジェクトの RTTI にアクセスする必要があり、そのためにB2DB2Ddynamic_cast<D>() D、元のオブジェクトの vtable の開始位置を知る必要があります。これが、offset-to-top 値の目的です。元のオブジェクトの vtable の開始点までのオフセットが得られ、オブジェクトの RTTI が取得され、C++ の復讐に燃える神が作物を別の季節に向けて成長させることができます。

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

于 2011-04-19T07:24:57.520 に答える
4

最初のエントリは仮想デストラクタ用で、2 番目のエントリは RTTI サポート用でしょうか? しかし、それは推測にすぎません。

于 2011-04-19T07:16:52.640 に答える