程序在运行时执行不依赖类型信息。与之相对的是类型传递语义（type-passing semantics）。如通过具体化。。类型擦除的逆操作是类型推断。 
Java实现.Java通过类型擦除的方式实现泛型。具体来说，Java编译器会将类型参数替换为其上界(upper bound, 在Java中，即类型参数中extends子句的类型)，如果上界没有定义，则默认为Object。这样，在编译后就不会保留类型参数。同时为了保证类型安全，会插入显式类型转换；以及为了保证多态性，会生成桥接方