异步方法恢复后值未更新

看这段代码：

public class SharedData
{
    public int Value { get; set; }
}

void button1_Click(object sender, EventArgs e)
{
    AAA();
}

async Task BBB(SharedData data)
{
    await Task.Delay(TimeSpan.FromSeconds(1));
    MessageBox.Show(data.Value.ToString()); //<---- I always see 0 here,
    data.Value = data.Value + 1;
}

async Task<int> AAA()
{
    SharedData data = new SharedData();
    var task1 = BBB(data);
    var task2 = BBB(data);
    var task3 = BBB(data);

    await Task.WhenAll(task1, task2, task3);
    MessageBox.Show(data.Value.ToString());  //<--- this does show 3
    return data.Value;
}

这是一个 GUI（Windows 窗体）应用程序，这意味着只有一个线程执行每一行代码。

All BBB(data)调用速度非常快，无需等待。 每个BBB调用进入 BBBmethod , sees await它不会完成并返回（到 AAA）。

现在，当一秒（大约）过去后，所有的延续都会发生在 GUI 线程中.

Question

延续不会同时发生，因为它是 GUI 线程。 所以之前的声明：

data.Value = data.Value + 1;

一定发生过。

换句话说 ，

我知道所有BBBs 以相同的初始值调用data，但延续不会同时发生

GUI 线程最终必须运行：

_{continuation #1}

 MessageBox.Show(data.Value.ToString()); 
 data.Value = data.Value + 1; //So this basically should do 0-->1
....

_{continuation #2}

 MessageBox.Show(data.Value.ToString()); // Why data.Value still "0" ??
 data.Value = data.Value + 1;  
....

_{continuation #3}

 MessageBox.Show(data.Value.ToString()); // Why data.Value still "0" ??
 data.Value = data.Value + 1;

看起来延续不是作为一个整体而是作为共享量子来安排的？

发生这种情况是因为您正在使用MessageBox.Show调试打印和显示模式消息框会阻止代码流，但不会阻止 UI 线程（否则您无法与消息框交互）。

因此，当第一个延续通过显示消息框“阻止”时，下一个延续可以运行，然后是第三个。它们都通过显示消息框而被“阻止”，但 UI 线程本身并未被“阻止”。

这就是为什么他们都表现出0只有当您释放消息框时，它们才能继续运行并增加变量。

您可以看到，如果使用打印该值Console.WriteLine在显示消息框之前：

async Task BBB(SharedData data)
{
    await Task.Delay(TimeSpan.FromSeconds(1));
    Console.WriteLine(data.Value);
    MessageBox.Show(data.Value.ToString());
    data.Value = data.Value + 1;
}

你会注意到0在 1 秒之后，而不是在您关闭消息框之后，所有延续都会打印 3 次。

基本上，延续并发运行，但不是使用同一线程并行运行因为MessageBox.Show在他们中。

如果你使用Console.WriteLine代替MessageBox.Show您将看到该值一次递增一个：

async Task BBB(SharedData data)
{
    await Task.Delay(TimeSpan.FromSeconds(1));
    Console.WriteLine(data.Value);
    data.Value = data.Value + 1;
}

Output:

0
1
2