У меня есть следующий код
using(MemoryStream ms = new MemoryStream())
{
//code
return 0;
}
Метод dispose() вызывается в конце using фигурных скобок }, верно? Поскольку I return до конца оператора using, будет ли объект MemoryStream размещен должным образом? Что здесь происходит?
Да, Dispose будет называться. Он вызывается, как только выполнение выходит за пределы блока using, независимо от того, какие средства потребовались для выхода из блока, будь то конец выполнения блока, оператор return или исключение.
Как правильно указывает @Noldorin, использование блока using в коде компилируется в _5 _ / _ 6_, причем Dispose вызывается в блоке finally. Например, следующий код:
using(MemoryStream ms = new MemoryStream())
{
//code
return 0;
}
эффективно становится:
MemoryStream ms = new MemoryStream();
try
{
// code
return 0;
}
finally
{
ms.Dispose();
}
Итак, поскольку finally гарантированно будет выполняться после завершения выполнения блока try, независимо от его пути выполнения, Dispose гарантированно будет вызван, несмотря ни на что.
Для получения дополнительной информации см. эту статью MSDN.
Дополнение:
Небольшое предостережение: поскольку вызов Dispose гарантирован, почти всегда полезно убедиться, что Dispose никогда не генерирует исключение при реализации IDisposable. К сожалению, в основной библиотеке есть несколько классов, которые действительно выбрасывают в определенных обстоятельствах при вызове Dispose - я смотрю на вас, Справочник по службе WCF / Прокси-сервер клиента! - и когда это происходит, может быть очень сложно отследить исходное исключение, если Dispose был вызван во время раскрутки стека исключений, поскольку исходное исключение проглатывается в пользу нового исключения, сгенерированного вызовом Dispose. Это может раздражать до безумия. Или это ужасно сводит с ума? Один из двух. Возможно оба.
Dispose in finally, так что он эффективно отрабатывает реализацию finally, как вы описываете.
- person Noldorin; 14.07.2010
Операторы using ведут себя точно так же, как блоки try ... finally, поэтому всегда будут выполняться на любых путях выхода кода. Однако я считаю, что они подвержены очень немногим и редким ситуациям, в которых finally блоки не вызываются. Я могу вспомнить один пример: если поток переднего плана завершается, когда фоновые потоки активны: все потоки, кроме GC, приостанавливаются, что означает, что finally блоков не запускаются.
Очевидное изменение: они ведут себя одинаково, за исключением логики, которая позволяет им обрабатывать IDisposable объекты, d'oh.
Бонусный контент: их можно складывать друг в друга (если типы различаются):
using (SqlConnection conn = new SqlConnection("string"))
using (SqlCommand comm = new SqlCommand("", conn))
{
}
А также с разделителями-запятыми (где типы совпадают):
using (SqlCommand comm = new SqlCommand("", conn),
comm2 = new SqlCommand("", conn))
{
}
Ваш объект MemoryStream будет правильно удален, не нужно об этом беспокоиться.
С помощью оператора using объект будет удален независимо от пути завершения.
Дальнейшее чтение...
Взгляните на свой код в отражателе после его компиляции. Вы обнаружите, что компилятор реорганизует код, чтобы гарантировать, что dispose вызывается в потоке.
