実行時の型情報

#include <iostream> #include <typeinfo> 
 

クラスPerson { public : virtual ~ Person () = default ; };  

       


クラスEmployee : public Person {};     

int main () { Person person ; Employee employee ; Person * ptr = & employee ; Person & ref = employee ; // typeid::name によって返される文字列は実装定義です。std :: cout << typeid ( person ). name () << std :: endl ; // Person (コンパイル時に静的に既知)。std :: cout << typeid ( employee ). name () << std :: endl ; // Employee (コンパイル時に静的に既知)。std :: cout << typeid ( ptr ). name () << std :: endl ; // Person* (コンパイル時に静的に既知)。std :: cout << typeid ( * ptr ). name () << std :: endl ; // Employee (ポリモーフィック クラスへのポインターの逆参照であるため、実行時に動的に検索されます)。std :: cout << typeid ( ref ). name () << std :: endl ; // 従業員 (参照もポリモーフィックにできます)  
     
     
       
       
    
    
      
                 
      
                 
      
                 
      
                 
                             
                             
      
                 

    Person * p = nullptr ; try { typeid ( * p ); // 未定義の動作ではありません。std::bad_typeid がスローされます。} catch (...) { }   
    
     
         
        

    Person & p_ref = * p ; // 未定義の動作: null typeid ( p_ref );の逆参照は、 typeid の式が単項 * 演算子を適用した結果ではないため、std::bad_typeid をスローする要件を満たしません。}    
          
                        
                        

#include <配列> #include <iostream> #include <メモリ> #include <型情報> 
 
 
 

名前空間std を使用します。  

class A { public : // RTTI は仮想メソッド テーブルに含まれているため、少なくとも 1 つの仮想関数が必要です。virtual ~ A () = default ;  

    
    
       

    void MethodSpecificToA () { cout << "A 固有のメソッドが呼び出されました" << endl ; } };  
            
    


class B : public A { public : void MethodSpecificToB () { cout << "B 固有のメソッドが呼び出されました" << endl ; } };    

      
            
    


void MyFunction ( A & my_a ) { try { // キャストは B 型のオブジェクトに対してのみ成功します。B & my_b = dynamic_cast < B &> ( my_a ); my_b . MethodSpecificToB (); } catch ( const bad_cast & e ) { cerr << " Exception " << e . what () << " throwed." << endl ; cerr << " Object is not of type B" << endl ; } }   
     
        
           
        
         
                
            
    


int main () { array < unique_ptr < A > , 3 > array_of_a ; // 基本クラス A へのポインターの配列。array_of_a [ 0 ] = make_unique < B > (); // B オブジェクトへのポインター。array_of_a [ 1 ] = make_unique < B > (); // B オブジェクトへのポインター。array_of_a [ 2 ] = make_unique < A > (); // A オブジェクトへのポインター。  
       
         
         
         

    for ( int i = 0 ; i < 3 ; ++ i ) MyFunction ( * array_of_a [ i ] ); }        
        

void MyFunction ( A * my_a ) { B * my_b = dynamic_cast < B *> ( my_a );   
       

    if ( my_b != nullptr ) my_b -> methodSpecificToB (); else std :: cerr << " オブジェクトは B 型ではありません" << std :: endl ; }