類型雙關

類型雙關是計算機科學的術語 ， 指任何編程技術能顛覆或者繞過一門程序設計語言的類型系統 ， 以達成在形式語言內部難以甚至不可能實現的效果 。 C語言與C + + 語言 ， 語法結構如類型轉換與union ， 以及C + + 增加的reinterpret_cast運算符 ， 用於實現類型雙關 。 Pascal語言使用records與variants來按照多種方法處理特定數據類型 。