Предусловия

Никакого смешения управляемых и неуправляемых ресурсов

• Не владеть ресурсами вообще
• Владеть одним неуправляемым ресурсом, то есть просто конвертировать его в управляемый
• Владеть одним или многими управляемыми ресурсами

Наследование реализаций нежелательно

Обертки для неуправляемых ресурсов реализуется с помощью Janitor.Fody

public class Sample : IDisposable
{
    IntPtr handle;

    public Sample()
    {
        handle = new IntPtr();
    }

    public void Method()
    {
        //Some code
    }

    public void Dispose()
    {
        //must be empty
    }

    void DisposeUnmanaged()
    {
        CloseHandle(handle);
        handle = IntPtr.Zero;
    }

    [DllImport("kernel32.dll", SetLastError=true)]
    static extern bool CloseHandle(IntPtr hObject);
}

public class Sample : IDisposable
{
    IntPtr handle;
    volatile int disposeSignaled;
    bool disposed;

    public Sample()
    {
        handle = new IntPtr();
    }

    void DisposeUnmanaged()
    {
        CloseHandle(handle);
        handle = IntPtr.Zero;
    }

    [DllImport("kernel32.dll", SetLastError = true)]
    static extern Boolean CloseHandle(IntPtr handle);

    public void Method()
    {
        ThrowIfDisposed();
        //Some code
    }

    void ThrowIfDisposed()
    {
        if (disposed)
        {
            throw new ObjectDisposedException("TemplateClass");
        }
    }

    public void Dispose()
    {
        if (Interlocked.Exchange(ref disposeSignaled, 1) != 0)
        {
            return;
        }
        DisposeUnmanaged();
        GC.SuppressFinalize(this);
        disposed = true;
    }


    ~Sample()
    {
        Dispose();
    }
}

Реализация шаблона проектирования Dispose для управляемых ресурсов

Подготовка

public static void Add(this CompositeDisposable litetime, Action action)
{
    lifetime.Add(Disposable.Create(action));
}

Добавление поля, отвечающего за очистку

private readonly CompositeDisposable lifetime = new CompositeDisposable();

Реализация метода Dispose

public void Dispose()
{
    lifetime.Dispose();
}

Очистка явно конструируемых ресурсов

myOwnResourceField = new Resource();

// И где-то при очистке
if (myOwnResourceField != null)
{
    myOwnResourceField.Dispose();
    myOwnResourceField = null;
}

lifetime.Add(myOwnedResourceField = new Resource());

Отписка от событий

sender.Event += Handler;

// И где-то при очистке
sender.Event -= Handler

sender.Event += Handler;
lifetime.Add(() => sender.Event -= Handler);

Отписка от IObservable

subscription = observable.Subscribe(Handler);

// И где-то при очистке
if (subscription != null)
{
    subscription.Dispose();
    subscription = null;
}

lifetime.Add(observable.Subscribe(Handler));

Выполнение произвольных действий при очистке

CreateAction();
lifetime.Add(() => DisposeAction());

Проверка состояния объекта

if (lifetime.IsDisposed)

Выводы

• универсален: гарантированно покрываются любые управляемые ресурсы, даже такие как «при очистке выполните следующий код»
• выразителен: дополнительный код невелик по объему
• привычен: используется обыкновенный класс из очень популярной библиотеки, который, вдобавок, при необходимости несложно написать и самостоятельно
• прозрачен: код очистки каждого ресурса расположен вплотную к коду захвата, большинство потенциальных утечек будут сразу замечены при рецензировании
• ухудшает производительность: добавляет «memory traffic» за счет создания новых объектов
• не влияет на безопасность использования уже «мертвого» объекта: собственные ресурсы очистятся только однажды, но любые проверки с выбросом ObjectDisposedException надо делать вручную