исполнение C# Ленивый + память пониманий

Question

Можете ли вы объяснить мне, что происходит в памяти при выполнении следующего кода:

Случай 1:

public static void Execute() 
{ 
    foreach(var text in DownloadTexts()) 
    { 
      Console.WriteLine(text); 
    } 
} 


public static IEnumerable<string> DownloadTexts() 
{ 
    foreach(var url in _urls) 
    { 
     using (var webClient = new WebClient()) 
     { 
       yield return webClient.DownloadText(url); 
     } 
    } 
} 

Давайте предположим, что после первой итерации я получаю HTML1.

Когда html1 будет очищен от памяти?

1. на следующей итерации?
2. когда конец foreach заканчивается?
3. Когда функция заканчивается?

Благодаря

** Редактировать **

Случай 2:

public static void Execute() 
{ 
    var values = DownloadTexts(); 
    foreach(var text in values) 
    { 
      Console.WriteLine(text); 
    } 
} 


public static IEnumerable<string> DownloadTexts() 
{ 
    foreach(var url in _urls) 
    { 
     using (var webClient = new WebClient()) 
     { 
       yield return webClient.DownloadText(url); 
     } 
    } 
} 

В моем понимании, Случай 1 лучше для памяти, то случай 2 верно?

В случае, если 2 по-прежнему будет ссылаться на тексты, которые мы уже скачали, в то время как в случае 1 каждый текст помечен для сбора мусора после его неиспользования. Я прав?

Answer 1

• _urls останется на неопределенное время, так как он находится в поле, как кажется.
• DownloadTexts() (итератор, возвращенный им) сохраняется до конца цикла.
• WebClient и html он производит пребывание в живых для одной итерации. Если вы хотите знать абсолютное точное время жизни, вам нужно использовать Reflector и мысленно имитировать, где эта ссылка перемещается. Вы обнаружите, что используемый в цикле IEnumerator ссылается на него до начала следующей итерации.

Все объекты, которые не являются живыми, могут быть GC'ed. Это происходит всякий раз, когда GC думает, что это хорошая идея.

Относительно вашего изменения: Случаи эквивалентны. Если вы не перечислите перечислитель в переменную, компилятор сделает это за вас. Он должен поддерживать ссылку до конца цикла. Неважно, сколько ссылок есть. Есть хотя бы один.

На самом деле для цикла требуется, чтобы перечислитель сохранялся в живых. Добавленная добавленная переменная также сохранит перечислимый ресурс. С другой стороны, вы не используете переменную, поэтому GC не поддерживает ее.

Вы можете тест это легко:

//allocate 1TB of memory: 
var items = 
    Enumerable.Range(0, 1024 * 1024 * 1024) 
    .Select(x => new string('x', 1024)); 
foreach (var _ in items) { } //constant memory usage 

Answer 2

Он будет очищен от памяти, когда сборщик мусора будет работать, и определит, что он больше не используется.

Значение будет больше не использоваться в тот момент, когда foreach вызывает вызов метода IEnumerator.MoveNext(). Итак, эффективно, № 1.

Answer 3

Он будет стерта из памяти, когда сборщик мусора будет чувствовать себя, как это делать.

Но отправной точкой является то, что код не содержит больше ссылок на экземпляр объекта. Таким образом, ответ в этом случае следующий: когда-нибудь после блока, в котором вы создали объект.

Уверены в GC, он хорошо справляется со своей работой.