トップ->C++入門

あなたは

人目のC++(C)言語入門受講生です。

C++入門内検索

目次
C++入門〜トップ
C言語入門〜トップ
0. はじめに

1. オブジェクト指向とは?
   1. オブジェクト指向とクラス
   2. 継承
   3. カプセル化
   4. ポリモーフィズム

2. ストリーム
   1. 出力
   2. マニピュレータ
   3. 入力
   4. ファイル
   5. 練習問題1
   6. 文字列
   7. 練習問題2

3. C++の新しい文法
   1. 新しい型bool
   2. デフォルト引数
   3. newとdelete
   4. 参照型
   5. const
   6. 変数の宣言
   7. 例外
   8. オーバーロード
   9. テンプレート関数
   10. 名前空間

4. クラス
   1. クラスとは
   2. クラスの宣言
   3. クラスの実装
   4. コンストラクタとデストラクタ
   5. クラスの使用法
   6. 例題)スタッククラス
   7. テンプレートクラス
   8. 練習問題
   9. 参照型
   10. 代入演算子
   11. コピーコンストラクタ
   12. 構造体
   13. メンバー変数の初期化
   14. 内部クラス
   15. 無名クラス
   16. 無名共用体
   17. 演算子の作り方
   18. friend
   19. 練習問題
   20. クラス変数(静的変数)
   21. 静的関数
   22. クラスと関数ポインタ

5. クラスの包含
   1. 包含とは
   2. クラスの作成・破壊
   3. メンバーイニシャライザ
   4. ポインタによる包含
   5. 参照による包含
   6. 練習問題

6. 継承
   1. 継承とは
   2. スーパークラスのコンストラクタ
   3. 継承とキャスト
   4. スコープ
   5. クラスの作成・破壊
   6. 派生の種類
   7. 仮装関数
   8. 純粋仮装関数
   9. 仮装デストラクタ
   10. 例題)例外クラス
   11. V-table(VF-table)
   12. 例題)お絵かきソフト
   13. 継承と包含
   14. 多重継承
   15. 多重継承の用途
   16. 仮想クラス
   17. 実行時型情報(RTTI)
   18. dynamic_cast

7. STL
   1. STLとは
   2. STLの歴史
   3. STLの構成
   4. コンテナ
   5. vector
   6. イタレーター
   7. クラスとSTL
   8. list
   9. queue
   10. deque
   11. priority_queue
   12. stack
   13. map
   14. mutimap
   15. set
   16. multiset
   17. bitset
   18. アルゴリズム
   19. basic_string
   20. コンテナを作ろう
   21. アルゴリズムを作ろう
   22. 配列とアルゴリズム

8. その他
   1. 変数名について

9. その後は
   1. ヒューマンアカデミー C言語講座
   2. el school C言語講座


・ トップページに戻る



・ トップページに戻る

トップ-> C++入門:6章 継承-> 実行時型情報(RTTI)

←前ページへ :  トップへ :  次ページへ→

17. 実行時型情報(RTTI)

  Baseクラスを派生したDeriv1クラスとDeriv2クラスがあるとします。Deriv1クラスの インスタンスをnewして、Baseクラスのポインタ型変数に代入したはいいけど、それが Deriv1クラスのインスタンスか、Deriv2クラスのインスタンスかを知りたい場合もあります。 このようにインスタンスがどのクラスのインスタンスかを調べなければいけないような 設計は良い設計とはいえません。しかし、調べられると便利な場合もあります。

  このように動的に型情報を取得する機構を「実行時型情報(RTTI=Runtime Type Information」 といいます。

  このRTTIを取得するクラスとして、「type_info」クラスがあります。このtype_infoクラスを 利用するには、「typeinfo」をインクルードする必要があります。

  type_infoクラスのインスタンスを得るには、以下のようにtypeid演算子を使用します。 戻り値は、const type_infoの参照です。
const type_info& typeid(expression)

例)
    int i;
    typeid(i);
    typeid(cout);

  そして、type_infoクラスには以下のような公開関数があります。 type_infoクラスの主要な関数
関数名 書 式 説 明
operator== int operator==(const type_info& rhs) const 2つのインスタンスを比較し、同じならば0以外が返ります。
operator!= int operator!=(const type_info& rhs) const 2つのインスタンスを比較し、異なるならば0以外が返ります。
before int before(const type_info& rhs) const 主に内部的に使用する関数なので、プログラマーにとってはあまり意味を持ちません。
name const char* name() const クラス名をNULL文字列として返します。
raw_name const char* raw_name() const 主に内部的に使用する関数なので、プログラマーにとってはあまり意味を持ちません。

  それでは簡単な例を紹介します。
#include<iostream>
#include<typeinfo>
using namespace std;

class Base{
public:
    virtual void Test(){}
    int a;

};

class Deriv : public Base{
public:
    virtual void Test(){}
    int b;
};

void main(){
    Base* pBase = new Deriv();
    int i;

    // int型変数iの型は・・・
    cout << typeid(i).name() << endl;

    // 型を直接記述することもできる
    cout << typeid(char).name() << endl;

    // ポインタ型もOK
    // ただし、Deriv*型にならないことに注意
    cout << typeid(pBase).name() << endl;

    // Base*型のインスタンスの中身はDerivクラスのインスタンス
    cout << typeid(*pBase).name() << endl;

    // pBaseの中のインスタンスがDerivクラスなのでtrueと表示
    cout << (typeid(*pBase) == typeid(Deriv) ? "true" : "false") << endl;

    delete pBase;
}
int
char
class Base *
class Deriv
true

  仮想関数を含まないクラスでは静的結合になるため、RTTIも無効になります。
#include<iostream>
#include<typeinfo>
using namespace std;

class Base{
public:
//  virtual void Test(){}
    int a;

};

class Deriv : public Base{
public:
//  virtual void Test(){}
    int b;
};

void main(){
    Base* pBase = new Deriv();
    int i;

    // ポインタ型もOK
    // ただし、Deriv*型にならないことに注意
    cout << typeid(pBase).name() << endl;

    // Base*型のインスタンスの中身はDerivクラスのインスタンス
    cout << typeid(*pBase).name() << endl;

    // pBaseの中のインスタンスがDerivクラスなのでtrueと表示
    cout << (typeid(*pBase) == typeid(Deriv) ? "true" : "false") << endl;

    delete pBase;
}
class Base *
class Base
false


  次に、テンプレートクラスの例を示します。
#include<iostream>
#include<typeinfo>
using namespace std;

template<class Type>
class Base{
public:
    virtual void Test(){}
    Type a;

};

template<class Type>
class Deriv : public Base<Type>{
public:
    virtual void Test(){}
    Type b;
};

void main(){
    Deriv<int>   intD;
    Deriv<char>  charD;

    cout << "intD :" << typeid(intD) .name() << endl;
    cout << "charD:" << typeid(charD).name() << endl;
    cout << ( typeid(intD) == typeid(charD) ? "true" : "false" ) << endl;
}
intD :class Deriv<int>
charD:class Deriv<char>
false

  上記の例のように、テンプレートでは、その両方とも同じでないと、同じクラスとは 認識しません。



←前ページへ :  トップへ :  次ページへ→