Как реализован массив?

Реализация массива в C#

Массив в C# — это фундаментальная структура данных, реализованная как непрерывный блок памяти фиксированного размера. В основе его реализации лежит объект System.Array, который является абстрактным базовым классом для всех массивов.

1. Внутренняя структура

Массивы в C# — это ссылочные типы, размещаемые в управляемой куче (managed heap), но с некоторыми особенностями:

• Элементы хранятся последовательно в памяти
• Размер массива фиксируется при создании и не изменяется
• Доступ к элементам осуществляется по индексу за O(1)

// Пример создания массива
int[] numbers = new int[5]; // Выделяется память под 5 int

2. Объект System.Array

Каждый массив является экземпляром System.Array с внутренней структурой:

[Объект массива]
├── SyncRoot (для синхронизации)
├── Length (общее количество элементов)
├── Rank (размерность массива)
├── Lower bounds (нижние границы)
└── Непрерывная память элементов

3. Одномерные массивы

Простейший тип массивов — векторы (single-dimensional arrays):

// IL-код показывает внутреннее устройство
.locals init (int32[] V_0)
ldc.i4.5                // Размер массива
newarr [mscorlib]System.Int32  // Выделение памяти
stloc.0                 // Сохранение ссылки

Особенности:

• Нулевая нижняя граница (всегда 0)
• Быстрый доступ через инструкцию ldelem
• Минимальные накладные расходы

4. Многомерные массивы

C# поддерживает два типа многомерных массивов:

Прямоугольные массивы (rectangular):

int[,] matrix = new int[3, 4]; // 3 строки, 4 столбца
// Хранятся как единый блок: [0,0][0,1][0,2][0,3][1,0]...

Ступенчатые массивы (jagged):

int[][] jagged = new int[3][];
jagged[0] = new int[2]; // Каждая строка — отдельный массив
jagged[1] = new int[4];

5. Выделение памяти и инициализация

При создании массива происходят:

1. Вычисление размера: размер_элемента * количество + накладные расходы
2. Выделение памяти в управляемой куче
3. Инициализация элементов (значениями по умолчанию или указанными)
4. Инициализация заголовка объекта

// Разные способы инициализации
int[] a = new int[3];            // [0, 0, 0]
int[] b = new int[] {1, 2, 3};   // Явная инициализация
int[] c = {1, 2, 3};             // Синтаксический сахар

6. Производительность и оптимизации

CLR выполняет несколько оптимизаций для массивов:

Bounds checking:

// Компилятор может опустить проверки границ в некоторых случаях
for (int i = 0; i < array.Length; i++) {
    array[i] = i; // Проверка границ может быть оптимизирована
}

Векторизация (SIMD):

// Использование System.Numerics для векторных операций
Vector<int> vec1 = new Vector<int>(array, 0);
Vector<int> vec2 = new Vector<int>(array, Vector<int>.Count);

7. Ковариантность массивов

Массивы в C# поддерживают ковариантность для ссылочных типов (с оговорками):

object[] objects = new string[10]; // Допустимо
objects[0] = "test";               // OK
objects[1] = 123;                  // ArrayTypeMismatchException!

8. Низкоуровневое управление

Для работы с неуправляемой памятью используются буферы:

// Использование Span<T> для работы с памятью
Span<int> span = array.AsSpan();
// Безопасный доступ к памяти без проверки границ в доверенном контексте

9. Отличия от других коллекций

Плюсы массивов:

• Максимальная производительность
• Минимальные накладные расходы
• Кэш-дружественность (локальность данных)
• Поддержка векторных операций

Минусы:

• Фиксированный размер
• Дорогая вставка/удаление элементов
• Ограниченная функциональность по сравнению с List<T>

10. Эволюция в современных версиях C#

В последних версиях C# появились улучшения:

• Ref returns для элементов массива
• Memory<T> и Span<T> для безопасной работы с памятью
• Array pooling для уменьшения нагрузки на GC

// Использование пула массивов
var pool = ArrayPool<int>.Shared;
int[] array = pool.Rent(minimumLength: 100);
// Работа с массивом
pool.Return(array, clearArray: true);

Итог: Реализация массива в C# — это компромисс между производительностью, безопасностью и удобством. Благодаря тесной интеграции с CLR и JIT-компилятором, массивы обеспечивают практически нативный уровень производительности с гарантиями безопасности типов и проверкой границ. Современные расширения, такие как Span<T> и ArrayPool, позволяют использовать массивы в высокопроизводительных сценариях с минимальными накладными расходами.