Black Baron

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

В этой статье мы подробно разберём, чем отличаются эти два вида типов, как они хранятся в памяти, как происходит копирование данных и передача объектов в методы. Материал ориентирован на начинающих разработчиков, изучающих ООП на языке C#.

Основные различия между типами значений и ссылочными типами

• Типы значений (value types) — это типы, которые хранят само значение данных. К ним относятся: int, double, bool, char, enum, а также все структуры (struct).
• Ссылочные типы (reference types) — это типы, которые хранят ссылку (адрес) на объект в памяти. К ним относятся: все классы (class), string, массивы, делегаты, интерфейсы и другие.

Хранение в памяти: стек и куча (heap)

Операционная система и .NET Runtime используют две основные области памяти:

• Стек (Stack) — быстрый, автоматически управляемый участок памяти. Здесь хранятся локальные переменные и параметры методов.
• Куча (Heap) — более крупная область памяти для динамических объектов. Управляется автоматически сборщиком мусора (Garbage Collector).

Типы значений обычно хранятся в стеке. Когда метод завершает работу, память под них автоматически освобождается.

Ссылочные типы работают иначе:

• Сама ссылка (адрес объекта) хранится в стеке.
• Сам объект размещается в куче.

Пример:

int number = 42;                    // Тип значения — хранится в стеке

Point p = new Point(10, 20);        // Структура (value type) — в стеке

string text = "Привет";             // Ссылочный тип

Person person = new Person();       // Класс — объект в куче, ссылка в стеке

Составные типы

• Структура (struct) — составной тип значения.
• Класс (class) — составной ссылочный тип.

Именно поэтому структура копируется по значению, а класс — по ссылке.

Копирование значений

Это одно из самых важных отличий:

int a = 5;

int b = a;      // b получает КОПИЮ значения 5

b = 10;

Console.WriteLine(a); // 5 (a не изменился)

Person p1 = new Person { Name = "Анна" };

Person p2 = p1;           // p2 получает КОПИЮ ССЫЛКИ на тот же объект

p2.Name = "Мария";

Console.WriteLine(p1.Name); // "Мария" (объект один и тот же)

Ссылочные типы внутри типов значений

Структура может содержать поля ссылочных типов:

public struct Container

{

    public int Value;           // тип значения

    public string Text;         // ссылочный тип

    public Person Owner;        // ссылочный тип

}

Container c1 = new Container();

c1.Text = "Данные";

c1.Owner = new Person { Name = "Иван" };

Container c2 = c1;  // копируется структура: Value копируется, Text и Owner — копируются ссылки

c2.Owner.Name = "Пётр";   // изменит Owner и в c1 тоже!

Важно: при копировании структуры поля ссылочных типов копируют только ссылки, а не сами объекты.

Объекты классов как параметры методов

По умолчанию параметры передаются по значению:

• Для типов значений — передаётся копия.
• Для ссылочных типов — передаётся копия ссылки (объект остаётся один).

public void ChangeNumber(int x)

{

    x = 999;                    // не повлияет на оригинал

}

public void ChangePerson(Person p)

{

    p.Name = "Изменено";        // повлияет на оригинальный объект

    p = new Person();           // это изменение ЛОКАЛЬНОЕ, оригинал не изменится

}

Чтобы изменить саму ссылку внутри метода, используют модификатор ref, out или in.

Понимание различий между типами значений и ссылочными типами — основа грамотной работы с памятью в C#.

Ключевые моменты:

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

Освоив эти концепции, вы сможете избегать распространённых ошибок, связанных с неожиданным изменением объектов, и лучше понимать, как работает память в .NET-приложениях.