Чем отличается struct от class в C#? Когда лучше использовать структуру вместо класса?

Различия между struct и class в C#

В C# структуры (struct) и классы (class) представляют два фундаментальных типа данных, которые имеют существенные различия в поведении, производительности и применении.

Ключевые технические различия

1. Тип данных и размещение в памяти

   // Class - ссылочный тип (reference type)
   public class UserClass
   {
       public string Name;
       public int Age;
   }
   
   // Struct - значимый тип (value type)
   public struct UserStruct
   {
       public string Name;
       public int Age;
   }
   

   Классы являются ссылочными типами и размещаются в управляемой куче (heap), а структуры - значимыми типами, которые обычно размещаются в стеке (stack) или внутри других объектов.

2. Наследование и полиморфизм

   • Классы поддерживают полноценное наследование (кроме sealed классов)
   • Структуры не могут наследоваться от других структур или классов (кроме наследования от System.ValueType)
   • Структуры не могут быть базовым типом для других типов
   • Оба типа могут реализовывать интерфейсы

3. Конструкторы по умолчанию

   // У класса есть явный конструктор по умолчанию
   public class MyClass
   {
       public MyClass() { } // Можно определить явно
   }
   
   // У структуры нельзя определить конструктор без параметров
   public struct MyStruct
   {
       // public MyStruct() { } // ОШИБКА: CS0568
       
       // Все поля автоматически инициализируются значениями по умолчанию
   }
   

4. Инициализация полей

   • В структурах нельзя инициализировать поля непосредственно в объявлении
   • В классах такая инициализация разрешена

5. Nullability

   UserClass userClass = null; // Допустимо
   UserStruct userStruct = null; // ОШИБКА: нельзя присвоить null
   
   // Но можно использовать nullable типы
   UserStruct? nullableStruct = null; // Допустимо
   

Когда использовать структуры вместо классов

Рекомендуется использовать структуры, когда:

1. Размер объекта невелик (обычно до 16-24 байт)

   • Структуры копируются целиком при присваивании
   • Большие структуры могут негативно влиять на производительность

2. Объект является неизменяемым (immutable)

   public readonly struct Point
   {
       public readonly double X;
       public readonly double Y;
       
       public Point(double x, double y)
       {
           X = x;
           Y = y;
       }
   }
   

   Неизменяемые структуры безопасны и предсказуемы в поведении

3. Часто происходит упаковка/распаковка или создание множества временных объектов

   • Структуры в стеке не требуют сборки мусора
   • Меньше нагрузка на GC (Garbage Collector)

4. Логически представляет собой единственное значение

   • Координаты (Point, Vector)
   • Цвет (Color, RGB)
   • Денежные суммы (Money) с определенной точностью
   • Простые данные без сложного поведения

5. Необходима семантика копирования по значению

   var point1 = new Point(10, 20);
   var point2 = point1; // Полное копирование значения
   point2.X = 30; // point1.X останется 10
   
   // В случае с классом изменились бы оба объекта
   

Когда следует использовать классы:

1. Объект имеет большой размер или сложное состояние
2. Требуется наследование и полиморфизм
3. Необходима ссылочная семантика (работа с одним экземпляром из разных мест)
4. Объект имеет идентификацию (два объекта с одинаковыми данными ≠ один и тот же объект)
5. Требуется изменение состояния после создания

Важные особенности структур

1. Явная инициализация полей

   public struct Rectangle
   {
       public int Width;
       public int Height;
       
       // Конструктор с параметрами обязателен для полной инициализации
       public Rectangle(int width, int height)
       {
           Width = width;
           Height = height;
       }
   }
   
   // Использование
   var rect = new Rectangle(10, 20); // Явная инициализация
   

2. Проблемы с производительностью при упаковке

   struct MyStruct { }
   object boxed = new MyStruct(); // Упаковка - создание объекта в куче
   MyStruct unboxed = (MyStruct)boxed; // Распаковка
   

   Упаковка дорогостоящая операция, которую следует минимизировать.

Правила проектирования структур

• Делайте структуры неизменяемыми (readonly struct)
• Переопределяйте Equals() и GetHashCode() для правильного сравнения
• Реализуйте интерфейс IEquatable<T> для избежания упаковки
• Предоставляйте осмысленный оператор ==, если необходимо

Вывод: Выбор между структурой и классом зависит от конкретных требований к данным, производительности и семантике. Структуры отлично подходят для небольших, простых, неизменяемых типов-значений, в то время как классы - для сложных объектов с поведением, наследованием и ссылочной семантикой.