Об Exception в блоке using

Работать с исключениями всегда надо предельно внимательно, особенно если его следует ожидать внутри блока using.

Представим себе ситуацию: у нас есть класс Some, реализующий интерфейс IDisposable следующим образом:

class Some : IDisposable

{

    public void Dispose()

    {

        throw new Exception("Исключение в Some.Dispose()");

    }

}

Для объектов, реализующих интерфейс IDisposable, мы можем написать следующую конструкцию, используя конструкцию using:

using (Some some = new Some())

{

    //...

    throw new Exception("Очень важный текст ошибки");

}

Отметим, что исключение возникает в двух местах: в блоке using и в методе some.Dispose().

Вопрос: Какое исключение мы поймаем за пределами блока using: исключение, возникшее внутри блока using или исключение возникшее в методе some.Dispose() ?

Ответ: Исключение в методе some.Dispose(). Так как some.Dispose() вызовется немедленно после того, как мы покинем блок using при первом возникновении исключения. Важно отметить, что при этом мы теряем информацию об исключении внутри блока using.

Решение: Бороться с подобной проблемой нужно в индивидуальном порядке, потому что все зависит от того, как вы в дальнейшем хотели бы обрабатывать исключения. Например можно так:

Some some = new Some();

try

{

    // используя объект some получаем исключение:

    throw new Exception("Очень важный текст ошибки");

}

finally

{

    IDisposable disposable = some as IDisposable;

    if (disposable != null)

    {

        try

        {

            disposable.Dispose();

        }

        catch (Exception innerEx)

        {

            // обрабатываем, второстепенное исключение innerEx

        }

    }

}

Например, подобная проблема может возникнуть если Вы работаете с экземпляром WCF сервиса, где метод Dispose() сервиса неявно вызывает метод Close(), который в некоторых ситуациях выкидывает исключение.

См. также:
Avoiding Problems with the Using Statement

UPD: Спасибо Sergey Litvinov за ценный комментарий, действительно, если класс Some содержит Finalize метод, который может выбросить исключение, а использование экземпляра Some происходит без конструкции using или явного вызова Dispose метода, то в этом случае, исключение будет поймано уже в GC. Например, при вызове метода GC.Collect().

class Some : IDisposable

{

    ~Some()

    {

        Dispose(false);

    }           

 

    public void Dispose()

    {

        Dispose(true);

        GC.SuppressFinalize(this);

    }

 

    protected virtual void Dispose(bool disposing)

    {

        if (disposing)

        {

            // освободим управляемые ресурсы

        }

        // освободим неуправляемые ресурсы               

        throw new Exception("Dispose(bool)");

    }

}

UPD: Спасибо _FRED_ за полезную ссылку на статью, в которой предлагается идея написать свой safe IDisposable wrapper, общая идея которого заключается в том, чтобы обернуть вызов метода Dispose:

class SafeDisposeWrapper<T> : IDisposable

    where T : IDisposable

{

    public T Disposable { get; set; }

 

    public virtual void Dispose()

    {

        try

        {

            if (Disposable != null)

                Disposable.Dispose();

        }

        catch (Exception ex)

        {

            // обрабатываем исключение

        }

        finally

        {

            GC.SuppressFinalize(this);

        }

    }

 

    public SafeDisposeWrapper(T disposable)

    {

        Disposable = disposable;

    }

}

Использовать такой Wrapper достаточно просто:

Some some = new Some();

using (new SafeDisposeWrapper<Some>(some))

{

    // работаем с some...

}

Как вариант, который предложил zhe в комментариях, можно использовать обработчики исключений, передавая их в конструктор Wrapper'а.

UPD:
Интересная ссылка Digging into IDisposable