class type_info;
Der Operator typeid
liefert ein std::type_info-Objekt.
Dieses kann weder kopiert noch zugewiesen werden.
Möglich sind nur Tests auf Gleichheit und Ungleichheit,
typeid(x).name() liefert eine eindeutige Zeichenkette für den Typ.
Mit typeid(x).before(typeid(y))
wird eine (nicht näher bestimmte) Reihenfolge im Typsystem festgelegt.
class bad_typeid;
Der typeid-Operator wirft eine std::bad_typeid-Ausnahme,
wenn er auf einen Null-Zeiger angewendet wird.
class bad_cast
Ein bad_cast-Objekt wird geworfen,
wenn ein dynamic_cast fehlschlägt.