类型双关是计算机科学的术语，指任何编程技术能颠覆或者绕过一门程序设计语言的类型系统，以达成在形式语言内部难以甚至不可能实现的效果。C语言与C++语言，语法结构如类型转换与codice_1，以及C++增加的codice_2运算符，用于实现类型双关。Pascal语言使用records与variants来按照多种方法处理特定数据类型。
Socket例子.Berkeley sockets使用类型双关来处理IP地址。函数bind绑定一个位初始化的套接字到一个IP地址，其声明如下：