Yoichi Kawasaki blog » gcc http://yk55.com/blog the place to organize and record my ideas ... Sat, 28 Aug 2010 03:47:26 +0000 http://wordpress.org/?v=2.8.6 en hourly 1 Dynamic Binding & VTable Concept in C++ http://yk55.com/blog/2010/02/27/dynamic-binding-vtable-concept/ http://yk55.com/blog/2010/02/27/dynamic-binding-vtable-concept/#comments Sat, 27 Feb 2010 10:32:11 +0000 yoichi http://yk55.com/blog/?p=197 たまにc++コードのコンパイル時にエラー文言でvtableというキーワードを見たことはないだろうか？Polymorphismという有名なワードに対しこのvtableはあまりにも目立たない存在だ。とはいえPolymorphismを実現するためになくてはならない（最）重要なポジションを占めているのがvtable。別にvtableを理解しなくともPolymorphismの理解はできる。 ただし、骨太になりたいのならばPolymorphismを実現するためにどのようにvtableが使われているのかを理解しておくべきである。

UPCASTING

Virtual関数との比較のためにVirtual関数を持たないクラス継承を説明する。以下のようにvirtual関数を持たないSuperClassをSubClassが継承する。 SuperClassを継承したSubClassの参照をSuperClassポインタ変数に入れた場合は、子クラスへの参照がUPCASTされ親クラスへの参照として扱われる。実行結果はSuperClassへの参照へとUPCASTされるのでSuperClassの関数の内容が表示される。

#include <iostream>
using std::cout;
using std::endl;
class SuperClass {
public:
    void func() { cout << "SuperClass::func()" << endl; }
};
class SubClass : public SuperClass {
public:
    void func() { cout << "SubClass::func()" << endl; }
};
int main(int argc, char **argv ) {
     SubClass sub;
     SuperClass *super =&sub;
     super->func();
     return 0;
}
[実行結果]
SuperClass::func()

VIRTUAL FUNCTION, VTABLE, and VPOINTER

次にVirtual関数の例を説明する。さきほどの例ではUPCASTによりSubClassクラスではなくSuperClassクラスのfunc関数がcallされた。ここではSuperClassの関数にvirtualをつけた場合のfunc関数の振る舞いを確かめてみる。virtual関数func1、func2をもつSuperClassを継承した3つのSubClassを用意する。これら3つはそれぞれfunc1、func2両方とも、func1のみ、func2のみをoverrideしている。 実行結果はSubClassでvirtual関数をoverrideした場合はその内容が、そうでない場合はSuperClassの内容が表示される。

#include <iostream>
using std::cout;
using std::endl;
class SuperClass {
public:
    virtual void funcA() { cout << "SuperClass::funcA()" << endl; };
    virtual void funcB() { cout << "SuperClass::funcB()" << endl; };
};
class SubClass1 : public SuperClass {
public:
    void funcA() { cout << "SubClass1::funcA()" << endl; }
    void funcB() { cout << "SubClass1::funcB()" << endl; }
};
class SubClass2 : public SuperClass {
public:
    void funcA() { cout << "SubClass2::funcA()" << endl; }
};
class SubClass3 : public SuperClass {
public:
    void funcB() { cout << "SubClass2::funcB()" << endl; }
};
int main(int argc, char **argv ) {
    SubClass1 sub1; SubClass2 sub2; SubClass3 sub3;
    cout <<  "***************SubClass1***************" <<  endl;
    SuperClass *super =&sub1;
    super->funcA(); super->funcB();
    cout << "***************SubClass2***************" << endl;
    super =&sub2;
    super->funcA(); super->funcB();
    cout << "***************SubClass3***************" << endl;
    super =&sub3;
    super->funcA();super->funcB();
    return 0;
}
[実行結果]
***************SubClass1***************
SubClass1::funcA()
SubClass1::funcB()
***************SubClass2***************
SubClass2::funcA()
SuperClass::funcB()
***************SubClass3***************
SuperClass::funcA()
SubClass2::funcB()

virtualな関数の場合はコンパイラは型ではなくてオブジェクトのポインタを見ていて実行時にどのfuncが実行されるべきかを判断する。非virtual関数の時と違いコンパイラーはコンパイル時にはどのfuncが呼ばれるのか判別できない。この実行時にどのfuncが呼ばれるのか決定することをDynamic Bindingと呼ぶ。そしてこのDynamic BindingはVirtual Function table(Vtable)と呼ばれるメカニズムによって実現される。ようやく本題。

Vtableとはvirtual関数を持っているクラスや親クラスで定義されているvirtual関数をoverrideしたクラスに対してコンパイラーが作成する（その名のとおり）仮想テーブルである。コンパイラーはvirtual関数を持っている/virtaul関数をoverrideしているクラスにのみクラスごとのVtableを作成してその中にbindすべき関数ポインターを持っている。
またこのVtableを指すポインタのことをvpointerと呼ぶ。コンパイラはVtableを持っているクラスに対してvpointerを隠しメンバー変数として追加する。さらにコンストラクタにそのvpointer変数の初期化を行うコードを追加する。よってオブジェクトが作成されるとき隠しメンバー変数vpointerは対応するVtableアドレスで初期化され、実行時の実行関数の決定は内部でvpointerを通じてVtableをlookupすることで実現される。　（参照: wikipedia:vtable implementation）

Vtableに作成される関数ポインターは、そのクラスで持っているvirtual関数のポインター、親クラスで定義されているvirtaul関数をoverrideした関数のポインター、また親クラスでvirtual定義されている関数をoverrideしない場合はその親のvirtual関数ポインタが含まれることになる。上記サンプルにあるSuperClass, SubClass[1-3]に対するオブジェクトとvpointer、vtableとそのvtableに含まれる関数ポインターの関係を図にすると以下のようになる。

vtable - Virtual Function Table

上図を元にサンプル中のSubClass1::funcAのDynamic Bindingイメージを式化してみると次のような感じになる・ vptr1はSubClass1のvpointerとする。 あくまでイメージであり(vptr->)は実際は見えません。

SubClass1 sub1;
SuperClass *super =&sub1;
super->vptr->funcA();    // SubClass1::funcA(),

g++ -fdump-class-hierarchのダンプ結果

最後にg++の-fdump-class-hierarchオプションによるVtableのダンプ結果を見てみる。上記サンプルファイルをvtable.cppとして次のようにコンパイルを行う。　（参考: Options for Debugging Your Program or GCC）

 g++ -fdump-class-hierarchy vtable.cc -o vtable

これでコンパイルが終わりvtable実行ファイルができあがる。また同一ディレクトリにvtable.cpp.002t.classという名前のファイルが出来上がる。このファイルにVtableのダンプ結果が出力されている。各クラスのVtable中を見るといまいち意味のわからないものはあるが上図のとおりの関数が含まれており、また各クラスにはvptrを見つけることができる。

Vtable for SubClass1
SubClass1::_ZTV9SubClass1: 4u entries
0     (int (*)(...))0
4     (int (*)(...))(& _ZTI9SubClass1)
8     SubClass1::funcA
12    SubClass1::funcB

Class SubClass1
   size=4 align=4
   base size=4 base align=4
SubClass1 (0xb7254a80) 0 nearly-empty
    vptr=((& SubClass1::_ZTV9SubClass1) + 8u)
  SuperClass (0xb707c1e0) 0 nearly-empty
      primary-for SubClass1 (0xb7254a80)

Vtable for SubClass2
SubClass2::_ZTV9SubClass2: 4u entries
0     (int (*)(...))0
4     (int (*)(...))(& _ZTI9SubClass2)
8     SubClass2::funcA
12    SuperClass::funcB

Class SubClass2
   size=4 align=4
   base size=4 base align=4
SubClass2 (0xb7254b80) 0 nearly-empty
    vptr=((& SubClass2::_ZTV9SubClass2) + 8u)
  SuperClass (0xb707c3c0) 0 nearly-empty
      primary-for SubClass2 (0xb7254b80)

Vtable for SubClass3
SubClass3::_ZTV9SubClass3: 4u entries
0     (int (*)(...))0
4     (int (*)(...))(& _ZTI9SubClass3)
8     SuperClass::funcA
12    SubClass3::funcB

Class SubClass3
   size=4 align=4
   base size=4 base align=4
SubClass3 (0xb7254c40) 0 nearly-empty
    vptr=((& SubClass3::_ZTV9SubClass3) + 8u)
  SuperClass (0xb707c528) 0 nearly-empty
      primary-for SubClass3 (0xb7254c40)

おわり

]]> http://yk55.com/blog/2010/02/27/dynamic-binding-vtable-concept/feed/ 0 C++ :: typeidとdemangleで実行時クラス名取得 http://yk55.com/blog/2010/01/20/get_cpp_classname_by_typeid_and_demangle/ http://yk55.com/blog/2010/01/20/get_cpp_classname_by_typeid_and_demangle/#comments Tue, 19 Jan 2010 20:27:20 +0000 yoichi http://yk55.com/blog/?p=59 Javaでは普通に行われている実行時の型情報取得（ Object.getClass(), Class.getName()とかinstanceOfとかね ）ですが、CではできないのだからどうせC++でもできないのだろうなと思っていたら予想に反しRunＴime Type Identification (RTTI)という実行時の型情報取得機能がばっちり用意されてました。 確かにdynamic_castができているわけだし、まあそういうことだよねと納得。 ということでC++で実行時クラス名の取得を試みました。

実行時型情報取得はtypeid演算子を使います。typeid演算子はtype_info型クラスの参照を返し、そのtype_infoのメンバname()より型情報の文字列が取得できます。 それでは次のコードで型情報を取得してみます。

#include <iostream>
#include <typeinfo>
using std::cout;
using std::endl;
using std::type_info;

class Parent{
public:
  virtual void x(){}
};
class Child : public Parent {};

main(){
    Parent* p;
    p = new Parent();
    const type_info & id_p = typeid(*p);
    cout << id_p.name() << endl;
    p = new Child();
    const type_info & id_c = typeid(*p);
    cout << id_c.name() << endl;
}

これをコンパイル(gcc 4.3.2)後に実行した結果は次のとおり。

6Parent
5Child

ParentクラスとChildクラスそれぞれの結果は確かにそれっぽいものが得られましたがなぜかクラス名の前に文字数がくっついてます。 どうしたもんだと思ってググってみるとまさにピンポイントなMLでの議論を発見。 クラスの前の数字がゴミに見えて気づかなかったのですがこれはマングリングされた文字列でした。 というわけで問題はデマングリングで解決します。上記MLではその法についても紹介されていたのでそれを参考にデマングリングを試みます。

デマングリングにはcxxabi.hに定義されている__cxa_demangle()関数を使用します。まずはヘッダを覗いてみます。

__cxa_demangle() @ /usr/include/c++/4.1.3/cxxabi.h

#ifdef __cplusplus
namespace __cxxabiv1
{
  extern "C"
  {
#endif
...略...
  // Demangling routines.
  char*
  __cxa_demangle(const char* __mangled_name, char* __output_buffer,
         size_t* __length, int* __status);
#ifdef __cplusplus
  }
} // namespace __cxxabiv1
#endif
...略...
// User programs should use the alias `abi'.
namespace abi = __cxxabiv1;

次にこの__cxa_demangle()を使って先のマングルされた文字列をデマングルしてみます。

#include <iostream>
#include <typeinfo>
#include <cxxabi.h>
using std::cout;
using std::endl;
using std::type_info;

class Parent{
public:
  virtual void x(){}  // 1. 仮想メソッド宣言
};
class Child : public Parent {};

main(){
    Parent* p;
    int status;
    p = new Parent();
    const type_info & id_p = typeid(*p);
    cout << abi::__cxa_demangle(id_p.name(), 0, 0, &status) << endl;
    p = new Child();
    const type_info & id_c = typeid(*p);
    cout << abi::__cxa_demangle(id_c.name(), 0, 0, &status) << endl;
}

デマングル版コードをコンパイル(gcc 4.3.2)後に実行してみると無事クラス名が出力。 ということで見事実行時クラス名の取得に成功しました。

Parent
Child

おわり

]]> http://yk55.com/blog/2010/01/20/get_cpp_classname_by_typeid_and_demangle/feed/ 2