Значимые и ссылочные типы в C#: в чём разница

Обновлено: 31.10.2026 · 3 мин чтения

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

Значимые типы в C# - это те типы данных, экземпляры которых хранят свои значения непосредственно в стеке вызовов. Проще говоря, когда вы создаете переменную значимого типа, в памяти выделяется область, где физически размещается само значение этой переменной.

Примеры значимых типов

• Все числовые типы данных (int, float, double, etc.)
• Структуры (struct)
• Перечисления (enum)
• Значение Boolean (bool)

int number = 123; // Значимый тип

Поведение значимых типов

• При передаче переменной значимого типа в метод или функцию создается ее копия.
• Изменение значения внутри метода не повлияет на оригинальную переменную.
• Значимые типы обычно более быстрые и предсказуемые по сравнению с ссылочными типами.

Что такое ссылочные типы?

Ссылочные типы в C# - это типы данных, экземпляры которых хранят не само значение, а ссылку на область в управляемой куче (managed heap), где это значение фактически расположено.

Примеры ссылочных типов

• Классы (class)
• Массивы (array)
• Делегаты (delegate)
• Интерфейсы (interface)

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

Поведение ссылочных типов

• При передаче переменной ссылочного типа в метод или функцию передается ссылка на область памяти, где хранится значение.
• Изменения внутри метода могут повлиять на оригинальные данные.
• Ссылочные типы более гибкие и мощные, но требуют внимательного управления памятью.

Сравнение производительности

Одно из ключевых различий между значимыми и ссылочными типами - это их производительность. Значимые типы, как правило, работают быстрее, так как доступ к ним осуществляется напрямую, и они могут быть легко оптимизированы компилятором. Ссылочные типы, в свою очередь, добавляют накладные расходы из-за необходимости работы с ссылками и управления памятью.

Работа с памятью

Понимание того, как значимые и ссылочные типы работают с памятью, является ключевым для написания эффективного кода. Значимые типы хранятся в стеке, что обеспечивает их быстрое создание и уничтожение. Ссылочные типы хранятся в куче, что подразумевает более сложное управление памятью и сборку мусора.

Примеры использования в коде

Давайте рассмотрим пример, который иллюстрирует различия в поведении значимых и ссылочных типов:

struct PointValue // Значимый тип
{
    public int X;
    public int Y;
}

class PointRef // Ссылочный тип
{
    public int X;
    public int Y;
}

public class Program
{
    static void ModifyValue(PointValue point)
    {
        point.X = 100;
        point.Y = 200;
    }

    static void ModifyReference(PointRef point)
    {
        point.X = 100;
        point.Y = 200;
    }

    public static void Main()
    {
        PointValue valPoint = new PointValue();
        PointRef refPoint = new PointRef();

        ModifyValue(valPoint);
        ModifyReference(refPoint);

        Console.WriteLine($"Значимый тип - X: {valPoint.X}, Y: {valPoint.Y}");
        Console.WriteLine($"Ссылочный тип - X: {refPoint.X}, Y: {refPoint.Y}");
    }
}

В этом примере, после выполнения метода Main, вы увидите, что изменения в методе ModifyReference повлияли на объект refPoint, в то время как объект valPoint остался без изменений. Это является показательным примером отличия в передаче значимых и ссылочных типов.

Заключение

Понимание разницы между значимыми и ссылочными типами в C# является крайне важным для разработчика. Это знание помогает оптимизировать приложения, обеспечивать их надежную работу и избегать ошибок, связанных с неожиданным поведением данных. Владение этой информацией позволяет более глубоко понимать внутреннее устройство .NET Framework и эффективно использовать его возможности.