Что такое значимые типы данных?

Что такое значимые типы данных в C#?

Значимые типы данных (Value Types) — это типы в C#, экземпляры которых хранят свои данные непосредственно в памяти, выделенной для переменной, а не в управляемой куче (как ссылочные типы). Это означает, что при присваивании одной переменной-значения другой или передаче в метод по значению происходит полное копирование данных.

Ключевые характеристики значимых типов:

1. Хранение в стеке или внутри объектов:
   Обычно размещаются в стеке вызовов (для локальных переменных) или внутри памяти, занимаемой объектом-контейнером (например, поле в классе). Однако, если значимый тип является полем ссылочного типа (например, класса) или упакован, он может оказаться в куче.

2. Копирование по значению:
   При присваивании создаётся независимая копия данных. Изменения в копии не затрагивают оригинал.

   int a = 10;
   int b = a; // Копирование значения 10
   b = 20;    // a остаётся равным 10
   

3. Структура памяти:
   Переменная содержит сами данные, а не ссылку. Например, для int (4 байта) переменная непосредственно хранит число.

4. Наследование:
   Все значимые типы неявно наследуются от System.ValueType (который, в свою очередь, наследуется от System.Object). Они не могут быть унаследованы (запечатаны) и не могут наследоваться от других типов, за исключением интерфейсов.

5. Значение по умолчанию:
   Не может быть null (если не объявлен как nullable, например, int?). По умолчанию инициализируются нулевым значением (например, 0 для int, false для bool).

Основные категории значимых типов в C#:

1. Встроенные простые типы (Simple Types)

• Целочисленные: int, byte, short, long и т.д.
• С плавающей запятой: float, double.
• Логический: bool.
• Символьный: char.
• Десятичный (для финансов): decimal.

decimal price = 99.95m; // Точные вычисления, хранится как значение

2. Структуры (Structs)

• Пользовательские типы, объявляемые через struct.
• Могут содержать поля, методы, свойства, но обычно используются для небольших данных.

public struct Point
{
    public int X;
    public int Y;
}
Point p1 = new Point { X = 5, Y = 10 };
Point p2 = p1; // Копирование всей структуры

3. Перечисления (Enums)

• Набор именованных констант. Базовым типом по умолчанию является int.

public enum Status { Active, Inactive, Pending }
Status current = Status.Active; // Хранит целочисленное значение

4. Nullable Value Types

• Обёртка над значимыми типами, позволяющая хранить null. Реализуется через System.Nullable<T>.

int? nullableInt = null; // Эквивалентно Nullable<int>

Сравнение со ссылочными типами (Reference Types)

Важные нюансы:

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

• Упаковка и распаковка (Boxing/Unboxing):
  При приведении значимого типа к object или интерфейсу происходит упаковка — данные копируются в кучу. Обратный процесс — распаковка. Это влияет на производительность.

  int number = 42;
  object boxed = number; // Упаковка: число копируется в кучу
  int unboxed = (int)boxed; // Распаковка
  

• Использование в современных версиях C#:
  С появлением readonly struct, ref struct и record struct возможности значимых типов расширились — например, можно создавать неизменяемые структуры или оптимизировать работу с памятью в критических путях.

Когда использовать значимые типы?

• Для небольших данных (до 16 байт), которые часто копируются.
• Когда требуется семантика значений (например, координаты точки).
• В высокопроизводительных сценариях, чтобы снизить нагрузку на сборщик мусора.
• Для представления простых абстракций, где наследование не нужно.

Знание разницы между значимыми и ссылочными типами критично для написания эффективного и корректного кода на C#, особенно при работе с алгоритмами, коллекциями и низкоуровневой оптимизацией.