opaque_typedef

An opaque typedef provides a customizable copy of an existing type, not simply a type alias. This makes safer interfaces possible by prohibiting implicit conversions and accidental interactions with other types, makes it possible to overload, and through customization you can precisely control the semantic interoperability of your type with other types.