构建时解析和类型检查引用

摘要

在不同代码中引用相同值的对应引用的构建时解析和类型强制。响应于在代码自身内检测到的第一代码中的第一引用与第二代码中的第二引用要被相关的指示，并响应于检测到所述引用的类型是相同的，代码生成工具生成相关代码，该代码可由编译器解释为允许第一代码的经编译形式的第一引用的类型的值被作为第二代码的经编译形式的第二引用的相同类型的相同值传递。随后可以编译所述第一代码、第二代码和所生成的相关代码。如果编译成功，这意味着所述第一和第二引用已被适当地解析为指代相同值并被类型强制。

主权项

一种包括其上具有计算机可执行指令的一个或多个计算机可读存储介质的计算机程序产品，所述计算机可执行指令被结构化成使得在被计算系统的一个或多个处理器解释时，使所述计算系统执行一种执行引用的构建时解析和类型检查的方法，所述方法包括：分析包含第一引用的第一代码以及包含第二引用的第二代码的动作；作为所述分析的动作的结果，检测所述第一引用将与所述第二引用相关使得它们都指代相同数据的指示的动作；以及响应于所述指示，自动尝试生成相关代码的动作，所述相关代码可被编译器解释为允许所述第一引用通过类型检查被解析为指代与所述第二引用相同的数据。