В чём различие между типами значения и типами ссылки?

Question

Accepted Answer

Типы C# делятся на две фундаментальные категории: **типы значения** (хранят данные непосредственно) и **типы ссылки** (хранят ссылку/указатель на данные в куче). Они различаются тем, как они хранятся, копируются и сравниваются — различие, критически важное для поведения на всём протяжении языка.

## Две категории

```text
Value types     → struct, int, double, bool, char, enum, DateTime, decimal
                  Stored INLINE (stack for locals); copied BY VALUE.
Reference types → class, string, array, object, interface, delegate
                  Variable holds a REFERENCE to data on the heap; copied BY REFERENCE.
```

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

```csharp
// VALUE type — assignment COPIES the value (independent)
int a = 5;
int b = a;      // b is a COPY
b = 10;         // a is still 5

struct Point { public int X; }
Point p1 = new() { X = 1 };
Point p2 = p1;  // COPIES the whole struct
p2.X = 99;      // p1.X is still 1

// REFERENCE type — assignment copies the REFERENCE (both point to the SAME object)
class Box { public int Value; }
Box box1 = new() { Value = 1 };
Box box2 = box1;   // both reference the SAME Box
box2.Value = 99;   // box1.Value is now 99 too!
```

Присваивание типа значения копирует данные (независимо); присваивание типа ссылки копирует ссылку (оба имена указывают на один и тот же объект, поэтому изменение через одно влияет на другое).

## Сравнение и передача в методы

```csharp
// == compares VALUES for value types, REFERENCES (identity) for reference types
string s1 = "hi"; // (string is special — == compares content)
Box b1 = new(), b2 = new();
b1 == b2;   // false — different objects (reference equality by default)

// methods get a COPY of value types, the reference (by value) for reference types
void Modify(Box b) { b.Value = 100; }   // affects the caller's object
void Modify(int x) { x = 100; }           // does NOT affect the caller's int
```

## null

```text
Reference types can be null (no object). Value types CANNOT be null
(unless made nullable: int? — a Nullable<int>).
```

## Почему это важно

Различие между типами значения и ссылки — одна из самых фундаментальных концепций в C#, и оно объясняет широкий спектр поведений и ошибок — делая его необходимым знанием.

Понимание того, что **типы значения** (structs, примитивы вроде int/double, enums) копируются по значению (независимые копии), а **типы ссылки** (классы, массивы, строки) копируются по ссылке (оба имени указывают на один и тот же объект), критически важно для предсказания поведения данных: изменение копии типа значения не влияет на оригинал, но мутирование разделяемого объекта типа ссылки влияет на все ссылки на него (частый источник неожиданных ошибок).

Это различие также влияет на **равенство** (`==` сравнивает значения для типов значения, но идентичность ссылки для типов ссылки по умолчанию), **аргументы методов** (типы значения передаются как копии, ссылки типов ссылки передаются по значению — поэтому методы могут мутировать переданный объект, но не переданный int) и **обнуляемость** (только типы ссылки могут быть null, если только тип значения не сделан обнуляемым с помощью `?`).

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