任务继续知道需要在何处安排延续 - 例如"任何线程池线程"或"UI线程".
但是这种行为是由"awaiter"决定的 - 它实际上并不是C#编译器负责的部分.编译器只调用BeginAwait并传入continuation; awaiter返回一个布尔值,指示任务是否已同步完成,或者调用者是否应该返回并让延迟异步发生.
所以目前,这个决定是在由awaiter返回的TaskEx- 但我不会惊讶地看到它Task最终被捆绑在一起.这可以像同步上下文那样流动,它知道应该如何处理进一步的动作.
我不太确定你正在考虑什么样的真正的单线程上下文...或者你是否考虑过大部分工作需要在一个线程中发生的情况,但其他线程可能涉及到异步位(例如,当接收到HTTP数据包,在IO完成端口线程上处理,并且在UI线程上处理响应时)？
乔恩的回答当然很棒; 我以为我只想补充一点.
考虑一个WinForms应用程序,在单个按钮上运行代码的表单上有一个按钮.
没有点击按钮会发生什么？没有.该过程存在,代码正在运行,但它似乎没有做任何事情.事实上它正在做的是处理UI线程上的消息并确定它们都没有意义,但它看起来并没有做任何有趣的事情.
当您单击该按钮时,突然其中一条消息很有趣,并且消息泵知道当它看到click事件时,它应该运行一些代码.它确实如此.
单线程上的异步场景是一样的.延续 - "任务完成后要做什么"代码实际上是"任务完成"事件的"事件处理程序".当任务完成时,它"按下按钮"并在UI线程的消息队列上排队消息.它是从UI线程还是从I/O完成线程或其他任何东西这样做无关紧要.当UI线程绕过处理该消息时,它会调用continuation.与UI线程处理按钮单击时相同,它会调用单击处理程序.