一般型別系統中的陣列
更新：2007 年 11 月
定義陣列型別的方式是藉由指定陣列的元素型別、陣列的陣序 (維度的數目) 以及陣列每一個維度的上限 (Upper Bound) 和下限 (Lower Bound)。雖然可能會將它們標記為動態 (而非靜態) 提供，但是這些全部都會包括在陣列型別的任何簽章中。確實的陣列型別是由 Runtime 在需要時自動建立的，不需要單獨定義陣列型別。指定型別的陣列只能保留該型別的元素。如需實值型別的詳細資訊，請參閱一般型別系統概觀中的＜數值和物件＞一節。
陣列型別的值為物件。陣列物件的定義是指儲存陣列元素型別值的一系列位置。重複數值的數目是由陣列的陣序和界限決定。
陣列型別是從 System.Array 型別繼承而來。這個類別代表所有陣列，而不論其元素的型別或陣序。在陣列上定義的作業包括：根據大小和下限資訊配置陣列、為陣列編列索引以讀取和寫入數值、計算陣列元素的位址 (Managed 指標)，以及查詢儲存在陣列中的陣序、界限和數值總數。
對於元素下限為零的一維陣列 (有時候稱為向量)，它的型別是根據陣列中元素的型別而定，而不論其上限為何。對於一維以上的陣列或下限非零的一維陣列，如果有相同的元素型別和陣序，就會有相同的型別，而不論陣列的下限為何。不支援零維陣列。