Async и ждут: несколько ожидающих выражений

Question

У меня возникли трудности с пониманием того, как использовать async и ждать работы.

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

То, что я не понимаю, это то, что происходит, когда метод async содержит более одного ожидания ожидания? Когда выполнение попадает во второе выражение ожидания, поскольку метод уже был возвращен после того, как было найдено первое выражение ожидания, что происходит с выполнением второго выражения ожидания?

В настоящее время я читаю две книги о асинхронном режиме и жду, но мой темный ум не освещен ни тем, ни другим!

Answer 1

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

Да, если ожидаемый еще не завершен.

Когда выполнение попадает во второе выражение ожидания, так как метод уже возвращен после того, как было получено первое выражение ожидания, что происходит с выполнением вокруг второго выражения ожидания?

Он возвращает управление всем выполняемым продолжением, которое будет зависеть от контекста. В приложении WinForms в потоке пользовательского интерфейса это будет только цикл событий. В потоке пула потоков это будет просто планировщик пула потоков.

Шансы - это то, что вызывает продолжение, на самом деле это не волнует - это просто «что-то исполнить в контексте». Скорее всего, это будет продолжаться и просто выполнить все, что ему нужно сделать дальше (или дождаться, когда будет больше работы).

Важным моментом является то, что к настоящему времени первым абонент имеет соответствующий Task или Task<T> так, что они могут сказать, когда весь метод асинхронной завершен.

Answer 2

Это может помочь вспомнить, что для каждого ждущего компилятора он перепишет остальную часть метода как продолжение. Таким образом, 2 Awaits привело бы к 2 (вложенных друг в друга) продолжений, примерно эквивалентно (хотя чрезмерно упрощенный), чтобы:

FirstAsyncThing().ContinueWith(x => { 
    SecondAsyncThing().ContinueWith(y => { 
     // etc. 
    }); 
}); 

Так же, как первый Await немедленно возвращает управление вызывающему методу, второй возвращает управление первым продолжение, который является первой частью исходного метода.