header
typeinfo
Type information
This header defines types used in conjunction with the operators
typeid and
dynamic_cast:
- 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)