Wikibooks

C++/RTTI

< C++
型推論 C++
RTTI 		コンテナ

RTTIの概要

編集

RTTI(Run-Time Type Information)はC++が提供する機能の1つで、実行時にオブジェクトの型情報を取得することができます。これにより、プログラムの実行中にオブジェクトの型を動的に検査し、適切な処理を行うことが可能になります。RTTIは以下のようなシーンで役立ちます。

  • 継承ヒエラルキーにおけるダウンキャスト
  • 汎用的なコンテナやアルゴリズムの実装
  • プラグインシステムやリフレクションライブラリの構築
  • デバッグ時のオブジェクト型の特定
  • 型安全なメッセージング システムの実装

typeid演算子

編集

typeid演算子を使うことで、オブジェクトやデータ型の型情報オブジェクトを取得できます。型情報オブジェクトはstd::type_infoクラスのインスタンスです。 

#include <iostream>
#include <typeinfo>

class Base { 
public:
    virtual ~Base() = default;  // 多態的な基底クラスには仮想デストラクタが必要
};
class Derived : public Base { };

auto main() -> int {
    Base* b = new Derived();
    std::cout << typeid(*b).name() << std::endl;
    delete b;  // メモリリークを防ぐ
    return 0;
}

name()メンバ関数を呼び出すと型名を表す文字列を取得できます。ただし、型名の表示形式は実装依存です。C++20からは、std::type_info::operator==がConstexpr対応となり、コンパイル時の型比較が可能になりました。

type_infoクラス

編集

type_infoクラスは、<typeinfo> ヘッダーで定義されている型情報を表すクラスです。C++20以降の主なメンバ関数は以下の通りです：

name() const noexcept
型名を表す文字列を返します（実装依存）
before(const type_info&) const noexcept
型の順序関係を比較します
hash_code() const noexcept
型の一意なハッシュ値を返します（C++11で追加）
operator==, operator!=
型情報オブジェクトの等値比較を行います（C++20でconstexpr対応）
#include <iostream>
#include <typeinfo>

class Base {
public:
    virtual ~Base() = default;
};
class Derived : public Base { };

auto main() -> int {
    Derived d;
    Base& b = d;
    
    // C++20のconstexpr対応を活用した型比較
    if constexpr (typeid(Derived) == typeid(Derived)) {
        std::cout << "Compile-time type comparison" << std::endl;
    }
    
    // 実行時の型比較
    if (typeid(b) == typeid(Derived)) {
        std::cout << "b is actually a Derived object" << std::endl;
    }
    
    // ハッシュ値の取得
    std::cout << "Type hash: " << typeid(b).hash_code() << std::endl;
    return 0;
}

typeinfo ヘッダー

編集

typeinfo ヘッダーには、以下のクラスが定義されています：

std::type_info
型情報を表すクラス
std::bad_typeid
typeidで無効な型情報が発生した場合にスローされる例外
std::bad_cast
dynamic_castが失敗した場合にスローされる例外
#include <iostream>
#include <typeinfo>
#include <exception>

class Base {
public:
    virtual ~Base() = default;
};
class Derived : public Base { };

auto main() -> int {
    try {
        Base b;
        auto const& d = dynamic_cast<Derived&>(b);
    } catch (const std::bad_cast& e) {
        std::cerr << "Cast failed: " << e.what() << std::endl;
    } catch (const std::exception& e) {
        std::cerr << "Other error: " << e.what() << std::endl;
    }
    return 0;
}

RTTIの有効化

編集

RTTIを利用するには、コンパイル時にRTTIを有効にする必要があります。主要なコンパイラでの設定方法は以下の通りです： 

# GCC/Clang (デフォルトで有効)
g++ -frtti -Wall -std=c++20 main.cpp
clang++ -frtti -Wall -std=c++20 main.cpp

# MSVC (デフォルトで有効)
cl /GR /std:c++20 /EHsc main.cpp

# RTTIを無効化する場合
g++ -fno-rtti main.cpp        # GCC
clang++ -fno-rtti main.cpp    # Clang
cl /GR- main.cpp              # MSVC

C++20以降、ほとんどのコンパイラではRTTIはデフォルトで有効になっています。RTTIを無効にすると、typeidやdynamic_castが使えなくなるため、注意が必要です。

dynamic_cast演算子

編集

dynamic_castは安全なダウンキャストを行うための演算子です。ポインタ型やリファレンス型の変数に対して使用できます。C++17以降、std::dynamic_pointercastを使用することで、スマートポインタに対しても同様の操作が可能です。 

#include <memory>
#include <iostream>

class Base {
public:
    virtual ~Base() = default;
};
class Derived : public Base { };

auto main() -> int {
    // 従来のポインタを使用した場合
    Base* b1 = new Derived();
    if (auto* d1 = dynamic_cast<Derived*>(b1)) {
        std::cout << "Pointer cast succeeded" << std::endl;
    }
    delete b1;

    // スマートポインタを使用した場合 (C++17以降)
    auto b2 = std::make_shared<Derived>();
    if (auto d2 = std::dynamic_pointer_cast<Derived>(b2)) {
        std::cout << "Smart pointer cast succeeded" << std::endl;
    }
    return 0;
}

RTTIの制限事項

編集

RTTIには以下のような制限事項があります：

  • 配列型や関数型の型情報は取得できません
  • 型エイリアスやtypedefで定義した名前は、本来の型名ではなくエイリアス名が返される場合があります
  • 無名の型や閉じられた列挙型の型情報は取得できません
  • テンプレートの特殊化に関する情報は限定的です
  • コンパイル時の型情報と比べてオーバーヘッドが大きくなります
#include <iostream>
#include <typeinfo>

template<typename T>
class Template { };

using Alias = Template<int>;
enum class Enum { A, B };

auto main() -> int {
    Alias a;
    Enum e = Enum::A;
    
    // 実装依存の出力となる
    std::cout << "Alias type: " << typeid(a).name() << std::endl;
    std::cout << "Enum type: " << typeid(e).name() << std::endl;
    return 0;
}

RTTIの利用例

編集

RTTIは以下のような場面で活用できます：

型に基づく処理の分岐

編集 
#include <iostream>
#include <typeinfo>
#include <memory>

class Base {
public:
    virtual ~Base() = default;
};
class Derived1 : public Base { };
class Derived2 : public Base { };

auto process(const std::shared_ptr<Base>& obj) -> void {
    if (typeid(*obj) == typeid(Derived1)) {
        std::cout << "Processing Derived1" << std::endl;
    } else if (typeid(*obj) == typeid(Derived2)) {
        std::cout << "Processing Derived2" << std::endl;
    } else {
        std::cout << "Processing Base" << std::endl;
    }
}

スマートポインタを使用したダウンキャスト

編集 
#include <memory>
#include <iostream>

class Base {
public:
    virtual ~Base() = default;
};
class Derived : public Base {
public:
    void derivedMethod() { 
        std::cout << "Derived method called" << std::endl; 
    }
};

auto processObject(const std::shared_ptr<Base>& obj) -> void {
    if (auto derived = std::dynamic_pointer_cast<Derived>(obj)) {
        derived->derivedMethod();
    } else {
        std::cout << "Object is not of Derived type" << std::endl;
    }
}

型安全なファクトリーパターン

編集 
#include <memory>
#include <string>
#include <unordered_map>
#include <functional>

class Product {
public:
    virtual ~Product() = default;
};

class Factory {
    std::unordered_map<size_t, std::function<std::shared_ptr<Product>()>> creators;
    
public:
    template<typename T>
    void registerType() {
        creators[typeid(T).hash_code()] = []{ return std::make_shared<T>(); };
    }
    
    std::shared_ptr<Product> create(const std::type_info& type) {
        auto it = creators.find(type.hash_code());
        return it != creators.end() ? it->second() : nullptr;
    }
};

RTTIとその他の型情報取得手段の比較

編集

C++20以降、型情報を取得する手段が拡充されています：

コンパイル時の型情報

編集

C++20で導入されたconcepts機能を使用すると、型の制約をより明確に表現できます： 

#include <concepts>
#include <type_traits>

template<typename T>
concept Derived = std::is_base_of_v<Base, T>;

template<Derived T>
auto process(T& obj) -> void {
    // Tは必ずBaseクラスの派生クラス
}

型特性（Type Traits）

編集

C++20で追加された型特性を使用した例： 

#include <type_traits>

template<typename T>
auto checkType() -> void {
    if constexpr (std::is_base_of_v<Base, T>) {
        // コンパイル時に判定
    }
    
    // C++20の新しい型特性
    static_assert(std::is_nothrow_convertible_v<T*, Base*>);
}

constexpr if を使用した型チェック

編集

C++17以降、constexpr ifを使用してコンパイル時の型チェックが可能です： 

template<typename T>
auto processType() -> void {
    if constexpr (std::is_same_v<T, int>) {
        // Tがintの場合のコード
    } else if constexpr (std::is_floating_point_v<T>) {
        // Tが浮動小数点数の場合のコード
    }
}

C++23以降の展望

編集

C++23では、以下のような機能が追加または提案されています：

  • std::type_infoのさらなるconstexpr対応
  • リフレクション機能の強化（提案段階）
  • より詳細な型情報へのアクセス機能
  • パターンマッチング機能との連携

これらの機能により、型の操作がより柔軟になることが期待されます。

C++のRTTIとObjective-Cのidの類似点・相違点
C++のRTTIとObjective-Cのid型による動的型システムは、どちらも実行時の型情報を扱う機能を提供しますが、設計思想と実装方法に大きな違いがあります。これらの違いは、各言語の核となる設計原則と、想定されるユースケースの違いから生まれています。
型情報の保持方法

C++のRTTIシステムは、仮想関数テーブル（vtable）を通じて型情報を管理します。このアプローチでは、多態的な型、すなわちvirtualメンバを持つクラスのみが対象となり、コンパイル時に型情報が決定されます。 

class Base {
public:
    virtual ~Base() = default;  // vtableが生成される
};

class Derived : public Base {
public:
    void method() { }  // 通常のメンバ関数
};

auto main() -> int {
    Base* obj = new Derived();
    std::cout << typeid(*obj).name() << std::endl;  // コンパイル時に決定された型情報を使用
    delete obj;
    return 0;
}

一方、Objective-Cでは、すべてのオブジェクトがisa（クラスへのポインタ）を保持する方式を採用しています。この方式により、動的なメッセージディスパッチが基本機能として提供され、実行時に型情報を変更することも可能です。 

@interface MyClass : NSObject
- (void)method;
@end

@implementation MyClass
- (void)method { }
@end

int main() {
    id obj = [[MyClass alloc] init];
    NSLog(@"%@", [obj class]);  // 実行時に型情報を取得
    return 0;
}
メッセージディスパッチの仕組み

C++の仮想関数呼び出しは、vtableを介した間接呼び出しという形で実装されています。この方式では、コンパイル時に決定された仮想関数テーブルを使用するため、比較的小さなオーバーヘッドで実行できます。 

class Interface {
public:
    virtual ~Interface() = default;
    virtual void process() = 0;
};

class Implementation : public Interface {
public:
    void process() override {
        std::cout << "Processing" << std::endl;
    }
};

auto main() -> int {
    std::unique_ptr<Interface> obj = std::make_unique<Implementation>();
    obj->process();  // vtableを介した呼び出し
    return 0;
}

これに対してObjective-Cのメッセージ送信は、動的なメソッド解決を基本としています。この方式では、メソッドの追加や置換を実行時に行うことができ、高い柔軟性を提供します。ただし、この柔軟性の代償として、実行時のオーバーヘッドが大きくなる傾向があります。 

@interface MyClass : NSObject
@end

@implementation MyClass
- (void)dynamicMethod {
    NSLog(@"Dynamic method called");
}
@end

int main() {
    id obj = [[MyClass alloc] init];
    [obj performSelector:@selector(dynamicMethod)];  // 動的なメソッド呼び出し
    return 0;
}
型の安全性と実行時の挙動

C++のRTTIでは、コンパイル時の型チェックを基本としながら、dynamic_castによる安全なダウンキャストを提供しています。さらに、テンプレートと組み合わせることで、静的な型チェックの恩恵を最大限に活用できます。 

template<typename T>
auto safeCast(Base* obj) -> T* {
    return dynamic_cast<T*>(obj);  // 安全なキャスト
}

Objective-Cでは、動的な型チェックを基本としつつ、プロトコル（インターフェース）による型制約を提供しています。メッセージ送信時の型チェックも、この動的な性質に基づいて行われます。 

@protocol MyProtocol
- (void)requiredMethod;
@end

int main() {
    id<MyProtocol> obj = /* ... */;
    if ([obj conformsToProtocol:@protocol(MyProtocol)]) {
        [obj requiredMethod];  // プロトコルによる型制約
    }
    return 0;
}
実装とパフォーマンスの特徴

C++のRTTIは、コンパイル時の最適化が可能な設計となっています。実行時のオーバーヘッドは比較的小さく、必要に応じてRTTIを無効化することでさらなるパフォーマンスの向上も可能です。

一方、Objective-Cのシステムでは、メッセージディスパッチに伴うオーバーヘッドが存在します。この影響を軽減するためにキャッシュによる最適化が行われていますが、言語の動的な性質により、最適化には一定の制限があります。

実践的な応用場面

C++のRTTIは、プラグインシステムの実装や安全なダウンキャスト、型ベースのディスパッチなど、静的な型システムの利点を活かした場面で特に威力を発揮します。 

class Plugin {
public:
    virtual ~Plugin() = default;
    virtual void execute() = 0;
};

// プラグインシステムの実装例
auto loadPlugins() -> std::vector<std::unique_ptr<Plugin>> {
    std::vector<std::unique_ptr<Plugin>> plugins;
    // プラグインのロードと型チェック
    return plugins;
}

Objective-Cのidシステムは、UIフレームワークやスクリプティング、動的なオブジェクト生成など、実行時の柔軟性が求められる場面で真価を発揮します。 

// 動的なUIコンポーネントの生成例
NSString* className = @"UIButton";
Class buttonClass = NSClassFromString(className);
id button = [[buttonClass alloc] init];

C++のRTTIとObjective-Cのid型は、それぞれの言語の設計思想を色濃く反映した異なるアプローチを示しています。C++は静的型付けと効率性を重視する一方、Objective-Cは動的な柔軟性を重視しています。これらの特徴を理解し、適切な場面で活用することが重要です。

現代のアプリケーション開発においては、Swift（Objective-Cの後継）やC++の最新機能により、両者の利点を組み合わせた設計が可能になっています。この進化は、型システムの設計における新たな可能性を示唆しているといえるでしょう。

まとめ

編集

RTTIは実行時の型情報取得に不可欠な機能ですが、以下の点に注意が必要です：

  • パフォーマンスへの影響を考慮する
  • 適切なメモリ管理（特にスマートポインタの活用）
  • 例外安全性の確保
  • コンパイル時の型チェックとの使い分け

C++の進化とともに、RTTIも徐々に機能が拡充されています。特にC++20以降、constexpr機能の強化により、コンパイル時と実行時の型チェックを柔軟に組み合わせることが可能になっています。

今後のC++では、リフレクション機能の強化が予定されており、さらに強力な型情報の取得・操作が可能になると期待されています。


  型推論 C++
RTTI 		コンテナ  
"https://ja.wikibooks.org/w/index.php?title=C%2B%2B/RTTI&oldid=262995" より作成