链接CancellationTokenSource的反直觉行为

Question

文档(https://learn.microsoft.com/en-us/dotnet/api/system.threading.cancellationtokensource.createlinkedtokensource?view=net-6.0)声明，当任何源令牌处于已取消状态时，https://learn.microsoft.com/en-us/dotnet/api/system.threading.cancellationtokensource.createlinkedtokensource?view=net-6.0方法“将创建一个处于已取消状态的CancellationTokenSource”。

但是，以下代码打印：

Cancellation. Token: Timeout
Timeout: True
Linked: False
Cancellation. Token: Linked
Timeout: True
Linked: True

也就是说，在第一次访问时，链接令牌实际上没有被取消( linked.Token.IsCancellationRequested == false，ThrowIfCancellationRequested不抛出)，而它的源令牌被取消了。但是，一旦传递给Task.Delay，它就会突然苏醒过来，并开始按预期工作。

在.NET框架的所有版本中都会出现这种情况(尝试使用4.8、Core3、.NET 6)，因此显然是通过设计实现的。

在什么地方有记录吗？要将CancellationTokenSource链接起来以取消源令牌，具体需要做些什么？

var timeout = new CancellationTokenSource(TimeSpan.FromSeconds(1));
var linked = CancellationTokenSource.CreateLinkedTokenSource(timeout.Token);
try
{
    await Task.Delay(TimeSpan.FromSeconds(5), timeout.Token);
}
catch (OperationCanceledException cex)
{
    Console.WriteLine("Cancellation. Token: " + (cex.CancellationToken == timeout.Token ? "Timeout" : "Linked"));
}

linked.Token.ThrowIfCancellationRequested();
Console.WriteLine($"Timeout: {timeout.Token.IsCancellationRequested}");
Console.WriteLine($"Linked: {linked.Token.IsCancellationRequested}");

try
{
    await Task.Delay(TimeSpan.FromSeconds(5), linked.Token);
}
catch (OperationCanceledException cex)
{
    Console.WriteLine("Cancellation. Token: "+(cex.CancellationToken==timeout.Token?"Timeout":"Linked"));
}

Console.WriteLine($"Timeout: {timeout.Token.IsCancellationRequested}");
Console.WriteLine($"Linked: {linked.Token.IsCancellationRequested}");

Answer 1

链接取消令牌通过回调来工作；它们不是原子的。因此，在本例中，源(timeout)令牌上有两个回调：Task.Delay回调和链接令牌回调。回调的顺序不能保证。

您的代码注意到首先调用了Task.Delay回调，这就是为什么您看到链接取消令牌未被取消的原因。一旦回调完成，下一个回调将运行并取消链接取消令牌。