Массивы в системе общих типов CTS
Обновлен: Ноябрь 2007
Тип массива определяется путем задания типа его элементов, ранга (числа измерений) массива, а также верхней и нижней границ каждого измерения массива. Все эти данные включаются в любую подпись типа массива несмотря на то, что они могут быть отмечены как предоставляемые динамически (а не статически). Точные типы массивов создаются средой выполнения автоматически при необходимости. Отдельного определения типа массивов не требуется. Массивы заданного типа могут содержать элементы только этого типа. Дополнительные сведения о типе значений см. в разделе "Значения и объекты" в статье Общие сведения о системе общих типов (CTS).
Значениями типа массива являются объекты. Объекты массива определяются как последовательность расположений, в которых хранятся значения с типом элементов массива. Число повторяющихся значений определяется рангом и границами массива.
Типы массивов наследуются от типа System.Array. Этот класс представляет все массивы, независимо от типа их элементов или ранга. Для массивов определены следующие операции: выделение памяти для массива на основе сведений о размере и нижней границе; индексация массива для чтения и записи значений; вычисление адреса элемента массива (управляемый указатель); запросы ранга, границ и общего числа значений, хранимых в массиве.
Одномерные массивы с нулевой нижней границей элементов (иногда называемые векторами) имеют тип, основанный на типе элементов массива, независимо от верхней границы. Многомерные массивы или одномерные массивы с ненулевой нижней границей имеют одинаковый тип, если они содержат элементы одинакового типа и имеют одинаковый ранг независимо от нижней границы массива. Массивы нулевой размерности не поддерживаются.