| type_info | Type information type (class) |
| bad_cast | Exception thrown on failure to dynamic cast (class) |
| bad_typeid | Exception thrown on typeid of null pointer (class) |
typeinfo
header
Type information
This header defines types used in conjunction with the operators typeid and dynamic_cast: