异步方法恢复后值未更新

Question

看这段代码：

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 窗体）应用程序，这意味着只有一个线程执行每一行代码。

所有BBB(data) 调用都非常快速地调用，无需等待。 每个 BBB 调用都进入 BBB method ，看到 await 没有完成并返回（到 AAA）。

现在，当一秒钟（大约）过去时，所有的继续都发生在 GUI 线程中。

问题

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

data.Value = data.Value + 1;

一定发生过。

换句话说，

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

GUI 线程必须最终运行：

_继续#1

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

_继续#2

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

_继续#3

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

看起来延续计划不是作为一个整体而是作为共享量子？

Answer 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;
}

输出：

0
1
2