class type_info;
typeid 運算子（作為 const 限定的左值）返回此類的一個物件。雖然其實際動態型別可能是派生類。typeid 可應用於任何型別或具有型別的任何表示式。const 或 volatile 限定的型別均被標識為其未限定的等價物。typedef 型別被認為與其別名型別相同。typeid 應用於多型類型別（宣告或繼承了虛擬函式的類）的引用或解引用的指標時，它會考慮其動態型別（即最派生物件的型別）。這需要 RTTI（執行時型別資訊）可用。typeid 應用於解引用的空指標時，將丟擲 bad_typeid 異常。typeid 返回的物件的生存期將持續到程式結束。type_info 的複製和賦值運算子是私有的：此類物件無法被複制。