[发明专利]可变类型建立器

说明书

公开了一种用于建立可变类型的计算设备实现的方法。在存储器的连续部分中生成数据结构。数据结构包括元素部分和过度分配部分。元素部分存储利用索引可访问的元素。将间隙对象插入至过度分配部分之中。对间隙对象进行垃圾收集。

背景技术

数组结构是具有诸如值或变量之类的零个或多个元素集合的数据结构，每个元素利用索引标识。将数组结构存储在存储器中，诸如堆的连续部分，其具有基础地址处的第一元素的地址。可以根据对应的索引元组确定每个元素的位置，该索引元组可以表示元素在数组结构中的相对位置。数组结构可以被用来实现各种数据类型，包括数组类型、字符串和一些列表。例如，字符串通常被理解为一种数据类型，但是在许多计算机语言中其被实现为以字符编码的形式存储字符序列的字节的数组结构。数组类型可以包括可由一个或多个索引选择的元素集合，该一个或多个索引可以在程序运行时被计算。具有在创建之后可以被修改的数据成员的数据类型被称为可变(mutable)类型。

发明内容

提供本发明内容在于以简化的形式介绍将在以下描述中进一步描述的一些概念。本发明内容不旨在标识所要求保护的主题的关键特征或必要特征，也不旨在用于限制所要求保护的主题的范围。

公开了用于建立诸如数组类型或字符串类型的可变类型的系统和方法。在一个示例中，在诸如堆的存储器的连续部分中生成数据结构。数据结构包括元素部分和过度分配部分。元素部分存储利用索引可访问的元素。在一个示例中，过度分配部分包括至少选择的过度分配的量。将间隙对象插入至过度分配部分之中。对间隙对象进行垃圾收集。例如，间隙对象模仿标记和清扫垃圾收集的清扫阶段。

附图说明

包括附图以提供对实施例的进一步理解，并且附图被并入到本公开中并构成本公开的一部分。附图图示出了实施例，并与说明书一起用于解释实施例的原理。通过参考以下描述可以更好地理解其他实施例以及实施例的许多预期优点，因而他们是易于想到的。附图的元素不必相对于彼此按比例缩放。相同的附图标号指明对应的相似部分。

图1是图示出计算设备的示例的框图，在计算机网络中可以配置该计算设备以提供例如云计算环境。

图2是图示出用于在图1的计算设备中执行的示例应用框架的框图。

图3是图示出图2的应用框架的示例方法的框图。

图4是图示出根据图3的方法构造的示例数据结构的框图。

图5是图示出图3的方法的示例方法的框图。

具体实施方式

在以下描述中对附图进行参考，该附图形成本发明的一部分，并且其中通过图示的方式示出了在其中可以实践的本发明的具体实施例。应当理解，在不脱离本发明的范围的情况下，可以利用其他实施例并且可以进行结构或逻辑上的改变。因此，以下描述不应被视为具有限制意义。应当理解，除非另外特别说明，否则本文描述的各种示例性实施例的特征可以彼此组合。

传统上，当创建数组时建立数组或字符串的长度。长度在创建之后是不可变的，并且无法插入或移除元素。这种不可变类型提供线程安全性、存储器优化和其他特征。

通常，开发者将想要创建数组、列表或字符串，但是在操作开始时数据元素的数量不被知晓，或者在字符串的情况下期望多个连接(concatenation)。许多编程语言为包括如下内容的可变类型提供支持：作为随机访问、可变大小的列表数据结构的动态数组或者允许在创建之后添加或移除元素的可变字符串。例如，商标指定Java和.Net框架库(分别来自甲骨文公司和微软公司)的框架库提供ArrayList类，并且.Net框架库提供通用ListT类来实现动态数组。此外，.Net框架库提供一个类用以追加、移除、替换或插入字符以修改实例的字符串值。