C ++での「typeid」と「typeof」

C ++ typeidとtypeofC ++の違いは何ですか。これが私が知っていることです：

• typeidドキュメントに記載されている TYPE_INFO C ++ヘッダファイルに定義されているのTypeInfo。

• typeofCのGCC拡張およびC ++ Boostライブラリで定義されています。

また、ここに、私が作成したテストコードテストがあります。ここでは、typeid期待した結果を返さないことがわかりました。どうして？

main.cpp

#include <iostream>  
#include <typeinfo>  //for 'typeid' to work  

class Person {  
    public:
    // ... Person members ...  
    virtual ~Person() {}  
};  

class Employee : public Person {  
    // ... Employee members ...  
};  

int main () {  
    Person person;  
    Employee employee;  
    Person *ptr = &employee;  
    int t = 3;  

    std::cout << typeid(t).name() << std::endl;  
    std::cout << typeid(person).name() << std::endl;   // Person (statically known at compile-time)  
    std::cout << typeid(employee).name() << std::endl; // Employee (statically known at compile-time)  
    std::cout << typeid(ptr).name() << std::endl;      // Person * (statically known at compile-time)  
    std::cout << typeid(*ptr).name() << std::endl;     // Employee (looked up dynamically at run-time  
                                                       // because it is the dereference of a pointer
                                                       // to a polymorphic class)  
 }  

出力：

bash-3.2$ g++ -Wall main.cpp -o main  
bash-3.2$ ./main   
i  
6Person  
8Employee  
P6Person  
8Employee

C ++言語にはのようなものはありませんtypeof。コンパイラ固有の拡張機能を確認している必要があります。GCCについて話している場合typeof、C ++ 11にはキーワードを介して同様の機能がありdecltypeます。繰り返しますが、C ++にはそのようなtypeofキーワードはありません。

typeid実行時に型識別情報を返すC ++言語の演算子です。基本的に、type_info他のtype_infoオブジェクトと同等のオブジェクトを返します。

返されるtype_infoオブジェクトの唯一の定義されたプロパティは、同等および非同等であることに注意してください。つまり、type_info異なるタイプを説明するオブジェクトは非同等を比較type_infoし、同じタイプを説明するオブジェクトは同等に比較する必要があります。それ以外はすべて実装定義です。さまざまな「名前」を返すメソッドは、人間が読めるものを返すことは保証されていません。

また、上記はおそらく、（標準では明示的には言及されていないようですが）typeid同じタイプへの連続したアプリケーションが異なるtype_infoオブジェクトを返す可能性があることを意味します（もちろん、等しいものを比較する必要があります）。

2つの主な違いは次のとおりです。

• typeofはコンパイル時の構文であり、コンパイル時に定義された型を返します
• typeidは実行時の構成要素であるため、値の実行時のタイプに関する情報を提供します。

リファレンスのタイプ：http ://www.delorie.com/gnu/docs/gcc/gcc_36.html

typeidリファレンス：https : //en.wikipedia.org/wiki/Typeid

typeidは実行時に動作し、オブジェクトのランタイムタイプを記述するオブジェクトを返すことができます。これは、RTTI（ランタイムタイプ情報）をクラスに格納するために、仮想メソッドを持つクラスのオブジェクトへのポインタでなければなりません。また、実行時の型情報を持つクラスへのポインタが指定されていない場合は、式のコンパイル時の型または型名を指定できます。

typeofGNU拡張機能であり、コンパイル時に任意の式のタイプを提供します。これは、たとえば、複数の型で使用される可能性のあるマクロで一時変数を宣言する場合に役立ちます。C ++では、通常、代わりにテンプレートを使用します。

追加の質問に答える：

typeidの次のテストコードは、正しいタイプ名を出力しません。どうしましたか？

何も問題はありません。表示されるのは、型名の文字列表現です。標準C ++は、コンパイラーにクラスの正確な名前を出力させることはありません。適切なものを決定するのはインプリメンター（コンパイラーベンダー）の責任です。つまり、名前はコンパイラ次第です。

これらは2つの異なるツールです。typeof式のタイプを返しますが、これは標準ではありません。C ++ 0xにはdecltype、同じことをAFAIKで行うと呼ばれるものがあります。

decltype(0xdeedbeef) number = 0; // number is of type int!
decltype(someArray[0]) element = someArray[0];

一方、typeidは多相型で使用されます。たとえば、次のようにcat導出するとしますanimal。

animal* a = new cat; // animal has to have at least one virtual function
...
if( typeid(*a) == typeid(cat) )
{
    // the object is of type cat! but the pointer is base pointer.
}

typeidは、要求されたときに、実行時のデータのタイプを提供します。Typedefは、後で説明するように新しい型を定義するコンパイル時の構造です。C ++にはtypeofはありません。出力は次のように表示されます（内接コメントとして表示）：

std::cout << typeid(t).name() << std::endl;  // i
std::cout << typeid(person).name() << std::endl;   // 6Person
std::cout << typeid(employee).name() << std::endl; // 8Employee
std::cout << typeid(ptr).name() << std::endl;      // P6Person
std::cout << typeid(*ptr).name() << std::endl;     //8Employee

Boost demangleを使用して、見栄えの良い名前を実現できます。

#include <boost/units/detail/utility.hpp>

そして何かのような

To_main_msg_evt ev("Failed to initialize cards in " + boost::units::detail::demangle(typeid(*_IO_card.get()).name()) + ".\n", true, this);