[发明专利]元数据驱动的动态具体化

摘要

元数据驱动的动态具体化可以包括使用指令的编码形式或指令的实参的编码形式来对泛型类中的一组指令或者对包括类型变量的方法声明应用类型擦除操作。指令可以对引用类型的值进行操作并且实参可以是指示引用类型的签名。编码形式可以被注释以包括元数据，该元数据指示哪些类型变量已经被擦除以及哪些引用类型是类型变量的擦除物。附加地，元数据可以指示指令对类(或方法)声明的类型变量的值进行操作以及实参指示引用类型是类(或方法)声明的类型变量的擦除物。此外，指令或实参的编码形式可以在没有具体化或转换的情况下被直接使用。

主权项

1.一种非暂态计算机可读存储介质，所述非暂态计算机可读存储介质存储程序指令，所述程序指令在计算设备上被执行时使得所述计算设备执行以下步骤：/n由编译器基于类声明生成注释类文件，其中所述生成包括：/n对用于所述类声明的指令流应用类型擦除操作，其中所述指令流由虚拟化执行环境执行，以及其中所述类声明包括一个或多个类型变量；/n其中应用所述类型擦除操作包括：/n用元数据编码所述类声明的程序元素以创建所述程序元素的编码形式以提供类型具体化，所述元数据指定关于所述程序元素的具体化信息，所述具体化信息指示哪些类型变量已经被擦除；以及/n在所述注释类文件中包括所述程序元素的所述编码形式，其中所述程序元素在被所述虚拟化执行环境针对特定类型具体化时基于所述元数据被转换以根据所述特定类型的特定参数化生成所述程序元素的具体化版本，其中所述程序元素的编码形式在未转换的情况下也是能够由虚拟化执行环境执行的。/n