NotificationCenter observer被sendable闭包捕获后修改的警告分析及替代方案

问题代码 #

import Foundation

class ExampleClass {

    init() {
        let notificationCenter = NotificationCenter.default
        var observer: NSObjectProtocol? = nil
        // 下一行会触发警告
        observer = notificationCenter.addObserver(
            forName: .NSExtensionHostDidEnterBackground,
            object: nil,
            queue: nil
        ) { [weak self] _ in
            self?.doSomething()
            notificationCenter.removeObserver(observer!)
        }
    }

    func doSomething() {
        print("We got the notification")
    }

}

这段代码原本是Apple文档推荐的标准模式：通过NotificationCenter.addObserver返回的令牌移除观察者，但现在触发编译器警告：

'observer' mutated after capture by sendable closure

警告是否代表实际问题？ #

是的，这个警告存在潜在的类型安全风险。虽然当前代码能正常运行，但编译器的顾虑是：闭包捕获了一个可变变量observer，而变量在闭包捕获后被赋值。从Sendable合规性和Swift的闭包捕获语义来看，如果observer后续被意外修改（比如多次赋值），闭包里拿到的会是捕获时的旧值，可能导致移除错误的观察者或者崩溃。

即使addObserver返回的是引用类型，编译器也无法确定你不会修改这个变量，因此会抛出警告来提示潜在的竞态或逻辑错误。

最佳替代模式 #

方案1：直接用常量捕获令牌（最简洁，适合单次通知移除场景）

import Foundation

class ExampleClass {

    init() {
        let notificationCenter = NotificationCenter.default
        // 直接用常量接收令牌，闭包捕获该常量
        let observer = notificationCenter.addObserver(
            forName: .NSExtensionHostDidEnterBackground,
            object: nil,
            queue: nil
        ) { [weak self] _ in
            self?.doSomething()
            notificationCenter.removeObserver(observer)
        }
    }

    func doSomething() {
        print("We got the notification")
    }

}

这种写法消除了可变变量的捕获问题，闭包直接捕获已经赋值完成的常量令牌，完全符合编译器的Sendable检查要求，同时保留了原有的“收到一次通知后移除观察者”的逻辑。

方案2：将令牌存储为实例属性（适合需要长期持有或在deinit中清理的场景）

如果需要在实例的整个生命周期内管理观察者（比如在deinit中主动移除，防止内存泄漏），可以将令牌存储为实例属性：

import Foundation

class ExampleClass {
    private var notificationObserver: NSObjectProtocol?

    init() {
        let notificationCenter = NotificationCenter.default
        notificationObserver = notificationCenter.addObserver(
            forName: .NSExtensionHostDidEnterBackground,
            object: nil,
            queue: nil
        ) { [weak self] _ in
            self?.doSomething()
            guard let observer = self?.notificationObserver else { return }
            notificationCenter.removeObserver(observer)
            self?.notificationObserver = nil
        }
    }

    func doSomething() {
        print("We got the notification")
    }

    deinit {
        // 实例销毁时确保移除观察者
        if let observer = notificationObserver {
            NotificationCenter.default.removeObserver(observer)
        }
    }
}

这种方式通过weak self访问实例属性，避免了捕获可变变量的问题，同时增加了deinit清理逻辑，进一步提升了代码的安全性。

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