The type parameter must be a data type to which object can be converted via a known method, whether it be a builtin or a cast. The type can be a reference or an enumerator.
All types of conversions that are well-defined and allowed by the compiler are performed using
static_cast<> operator can be used for operations such as:
- converting a pointer of a base class to a pointer of a non-virtual derived class;
- converting numeric data types such as enums to ints or ints to floats.
static_cast conversions are checked at compile time to prevent obvious incompatibilities, no run-time type check is performed that would prevent a cast between incompatible data types, such as pointers. Also, the result of a
static_cast from a pointer of a virtual base class to a pointer of a derived class is undefined.