В чём разница между finally и finalize?

Разница между finally и finalize в C# / .NET

finally и finalize — это два принципиально разных механизма в .NET, которые часто путают из-за схожести названия, но они служат совершенно разным целям и используются в разных контекстах.

finally (блок finally)

finally — это ключевое слово языка C#, которое используется в конструкции try-catch-finally для обеспечения выполнения кода независимо от того, было ли выброшено исключение или нет. Это часть механизма обработки исключений.

Основные характеристики:

• Цель: Гарантированное освобождение ресурсов (закрытие файлов, соединений с БД, графических объектов) или выполнение завершающих действий.
• Контекст: Используется исключительно в связке с try и (опционально) catch.
• Время выполнения: Код в блоке finally выполняется сразу после выхода из блока try или catch, перед возвратом управления из метода.
• Детерминированность: Выполнение кода в finally предсказуемо и гарантировано (за исключением катастрофических сбоев, например, выключения питания или метода Environment.FailFast).

Пример использования finally:

FileStream fileStream = null;
try
{
    fileStream = new FileStream("data.txt", FileMode.Open);
    // Работа с файлом...
    // Может произойти исключение, например, IOException
}
catch (IOException ex)
{
    Console.WriteLine($"Ошибка при работе с файлом: {ex.Message}");
    // Блок catch может повторно выбросить исключение
    throw;
}
finally
{
    // Этот код выполнится ВСЕГДА:
    // - если исключения не было,
    // - если исключение было перехвачено в catch,
    // - если исключение не было перехвачено.
    if (fileStream != null)
    {
        fileStream.Dispose(); // Критически важно закрыть ресурс
        Console.WriteLine("Файловый поток освобождён в finally.");
    }
}
// Управление передаётся сюда после выполнения блока finally.

В современных версиях C# для управления такими ресурсами часто используют конструкцию using, которая является синтаксическим сахаром над try-finally.

// Эквивалентно try-finally с вызовом Dispose()
using (var fileStream = new FileStream("data.txt", FileMode.Open))
{
    // Работа с файлом...
} // Dispose() будет вызван автоматически здесь, в неявном блоке finally

---

finalize (метод Finalize)

Finalize (в C# реализуется через деструктор) — это метод, который вызывается сборщиком мусора (Garbage Collector, GC) перед освобождением памяти, занимаемой объектом. Это механизм недетерминированной финализации.

Основные характеристики:

• Цель: Освобождение неуправляемых ресурсов (например, дескрипторов операционной системы, выделенной напрямую памяти), если разработчик забыл явно вызвать Dispose().
• Контекст: Определяется в классе как деструктор (символ ~).
• Время выполнения: Непредсказуемо. Зависит от алгоритма работы сборщика мусора. Не гарантируется, что метод будет вызван вообще (например, при быстром завершении приложения).
• Низкая производительность: Объекты с финализатором требуют минимум двух проходов GC для полного удаления, что создаёт нагрузку и задерживает освобождение памяти.

Пример объявления и проблемы finalize:

public class ResourceHolder
{
    // Неуправляемый ресурс (условно)
    private IntPtr _nativeHandle;

    public ResourceHolder()
    {
        // Аллоцируем неуправляемый ресурс
        _nativeHandle = SomeNativeLibrary.AllocateMemory();
    }

    // ДЕСТРУКТОР (синтаксис C# для метода Finalize)
    ~ResourceHolder()
    {
        // ВАЖНО: Этот метод может быть вызван когда угодно, а может и не быть вызван.
        // Нельзя полагаться на его вызов для критически важных ресурсов.
        if (_nativeHandle != IntPtr.Zero)
        {
            SomeNativeLibrary.FreeMemory(_nativeHandle);
            _nativeHandle = IntPtr.Zero;
        }
        Console.WriteLine("Финализатор вызван. Ресурс освобождён.");
        // Внутри финализатора нельзя обращаться к другим управляемым объектам,
        // так как они уже могли быть уничтожены GC.
    }

    // Правильный паттерн: явное освобождение через IDisposable
    public void Dispose()
    {
        // Освобождаем ресурс детерминированно
        if (_nativeHandle != IntPtr.Zero)
        {
            SomeNativeLibrary.FreeMemory(_nativeHandle);
            _nativeHandle = IntPtr.Zero;
        }
        // Говорим GC, что финализация больше не нужна
        GC.SuppressFinalize(this);
    }
}

Итоговая сравнительная таблица

Ключевой вывод: Для корректной работы с ресурсами в Unity и .NET следует полагаться на детерминированные конструкции: try-finally, оператор using и паттерн IDisposable. Финализатор (Finalize) — это последнее средство безопасности, а не основной инструмент для управления жизненным циклом объектов. В Unity особенно важно своевременно освобождать ресурсы (текстуры, меши, аудиоклипы) через Dispose() или Destroy(), а не надеяться на сборщик мусора, чтобы избежать просадок производительности.