Какие параметры определяют производительность структуры?

Производительность структуры в Unity: ключевые параметры

Производительность структуры (struct) в Unity и C# определяется совокупностью факторов, связанных с особенностями типа-значения. В отличие от классов, структуры хранятся в стеке или внутри других объектов, что накладывает специфические ограничения и открывает возможности для оптимизации.

Основные параметры, влияющие на производительность

1. Размер структуры (Size)

Наиболее критичный параметр. Структуры копируются по значению, поэтому большие структуры приводят к значительным накладным расходам при передаче в методы, возврате из функций или присваивании.

• Рекомендация: Размер структуры не должен превышать 16-32 байта (эмпирическое правило). Для проверки можно использовать Marshal.SizeOf() или Unsafe.SizeOf<T>().
• Пример проблемного кода:

  // ПЛОХО: Слишком большая структура (предположительно > 64 байт)
  public struct HeavyStruct
  {
      public Vector3 position;
      public Quaternion rotation;
      public Matrix4x4 matrix;
      public int id;
      public float health, armor, speed, damage; // Много полей
      public FixedString128Bytes name; // Еще и строка
  }
  
  void ProcessStruct(HeavyStruct data) // Дорогое копирование!
  {
      // ...
  }
  

2. Расположение в памяти и кэш-память (Memory Layout & Cache Locality)

Структуры, хранящиеся в непрерывных массивах (NativeArray<MyStruct>, List<MyStruct>, обычный массив), обеспечивают превосходную локальность кэша. Процессор эффективно предзагружает данные, что критично для циклической обработки в Update(), системах ECS или Job System.

• Рекомендация: Для массовых вычислений используйте массивы структур (Struct of Arrays для SIMD или Array of Structs для последовательного доступа).
• Пример оптимизированного использования:

  // ХОРОШО: Массив структур для обработки в цикле
  public struct LightweightParticle
  {
      public Vector3 position;
      public Vector3 velocity;
      public float lifetime;
  }
  
  public class ParticleSystem : MonoBehaviour
  {
      private LightweightParticle[] _particles = new LightweightParticle[1000];
  
      void Update()
      {
          for (int i = 0; i < _particles.Length; i++)
          {
              // Прямой доступ к непрерывной памяти, высокая скорость
              _particles[i].position += _particles[i].velocity * Time.deltaTime;
          }
      }
  }
  

3. Боксинг (Boxing) и упаковка в ссылочные типы

Структуры являются типами-значениями. При приведении к типу object или интерфейсу происходит боксинг — выделение памяти в управляемой куче и копирование, что создает нагрузку на сборщик мусора (GC).

• Рекомендация: Избегайте неявного боксинг. Используйте обобщенные типы (Generics) и ограничения (where T : struct).
• Пример боксинг:

  interface IDamageable { void TakeDamage(float damage); }
  
  struct EnemyStruct : IDamageable { /* ... */ }
  
  void ApplyDamage(object target) // БОКСИНГ при передаче структуры!
  {
      if (target is IDamageable damageable) damageable.TakeDamage(10);
  }
  
  // Правильно: Использование обобщенного метода
  void ApplyDamageGeneric<T>(T target) where T : IDamageable // Боксинг отсутствует
  {
      target.TakeDamage(10);
  }
  

4. Передача по ссылке (ref, in, out)

Чтобы избежать копирования больших структур, передавайте их по ссылке с модификаторами ref, in (для неизменяемого параметра) или out.

• Рекомендация: Используйте in для больших структур, предназначенных только для чтения в методе.
• Пример:

  public struct TransformData
  {
      public Vector3 Position;
      public Quaternion Rotation;
      public Vector3 Scale;
  }
  
  // ПЛОХО: Полное копирование всех полей
  Matrix4x4 CalculateMatrix(TransformData data) { ... }
  
  // ХОРОШО: Передача по ссылке только для чтения
  Matrix4x4 CalculateMatrixOptimized(in TransformData data)
  {
      // data нельзя изменить, копирования не происходит
      return Matrix4x4.TRS(data.Position, data.Rotation, data.Scale);
  }
  

5. Использование в Burst-компиляторе и Jobs

Для максимальной производительности в Unity используют Burst Compiler и C# Job System. Структуры, используемые в джобах, должны:

• Быть unmanaged (содержать только примитивные типы или другие unmanaged структуры).

• Не содержать ссылочных типов (классов, строк, массивов).

• Иметь четкий макет памяти.

• Пример структуры для Job:

  // Подходит для Burst и Jobs
  public struct ParticleJobData : IJobParallelFor
  {
      public NativeArray<Vector3> Positions;
      public NativeArray<Vector3> Velocities;
      public float DeltaTime;
  
      public void Execute(int index)
      {
          // Burst-компилятор оптимизирует этот цикл
          Positions[index] += Velocities[index] * DeltaTime;
      }
  }
  

Итоговый чек-лист для проектирования производительной структуры:

• Контролируйте размер (желательно ≤ 32 байт).
• Используйте массивы структур для обработки данных в циклах.
• Избегайте боксинг с помощью дженериков.
• Передавайте большие структуры по ссылке (in, ref).
• Для вычислений высокой интенсивности применяйте unmanaged-структуры в Burst Jobs.
• Выравнивание данных (хотя в C# оно часто управляется средой) — иногда ручная группировка полей одного типа может улучшить производительность за счет более эффективного использования кэша.

Правильный дизайн структур — это баланс между удобством использования, семантикой данных и требованиями к производительности конкретных систем (игровая логика, рендеринг, физика). В Unity этот выбор напрямую влияет на частоту кадров и потребление памяти.