[发明专利]特化类的手动精炼

摘要

虽然运行时特化器可能总是能够生成泛型类的自动特化版本，但是在某些情况下，用户对特化的控制的替代形式可以允许使用自动特化，同时还允许添加(或重写)特定于特化的方法实现。一般地，当将泛型类特化时，泛型类的成员集合可能不变。换句话说，与泛型版本中相同的成员可以存在于自动特化的版本中。但是，特化类的手动精炼可以允许开发人员将特化类的一个或多个方法的特定(有可能更好)表示和/或实现手动特化。

主权项

一种存储程序指令的非暂态计算机可读存储介质，所述程序指令在计算设备上执行时使计算设备进行：加载包括用于泛型类的类声明的类文件，其中泛型类经多个类型参数化可特化，其中类声明包括精炼方法，所述精炼方法特定于所述多个类型参数化中一个特定类型参数化，其中所述精炼方法在泛型类对所述特定类型参数化被特化时包括用于泛型类的方法的替代实现；对所述特定类型参数化将泛型类特化；以及响应于所述特化以及基于所述特定类型参数化，在特化的泛型类中包括所述精炼方法。