Что такое структура?

Что такое структура в C#?

Структура (struct) в C# — это тип-значение, предназначенный для инкапсуляции небольших групп связанных переменных. Структуры схожи с классами (являются типами-значениями в отличие от классов, которые являются ссылочными типами), но имеют ключевые отличия в семантике и использовании.

Основные характеристики структур

1. Тип-значение (Value Type)

Структуры являются типами-значениями. Это означает, что при присваивании одной переменной-структуры другой или при передаче структуры в метод по значению происходит полное копирование всех её полей (поверхностное копирование).

public struct Point
{
    public int X;
    public int Y;
}

Point p1 = new Point { X = 10, Y = 20 };
Point p2 = p1; // Происходит копирование значений
p2.X = 100;
Console.WriteLine(p1.X); // Выведет 10 (значение p1 не изменилось)

2. Расположение в памяти

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

3. Ограничения по наследованию

Структуры не могут наследоваться от других структур или классов, а также не могут быть базовыми для других типов. Однако они могут реализовывать интерфейсы.

public interface IDrawable
{
    void Draw();
}

public struct Vector : IDrawable
{
    public int X, Y;
    public void Draw() => Console.WriteLine($"Drawing vector ({X}, {Y})");
}

4. Конструкторы

Структуры могут иметь конструкторы с параметрами, но не могут содержать конструктор без параметров (конструктор по умолчанию автоматически генерируется компилятором и инициализирует все поля значениями по умолчанию).

public struct Rectangle
{
    public int Width, Height;
    
    // Конструктор с параметрами допустим
    public Rectangle(int width, int height)
    {
        Width = width;
        Height = height;
    }
    
    // Конструктор без параметров НЕЛЬЗЯ определить явно
    // public Rectangle() { } // Ошибка компиляции
}

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

Поля структуры не могут быть инициализированы непосредственно при объявлении (до C# 10). Начиная с C# 10, появилась возможность инициализации полей в структурах, но с ограничениями.

public struct ModernStruct
{
    // До C# 10 это было невозможно
    public int Value = 42; // Допустимо в C# 10 и выше
}

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

Используйте структуры, когда:

• Размер данных небольшой (обычно до 16-24 байт)
• Логически представляет единое значение (координата, цвет, точка)
• Необходима семантика копирования по значению
• Объект будет часто создаваться и уничтожаться (для уменьшения нагрузки на GC)
• Не требуется наследование и полиморфизм

Избегайте структур, когда:

• Размер данных большой (частые копирования будут дорогими)
• Требуется наследование
• Нужна ссылочная семантика (изменения должны быть видны всем "копиям")
• Часто происходит упаковка (boxing), которая приводит к выделению памяти в куче

Отличия структур от классов

Важные особенности

Модификатор readonly для структур появился в C# 7.2 и гарантирует, что состояние структуры не будет изменено после создания:

public readonly struct ImmutablePoint
{
    public readonly int X;
    public readonly int Y;
    
    public ImmutablePoint(int x, int y)
    {
        X = x;
        Y = y;
    }
    
    // Методы также не могут изменять состояние
    public int Sum() => X + Y;
}

Упаковка (boxing) происходит, когда структура приводится к типу object или интерфейсу, который она реализует. Это приводит к выделению памяти в куче и снижает производительность:

Point p = new Point(10, 20);
object obj = p; // Упаковка (boxing) - выделение памяти в куче
Point p2 = (Point)obj; // Распаковка (unboxing)

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

1. Делайте структуры неизменяемыми (immutable) там, где это возможно
2. Реализуйте интерфейс IEquatable<T> для улучшения производительности сравнения
3. Переопределяйте методы Equals() и GetHashCode() для корректной работы с коллекциями
4. Реализуйте поддержку операторов (==, !=) для удобства использования
5. Используйте readonly struct для гарантии неизменяемости

Пример реального использования

public readonly struct CurrencyAmount : IEquatable<CurrencyAmount>
{
    public readonly decimal Amount;
    public readonly string Currency;
    
    public CurrencyAmount(decimal amount, string currency)
    {
        Amount = amount;
        Currency = currency;
    }
    
    // Реализация IEquatable для производительности
    public bool Equals(CurrencyAmount other) =>
        Amount == other.Amount && Currency == other.Currency;
    
    public override bool Equals(object obj) =>
        obj is CurrencyAmount other && Equals(other);
    
    public override int GetHashCode() =>
        HashCode.Combine(Amount, Currency);
    
    // Перегрузка операторов
    public static bool operator ==(CurrencyAmount left, CurrencyAmount right) =>
        left.Equals(right);
    
    public static bool operator !=(CurrencyAmount left, CurrencyAmount right) =>
        !left.Equals(right);
}

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