Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю

{

  ...

  .try

  {

  ...

  }  // end .try

  finally

  {

    IL_0018: callvirt instance void

      [System.Runtime]System.IDisposable::Dispose()

    ...

  }  // end handler

  IL_001f: ret

} // end of method Program::UsingDeclaration

По сути, это новое средство является "магией" компилятора, позволяющей сэкономить несколько нажатий клавиш. При его использовании соблюдайте осторожность, т.к. новый синтаксис не настолько ясен, как предыдущий.

Создание финализируемых и освобождаемых типов

К настоящему моменту вы видели два разных подхода к конструированию класса, который очищает внутренние неуправляемые ресурсы. С одной стороны, можно применять финализатор. Использование такого подхода дает уверенность в том, что объект будет очищать себя сам во время сборки мусора (когда бы она ни произошла) без вмешательства со стороны пользователя. С другой стороны, можно реализовать интерфейс IDisposable и предоставить пользователю объекта способ очистки объекта по окончании работы с ним. Тем не менее, если пользователь объекта забудет вызвать метод Dispose(), то неуправляемые ресурсы могут оставаться в памяти неопределенно долго.

Нетрудно догадаться, что в одном определении класса можно смешивать оба подхода, извлекая лучшее из обеих моделей. Если пользователь объекта не забыл вызвать метод Dispose(), тогда можно проинформировать сборщик мусора о пропуске процесса финализации, вызвав метод GC.SuppressFinalize(). Если же пользователь объекта забыл вызвать Dispose(), то объект со временем будет финализирован и получит шанс освободить внутренние ресурсы. Преимущество здесь в том, что внутренние неуправляемые ресурсы будут тем или иным способом освобождены.

Ниже представлена очередная версия класса MyResourceWrapper, который теперь является финализируемым и освобождаемым; она определена в проекте консольного приложения C# по имени FinalizableDisposableClass:

using System;

namespace FinalizableDisposableClass

{

  // Усовершенствованная оболочка для ресурсов.

  public class MyResourceWrapper : IDisposable

  {

    // Сборщик мусора будет вызывать этот метод, если

    // пользователь объекта забыл вызвать Dispose().

    ~MyResourceWrapper()

    {

     // Очистить любые внутренние неуправляемые ресурсы.

     // **Не** вызывать Dispose() на управляемых объектах.

    }

    // Пользователь объекта будет вызывать этот метод

    // для как можно более скорой очистки ресурсов.

(window.adrunTag = window.adrunTag || []).push({v: 1, el: 'adrun-4-390', c: 4, b: 390})

    public void Dispose()

    {

      // Очистить неуправляемые ресурсы.

      // Вызвать Dispose() для других освобождаемых объектов,

      // содержащихся внутри.

      // Если пользователь вызвал Dispose(), то финализация

      // не нужна, поэтому подавить ее.

      GC.SuppressFinalize(this);

    }

  }

}

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

Формализованный шаблон освобождения

Текущая реализация класса MyResourceWrapper работает довольно хорошо, но осталось еще несколько небольших недостатков. Во-первых, методы Finalize() и Dispose() должны освобождать те же самые неуправляемые ресурсы. Это может привести к появлению дублированного кода, что существенно усложнит сопровождение. В идеале следовало бы определить закрытый вспомогательный метод и вызывать его внутри указанных методов.

Во-вторых, желательно удостовериться в том, что метод Finalize() не пытается освободить любые управляемые объекты, когда такие действия должен делать метод Dispose(). В-третьих, имеет смысл также позаботиться о том, чтобы пользователь объекта мог безопасно вызывать метод Dispose() много раз без возникновения ошибки. В настоящий момент защита подобного рода в методе Dispose() отсутствует.

Для решения таких проектных задач в Microsoft определили формальный шаблон освобождения, который соблюдает баланс между надежностью, удобством сопровождения и производительностью. Вот окончательная версия класса MyResourceWrapper, в которой применяется официальный шаблон:

class MyResourceWrapper : IDisposable

{

  // Используется для выяснения, вызывался ли метод Dispose().

  private bool disposed = false;

  public void Dispose()

  {

    // Вызвать вспомогательный метод.

    // Указание true означает, что очистку

    // запустил пользователь объекта.

    CleanUp(true);

    // Подавить финализацию.

    GC.SuppressFinalize(this);

  }