header
<typeinfo>
Type information
This header defines types used related to operators typeid and dynamic_cast.
The inclusion of this header is required prior to any use of the typeid operator.
Types
- 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
)