There are several kinds of explicit conversion.

; checked: Before the conversion is performed, a runtime check is done to see if the destination type can hold the source value. If not, an error condition is raised.; unchecked: No check is performed. If the destination type cannot hold the source value, the result is undefined.; bit pattern: The raw bit representation of the source is copied verbatim, and it is re-interpreted according to the destination type. This can also be achieved via aliasing.