背景

面向對象的編程的最基本構件塊被稱為“對象”。一般而言，對象具有零個或多個方法和零個或多個成員字段。因此，為了由計算系統正確地解釋，對象應該是由計算系統理解的特定類型。原語類型包括編程語言本身作為基本構件塊向程序員提供的類型。原語類型的示例可以包括字符、串、整數、浮點數、數組等等。編程語言通常允許程序員構造表示構成類型的組合的合成類型，無論這些構成類型是原語類型還是其他合成類型。這些合成類型可能是相當復雜的。

知道特定對象的類型常常是有利的。因此，在執行期間，在存儲器中，對象常常具有相關聯的類型描述符。在一個示例中，對象具有指向更完整的類型描述符的類型描述指針。類型描述符可出于各種目的來使用。其一，可以評估對象的類型描述符以便驗證特定操作可以由該對象來執行，或者來確定該對象是與另一對象相同或等價的類型。

一種特定種類的對象被稱為“凍結對象”。凍結對象實例是在編譯時完成其布局并作為經編譯的映像的一部分來包括的對象實例。在運行時期間不遭受廣泛的或可能任何改變的對象可能是對象凍結的最佳候選，但可以凍結具有預初始化數據的任何對象實例。例如，日歷程序可以提供從1000個預定語錄之中選擇的日常有靈感的語錄。這1000個預定語錄中的每一個可以用類型串的凍結對象來表示。模塊內的指令可以指的是凍結對象。在運行時，凍結對象連同模塊的許多或所有其他部分一起被加載到存儲器中。然而，在運行時沒有必要新分配凍結對象。

簡要概述

本文描述的各實施例涉及對凍結對象的類型描述符的高效使用。在一個實施例中，凍結對象實際上可以包括多個類型描述符，即，根據一組規范化規則是規范的主類型描述符，以及與主類型描述符不相同的輔助類型描述符。輔助類型描述符可被用來訪問規范類型描述符。在執行操作時，如果輔助類型描述符可用于執行該操作，則使用該輔助類型描述符來執行該操作。如果要使用規范主類型描述符來執行該操作，則使用輔助類型描述符來獲取對規范主類型描述符的訪問權。隨后使用主類型描述符來執行該操作。

本概述不旨在標識出所要求保護的主題的關鍵特征或必要特征，也不旨在用于幫助確定所要求保護的主題的范圍。

附圖簡述

為了描述可以獲得本發明的上文所列舉的及其他優點和特征的方式，下面將通過參考附圖來呈現對各實施例的更具體的描述。可以理解，這些附圖只描繪了樣本實施例，并且因此不被認為是對其范圍的限制，將通過使用附圖并利用附加特性和細節來描述和解釋各實施例，在附圖中：

圖1示出了可實現本文描述的多個特征之一的計算系統；

圖2示出可對凍結對象使用類型描述的體系結構；

圖3示出一種用于使用對應于凍結對象的多個類型描述符來執行一個或多個類型操作的方法的流程圖；

圖4示出一種用于使用輔助類型描述符來訪問規范類型描述符的示例方法的流程圖；以及

圖5示出一種用于準備使用間接組件來允許訪問規范類型描述符的方法的流程圖。

詳細描述

根據本文描述的各實施例，本文描述的各原理允許對凍結對象高效地使用類型描述符。首先，其中可以采用本文描述的各原理的計算系統的各實施例。隨后，將參考圖2到圖5來描述用于凍結對象的類型描述符的使用的各實施例。

圖1示出了計算系統100。計算系統現在越來越多地采取各種形式。計算系統可以例如是手持式設備、電器、膝上型計算機、臺式計算機、大型機、分布式計算系統，或者甚至通常不被視為計算系統的設備。在本說明書以及權利要求書中，術語“計算系統”被廣義地定義為包括包含至少一個處理器以及其上能含有可由處理器執行的計算機可執行指令的存儲器的任何設備或系統(或其組合)。存儲器可以采取任何形式，并可以取決于計算系統的特性和形式。計算系統可以分布在網絡環境中，并可包括多個組成計算系統。

如圖1所示，在其最基本的配置中，計算系統100通常包括至少一個處理單元102和存儲器104。存儲器104可以是物理系統存儲器，可以是易失性、非易失性、或兩者的某種組合。術語“存儲器”在此也可用來指諸如物理存儲介質等非易失性大容量存儲。如果計算系統是分布式的，那么，處理、存儲器和/或存儲能力也可以是分布式的。如此處所使用的，術語“模塊”或“組件”可以指在計算系統上執行的軟件對象或例程。此處所描述的不同組件、模塊、引擎，以及服務可以被實現為在計算系統上執行的對象或進程(例如，作為分開的線程)。