Как хранится массив структур?

Хранение массива структур в C#

В C# массив структур хранится непрерывным блоком памяти в стеке (stack) или в управляемой куче (managed heap) в зависимости от контекста, но с особыми характеристиками, отличающими его от массивов ссылочных типов. Это фундаментальное различие вытекает из семантики типов значений (value types).

Ключевые особенности хранения

1. Непрерывность памяти (Contiguous Memory Allocation): Все элементы массива структур располагаются в памяти последовательно, без промежуточных указателей. Размер всего блока вычисляется как размер_структуры * количество_элементов.

   struct Point { public int X, Y; } // Размер: 8 байт (на 32-бит)
   Point[] points = new Point[1000]; // Занимает ~8000 байт непрерывно
   

2. Хранение в управляемой куче при объявлении как массива: Хотя сама структура — тип значения, массив структур является ссылочным типом (системным типом System.Array). Поэтому сам объект массива размещается в управляемой куче, но его элементы (структуры) хранятся внутри этого объекта, а не по отдельным адресам.

3. Отсутствие дополнительной косвенности (No Indirection): В отличие от массива классов, где хранятся ссылки на объекты в куче, здесь данные лежат напрямую. Это обеспечивает лучшую локальность данных (cache locality) и снижает нагрузку на сборщик мусора (GC).

Практическая демонстрация

Рассмотрим разницу между массивом структур и массивом классов:

// Структура (тип значения)
public struct Vertex
{
    public float X, Y, Z;
    public Vertex(float x, float y, float z) => (X, Y, Z) = (x, y, z);
}

// Класс (ссылочный тип)
public class VertexClass
{
    public float X, Y, Z;
    public VertexClass(float x, float y, float z) => (X, Y, Z) = (x, y, z);
}

class Program
{
    static void Main()
    {
        // Массив структур: 1000 структур лежат непрерывно
        Vertex[] structArray = new Vertex[1000];
        // Массив классов: 1000 ссылок, каждая указывает на отдельный объект в куче
        VertexClass[] classArray = new VertexClass[1000];
        
        for (int i = 0; i < 1000; i++)
        {
            structArray[i] = new Vertex(i, i, i); // Копирование значения
            classArray[i] = new VertexClass(i, i, i); // Создание объекта + ссылка
        }
    }
}

Расположение в памяти для structArray:

[Управляемая куча]
| Заголовок массива | Vertex[0] | Vertex[1] | ... | Vertex[999] |
| (метаданные)      | X,Y,Z     | X,Y,Z     |     | X,Y,Z       |

Для classArray:

[Управляемая куча - массив]
| Заголовок | ref0 | ref1 | ... | ref999 |  [сам массив]
              |      |      |       |
              v      v      v       v
            [объект][объект] ... [объект]   [отдельные объекты в куче]

Важные следствия и рекомендации

• Производительность при последовательном доступе: Благодаря непрерывности и предсказуемости размещения, итерации по массиву структур часто быстрее, так как CPU эффективнее кэширует данные.

• Влияние на сборку мусора: Массив структур создаёт один объект для GC. Массив классов создаёт N+1 объектов, что увеличивает нагрузку на GC.

• Копирование при присваивании: При операции vertexArray[i] = vertex происходит копирование всего значения структуры (не ссылки!).

• Изменение значений:

  structArray[5].X = 10; // Прямое изменение в памяти массива
  // classArray[5].X = 10; - Изменение через ссылку
  

• Ограничения с readonly: Использование readonly массива структур не делает сами структуры readonly:

  private readonly Vertex[] _vertices;
  // _vertices = newVertexArray; // Ошибка - массив readonly
  // _vertices[0].X = 5;         // Разрешено! Структура не readonly
  

Особые случаи и нюансы

1. Упакованные структуры: При приведении структуры к интерфейсу или object происходит упаковка (boxing) — структура копируется в кучу. В контексте массива это происходит только при явном преобразовании:

   object obj = structArray[0]; // Упаковка! Новая аллокация в куче.
   

2. Массивы в стеке (stackalloc): В небезопасном контексте можно разместить массив структур в стеке:

   unsafe {
       Point* points = stackalloc Point[10]; // В стеке, без управления GC
   }
   

3. Размер структуры имеет значение: Крупные структуры (сотни байт) в больших массивах могут фрагментировать кучу или вызывать проблемы с памятью. Рекомендуется избегать структур более 16-32 байт для частого использования в массивах.

Заключение

Массив структур в C# представляет собой оптимизированную компоновку данных, где значения хранятся непрерывно внутри управляемого массива в куче. Это даёт значительные преимущества в производительности для вычислительных задач, графики, научных расчётов, где важны предсказуемость доступа к памяти и минимальные накладные расходы. Однако разработчик должен осознанно подходить к размеру структур и понимать семантику копирования, чтобы избежать непредвиденного поведения и излишнего потребления памяти.