Сработает ли using ?

@RaevskiAnatoly · Регистрация: 04.03.2017

Студворк — интернет-сервис помощи студентам

Есть функция возвращающая строку и в ней конструкция using:

C#
1
2
3
...
using(streamReader)
 return streamReader.ReadLine();

Так вот , using освободит ресурсы streamReader после выполнения соответственного ей кода...Но ведь после выполнения , а точнее выполнение как раз и выкинет из функции . Освободятся ли ресурсы?

Someone007 · 03.09.2017, 20:07

Да.

@Fleder · 03.09.2017, 20:15

Сообщение от RaevskiAnatoly

Освободятся ли ресурсы?

Код вида:

C#
1
2
using(streamReader)
 return streamReader.ReadLine();

Преобразуется в такой код:

C#
1
2
3
4
5
6
7
8
9
10
11
         string str;
         try
         {
            str = streamReader.ReadLine();
         }
         finally
         {
            if(streamReader != null)
               ((IDisposable)streamReader).Dispose();
         }
         return str;

И перед возвратом результата из метода будет выполнен блок finally, в котором освободятся ресурсы.

@kolorotur · 03.09.2017, 23:44

Сообщение от Fleder

Преобразуется в такой код

В данном случае — в такой:

C#
1
2
3
4
5
6
7
8
9
10
11
         string str;
         try
         {
            str = streamReader.ReadLine();
            return str;
         }
         finally
         {
            if(streamReader != null)
               ((IDisposable)streamReader).Dispose();
         }

Предвидя вопрос: "Выполнится ли в этом случае блок finally", отвечаю: если приложение все еще работает, то да.

Добавлено через 4 минуты
Кстати, товарищ Fleder выше очень верно указал на то, что в finally производится каст к IDisposable.
Через это возможны интересные ситуации:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
struct Foo : IDisposable
{
   public bool Disposed { get; private set; }
 
   public void Dispose()
   {
      Disposed = true;
   }
}
 
 
var foo = new Foo();
using (foo)
{
}
 
Console.WriteLine(foo.Disposed); // False, ибо запаковка!

@Pro100Tom · 04.09.2017, 17:03

Сообщение от kolorotur

Console.WriteLine(foo.Disposed); // False, ибо запаковка!

А почему так? Ведь Dispose метод вызывается, так? значит свойство Disposed должно быть true.
Что означает слово "запаковка"?

@kolorotur · 04.09.2017, 18:11

Сообщение от Pro100Tom

А почему так?

Структуры имеют семантику копирования по значению — это значит, что переменная типа структуры содержит непосредственно значение.
Поскольку при присваивании переменных и передаче/возврате в/из метода производится копирование переменной, постолько производится копирование всего значения.
А вот переменная интерфейсного типа должна хранить ссылку на объект.
Если присвоить переменную значимого типа переменной ссылочного типа (интерфейс в данном случае), то произойдет запаковка: будет создан объект-заглушка, содержаший и ссылка на него будет помещена в переменную ссылочного типа.
При касте к IDisposable производится запаковка и значение true присваивается другому экземпляру — не тому, который хранится в переменной foo, а тому, который хранится где-то в другом месте в запакованном виде.

@Pro100Tom · 04.09.2017, 18:57

То есть каст используется для того чтобы обратиться именно к референсному полю, как понимаю.

@kolorotur · 04.09.2017, 20:45

Сообщение от Pro100Tom

То есть каст используется для того чтобы обратиться именно к референсному полю

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

@Fleder · 06.09.2017, 21:25

Сообщение от kolorotur

Предвидя вопрос: "Выполнится ли в этом случае блок finally", отвечаю: если приложение все еще работает, то да.

Те, кто пробовал проходить тесты по C# для джуниоров, наверное, помнят заковыристые вопросы про try catch finally.
Так вот, кто скажет, что вернёт этот метод и почему? И отработает ли в нём блок finally?

C#
1
2
3
4
5
6
7
8
9
10
11
12
      public static byte[] Foo()
      {
         byte[] arr = null;
         try
         {
            return arr;
         }
         finally
         {
            arr = new byte[16];
         }
      }

@kolorotur · 06.09.2017, 22:25

Сообщение от Fleder

кто скажет, что вернёт этот метод и почему?

Ну это уж совсем джуниористый вопрос

@Fleder · 06.09.2017, 22:31

Сообщение от kolorotur

Ну это уж совсем джуниористый вопрос

Но для меня было сюрпризом, когда этот метод вернул совсем не то, что я ожидал!

@skilllab · 06.09.2017, 22:34

Я! Я джуниор.

Сообщение от Fleder

finally

вернёт. Оно всегда отрабатывает

типа для окончательного освобождения ресурсов если всё свалится

@kolorotur · 06.09.2017, 22:57

Сообщение от Fleder

Но для меня было сюрпризом, когда этот метод вернул совсем не то, что я ожидал!

Почему? return же возвращает значение, а не переменную.
Значение вычисляется в точке возврата и присваивается результату работы метода (возвращаемому значению).
В вашем примере вычисленное значение — ссылка, хранящаяся в переменной arr на момент выполнения return.
Куда после этого переходит ход выполнения и что делает — дело десятое, результат работы метода уже вычислен.

@Fleder · 06.09.2017, 23:02

Сообщение от kolorotur

Почему? return же возвращает значение, а не переменную.

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

@kolorotur · 06.09.2017, 23:11

Сообщение от Fleder

Просто это как-то необычно. Привыкаешь, что возврат из метода является последней инструкцией.

В некоторых других языках: Visual Basic и VBScript, например, возврат значения сделан более явно — там внутри метода создается переменная с именем этого метода и этой переменной просто присваивается значение.
Примерно вот так ваш код будет выглядеть в VBScript (вместо массива пусть будет строка, чтобы не путать синтаксисом):

Visual Basic
1
2
3
4
5
6
7
8
9
function Foo()
   dim arr
   arr = null
 
   on error resume next
   Foo = arr
   arr = "Hello world!"
   exit function
end function

Вот в шарпе происходит примерно то же самое — можете считать, что где-то есть скрытая переменная, имеющая тип возвращаемого значения метода и выражение return x присваивает этой переменной значение выражения x.
Оно, в общем-то, так и есть.
Потом в точке возврата, в вызывающем методе эта переменная считывается.

@Fleder · 06.09.2017, 23:23

Сообщение от kolorotur

Потом в точке возврата, в вызывающем методе эта переменная считывается.

изменил пример:

C#
1
2
3
4
5
6
7
8
9
10
11
12
      public static byte[] Foo()
      {
         byte[] arr = new byte[8];
         try
         {
            return arr;
         }
         finally
         {
            arr = new byte[16];
         }
      }

Там как и положено - возврат через регистр rax (64 bit). А перед входом в finally - значение этого регистра сохраняется в стэке.
finally отрабатывает - из стэка снова извлекается результат в rax.

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

Someone007 6691 / 4102 / 1607 Регистрация: 09.05.2015 Сообщений: 9,574
	03.09.2017, 20:07
	Да. 1

@Pro100Tom 154 / 31 / 11 Регистрация: 29.10.2012 Сообщений: 397
	04.09.2017, 18:57
	То есть каст используется для того чтобы обратиться именно к референсному полю, как понимаю. 0

Сработает ли using ?

Решение