Где хранится переменная типа object?

Место хранения переменной типа object в C#

Вопрос о том, где хранится переменная типа object (или любого другого типа), касается фундаментальных концепций управления памятью в .NET и C#. Ответ зависит от контекста и времени жизни переменной. В C# переменная типа object может храниться в одном из двух основных сегментов памяти, управляемых CLR (Common Language Runtime): стеке (stack) или куче (heap).

1. Стек (Stack) для ссылок и небольших структур

Стек — это область памяти для краткосрочного хранения, работающая по принципу LIFO (Last In, First Out). В контексте C#:

• Стек хранит локальные переменные и параметры методов (если они не являются частью объектов в куче).
• Для переменной типа object, которая является ссылочным типом, сам объект не хранится в стеке. В стеке хранится только ссылка (адрес памяти) на этот объект, если переменная является локальной переменной метода.
• Однако, если речь идет о object, который является "коробочным" (boxed) значением для структурного типа (например, int), то сама "коробка" — объект — находится в куче, а ссылка на нее в стеке.

void MyMethod()
{
    // Локальная переменная obj. Ссылка на объект хранится в СТЕКЕ.
    object obj = new SomeClass(); // Сам объект SomeClass находится в КУЧЕ.
}

2. Куча (Heap) для самих объектов

Куча (managed heap) — это основная область для долгосрочного хранения объектов в .NET. Здесь находится само содержимое объекта.

• Все экземпляры классов (которые являются ссылочными типами, включая object) хранятся в куче.
• Тип object является базовым классом для всех типов в C#. Когда вы создаете экземпляр любого класса или "коробочное" значение, память для него выделяется в куче.

// Создание объекта. Память для самого объекта выделяется в КУЧЕ.
object myObject = new SomeClass();

// Boxing: значение 42 (структурный тип int) помещается в "коробку" - объект в КУЧЕ.
object boxedInt = 42;

Пример и важное различие

Рассмотрим код, который иллюстрирует взаимодействие стека и кучи:

public class Program
{
    public static void Main()
    {
        // 1. Локальная ссылка 'objRef' хранится в СТЕКЕ.
        // 2. Экземпляр класса 'MyClass', на который она ссылается, хранится в КУЧЕ.
        object objRef = new MyClass();

        // 3. Присвоение нового значения. В стеке обновляется ссылка.
        //    Старый объект MyClass в куче становится кандидатом на удаление сборщиком мусора.
        objRef = "Now it's a string"; // Новый объект string создается в КУЧЕ.

        // 4. Boxing пример.
        int number = 100; // 'number' как структурная переменная хранится в СТЕКЕ.
        object boxedNumber = number; // Значение 100 копируется в новый объект в КУЧЕ.
        // В стеке хранится ссылка 'boxedNumber' на этот объект-коробку.
    }
}

class MyClass { }

Ключевые выводы:

• Ссылка на объект (включая переменную типа object) как локальная переменная или параметр хранится в стеке.
• Сам объект, на который ссылается эта переменная, всегда хранится в куче.
• Процесс упаковки (boxing) явно демонстрирует это: структурное значение (из стека) копируется и помещается внутрь объекта в куче.
• Управление памятью в куче осуществляется сборщиком мусора (GC), который автоматически освобождает память от объектов, не имеющих активных ссылок. Стек очищается автоматически при завершении работы метода (или контекста).

Таким образом, говоря "где хранится переменная типа object", необходимо всегда уточнять: речь идет о самой переменной-ссылке (чаще в стеке) или о экземпляре объекта, на который она указывает (всегда в куче). Это фундаментальное разделение между ссылочными и структурными типами в C#.