類型擦除

類型擦除是計算機程序設計時 ， 在編譯期明確去掉所編程序 （ 某部分 ） 的類型系統 。 操作語義不需要程序伴隨着類型 ， 這稱作 “ 類型擦除語義 ” （ type - erasure semantics ） 。 類型擦除語義的一種可能是通過 ， 確保程序在運行時執行不依賴類型信息 。 與之相對的是類型傳遞語義 （ type - passing semantics ） 。 如通過具體化 。 。 類型擦除的逆操作是類型推斷 。