类型擦除维基百科,自由的 encyclopedia 类型擦除是电脑程式设计时,在编译期明确去掉所编程序(某部分)的类型系统。 操作语义不需要程序伴随着类型,这称作“类型擦除语义”(type-erasure semantics)。 类型擦除语义的一种可能是通过抽象原理(英语:Abstraction principle (computer programming)),确保程序在运行时执行不依赖类型资讯。 与之相对的是类型传递语义(type-passing semantics)。如通过具体化。[1]。类型擦除的逆操作是类型推断。
类型擦除是电脑程式设计时,在编译期明确去掉所编程序(某部分)的类型系统。 操作语义不需要程序伴随着类型,这称作“类型擦除语义”(type-erasure semantics)。 类型擦除语义的一种可能是通过抽象原理(英语:Abstraction principle (computer programming)),确保程序在运行时执行不依赖类型资讯。 与之相对的是类型传递语义(type-passing semantics)。如通过具体化。[1]。类型擦除的逆操作是类型推断。