类型擦除 类型擦除是计算机程序设计时在编译期明确去掉所编程序某部分的类型系统 操作语义不需要程序伴随着类型这称作类型擦除语义typeerasure semantics 类型擦除语义的一种可能是通过抽象原理英语Abstraction principle computer programming确保程序在运行时执行不依赖类型信息 与之相对的是类型传递语义typepassing semantics如通过具体化类型擦除的逆操作是类型推断