Где хранится var?

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

Короткий ответ: Ключевое слово var не хранится нигде в памяти во время выполнения. Оно существует только на этапе компиляции. Место хранения самого значения, на которое ссылается переменная, объявленная через var, определяется её контекстом и временем жизни.

Давайте разберем это подробно.

1. var — это синтаксический сахар компилятора

Ключевое слово var вводит неявно типизированную локальную переменную. Это означает, что компилятор C# на этапе компиляции самостоятельно определяет и подставляет фактический тип переменной на основе выражения в правой части оператора присваивания.

После компиляции var полностью исчезает. В промежуточном языке (IL) и метаданных сборки используется реальный, выведенный компилятором тип.

Пример на этапе компиляции:

// Исходный код C#
var number = 42;           // Компилятор видит int
var text = "Hello";       // Компилятор видит string
var list = new List<int>(); // Компилятор видит List<int>

// После компиляции это эквивалентно:
int number = 42;
string text = "Hello";
List<int> list = new List<int>();

Таким образом, вопрос "где хранится var" некорректен — его уже нет к моменту выполнения программы.

2. Где хранится значение переменной, объявленной через var?

Это зависит от того, является ли переменная локальной (внутри метода) или полем класса.

A. Локальные переменные внутри метода (value type и reference type)

• Значимые типы (Value Types): int, double, struct и т.д.

    *   **Хранятся в стеке выполнения (Stack)**, если не являются частью объекта в куче или не были упакованы (boxed).
    *   В стеке хранится само значение.

```csharp
public void MyMethod()
{
    var count = 10; // int, значение 10 хранится в стеке
    var point = new Point { X = 5, Y = 3 }; // struct Point, данные хранятся в стеке
}
```

• Ссылочные типы (Reference Types): class, string, List<>, массивы и т.д.

    *   **Объект (само содержимое, поля) хранится в управляемой куче (Managed Heap)**.
    *   **В стеке хранится ссылка (указатель/адрес)** на этот объект в куче.

```csharp
public void MyMethod()
{
    var person = new Person { Name = "Alice" }; // Person - class
    // 1. В стеке создается переменная 'person', содержащая ССЫЛКУ.
    // 2. В управляемой куче выделяется память для объекта Person и заполняется данными.
    // 3. Ссылка в стеке указывает на этот участок памяти в куче.
}
```

B. Поля класса (Class Fields)

• Если переменная, объявленная через var, является полем класса (что возможно при использовании var в C# 9.0+ для полей, инициализированных в конструкторе), то её хранение связано с экземпляром класса.

    *   **Значимые типы:** хранятся **внутри памяти объекта в куче**, частью которого они являются.
    *   **Ссылочные типы:** хранятся **ссылка внутри объекта в куче**, а сам целевой объект — в другой области управляемой кучи.

```csharp
public class MyClass
{
    private var _id = 0; // Ошибка! 'var' нельзя использовать для полей класса (кроме C# 10+ в определенных контекстах).
    // Правильно - тип должен быть явным:
    private int _id = 0; // Значение 0 хранится внутри каждого объекта MyClass в куче.
    private List<string> _items = new(); // Ссылка хранится в объекте, список - отдельно в куче.
}
```

    *Примечание: Начиная с C# 10, `var` можно использовать в некоторых контекстах для полей в record struct, но это особый случай, и правило хранения остается прежним.*

Итог и важные принципы

Ключевая мысль: var — это инструмент разработчика, повышающий удобство чтения и написания кода. На этапе выполнения программа работает с конкретными, строго типизированными переменными, расположение которых в памяти управляется CLR согласно общим правилам для их фактических типов.