[发明专利]用于声明类型的方法以及实例化对象图的方法

说明书

特定类型的类型定义，以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化，从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。

背景

计算系统通过执行软件程序来获得高度的功能性。程序由以某一永久形式保持的计算机可执行指令组成，诸如保持在硬驱、压缩盘、拇指驱动器、删除等等上。在执行期间，这种计算机可执行指令通常会被加载在随机存取存取器中，并且由计算系统的一个或多个处理器执行，使计算系统执行任务。

在面向对象的编程中，这些计算机可执行指令被组织为多个对象，所述多个对象通过功能调用进行交互、并且具有一个或多个属性。托管代码是在托管环境中运行的代码，该托管环境提供类型安全，但也提供存储器管理和异常处理。在托管代码中，对象具有无限的寿命、对存储没有限制，访问限制的方法涉及间接或额外资源。

系统级编程是基于对遍及系统的资源(诸如对象)的访问及寿命的严格且有效的管理。提供此严格管理的一种常用方式是使用应用程序接口 (API)来管理资源的寿命和访问。

简述

此处描述的一些实施例涉及特定类型的类型定义，以使相应对象图的不同部分可具有在实例化期间被分配至这些部分的不同许可，其中许可在该类型的每个实例的寿命期间被维持，但在一些实施例中，许可在该类型的至少一些实例的寿命期间可弱化。这允许结构化的许可被应用于那些已定义类型的对象图的实例化，从而允许对于哪些访问许可相对于对象图的哪些部分被实施进行细粒度控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。

该概述不意图标识所要求保护的主题的关键特征或基本特征，也不意图被用来帮助确定所要求保护的主题的范围。

附图简述

为了描述能够获得上述及其他优点和特征的方式，将参照附图呈现各个实施例的更具体描述。理解这些附图仅描述样本实施例，因此不应被视为限制本发明的范围，实施例将通过使用附图以附加的具体性和细节来描述和解释，附图中：

图1抽象地图示了其中可采用此处所述的一些实施例的计算系统；

图2抽象地图示了表示其中可采用此处所述的实施例的示例环境的托管代码系统；

图3图示了具有结构化许可的示例对象图；

图4图示了其中可以生成和实例化具有结构化定义的类型定义的环境；

图5图示了用于生成具有结构化许可的类型定义的方法的流程图；以及

图6图示了用于实例化具有结构化许可的对象图的方法的流程图。

详细描述

按照此处描述的实施例，提供了语言扩展，以使相应对象图的不同部分可能在实例化期间具有被分配至那些部分的不同许可，许可在该类型的每个实例的寿命期间被保持，尽管在一些实施例中，许可可以在该类型的至少一些实例的寿命期间减弱。这允许结构化的许可被应用于那些已定义类型的对象图的实例化，允许对于哪些访问许可相对于对象图的哪些部分被实施进行精细的控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。

将参照图1描述计算系统的一些介绍性讨论。然后，将参照图2描述托管代码系统的原理。最后，将参照图3至6来描述用于声明结构化许可的语言扩展的原理。