值传递的struct类型CancellationToken如何接收取消通知？

这是个特别戳中直觉误区的好问题——乍一看确实和值类型的常规表现矛盾，但其实是CancellationToken的设计巧思：它是一个带有引用语义的值类型。

让我一步步拆解这个逻辑：

1. CancellationToken的内部秘密 #

虽然CancellationToken是struct（值类型），但它本身并不直接存储取消状态。它内部持有一个对CancellationTokenSource内部状态对象的引用（这个状态对象是引用类型）。也就是说，当你传递CancellationToken的副本时，副本拿到的是同一个状态对象的引用，而非状态本身的副本。

2. Cancel()到底做了什么？ #

当你调用cts.Cancel()时，修改的是CancellationTokenSource内部那个状态对象的标记（比如把一个bool字段设为true）。所有持有该令牌的副本，因为都指向这个共享的状态对象，所以在调用token.ThrowIfCancellationRequested()或者检查token.IsCancellationRequested时，都会读取到最新的取消状态。

3. 用简单代码类比理解 #

你可以把这个逻辑简化成一个自定义例子，一眼就能看明白：

// 模拟CancellationTokenSource的内部状态（引用类型）
public class CancelState
{
    public bool IsCancelled { get; set; }
}

// 模拟CancellationToken（值类型，但持有引用类型的状态）
public struct MyCancellationToken
{
    private readonly CancelState _state;

    public MyCancellationToken(CancelState state)
    {
        _state = state;
    }

    public void ThrowIfCancellationRequested()
    {
        if (_state.IsCancelled)
            throw new OperationCanceledException();
    }
}

// 使用示例
public static void Main()
{
    var state = new CancelState();
    var token = new MyCancellationToken(state);
    // 值传递给方法
    DoWork(token);
    // 修改共享状态
    state.IsCancelled = true;
}

public static void DoWork(MyCancellationToken token)
{
    // 稍后检查时，能读到修改后的状态
    token.ThrowIfCancellationRequested();
}

在这个例子里，MyCancellationToken是值类型，但因为内部持有引用类型的CancelState，所以值传递的副本依然能感知到状态的变化——这和.NET原生的CancellationToken原理完全一致。

4. 为什么要设计成值类型？ #

这么设计是为了兼顾性能和语义：

• 值类型在栈上分配，避免了引用类型的堆分配和GC开销，让令牌传递更轻量；
• 内部的引用类型保证了所有令牌副本能共享同一个取消状态，实现了我们需要的“一处取消，处处感知”的语义。

回到你的示例代码：SomeCancellableOperation里的token虽然是值传递的副本，但它内部的引用和cts.Token指向的是同一个状态对象。当cts.Cancel()修改了状态后，token.ThrowIfCancellationRequested()自然能检测到取消请求。

内容的提问来源于stack exchange，提问作者damule