标记@MainActor的含async函数协议未在主线程执行的原因探究

这是预期行为，背后和Swift中Actor隔离规则、异步协议要求的实现逻辑直接相关：

核心原因拆解 #

当你用@MainActor标记协议时，协议的所有要求默认会被隐式标记为@MainActor，但存在一个关键例外：如果协议要求的是async函数，而你用同步函数去实现它时，这个同步实现会被编译器自动推断为nonisolated。

之所以有这个规则，是因为Swift允许用同步函数满足异步的协议要求（编译器会自动把同步函数包装成返回Void的异步函数），但为了让这个同步函数能在任意Actor上下文被调用（毕竟异步协议要求的函数可以被任何Task通过await执行），编译器必须把这个同步实现标记为nonisolated——否则它会被绑定到特定Actor，无法满足协议的通用性要求。

回到你的示例代码：

@MainActor
protocol MyMainActorProtocol {
    func doStuff() async
}

struct MyMainActorStruct: MyMainActorProtocol {
    nonisolated init() {}
    // 该函数被隐式推断为nonisolated
    func doStuff()  {
        print(">>> \(Thread.isMainThread)")
    }
}

当你在后台Task中执行await dependency.doStuff()时，因为实现的doStuff()是nonisolated属性，编译器包装后的异步函数会直接在当前后台线程执行，不会触发MainActor的上下文切换。

两种调整生效的原因 #

调整1：协议要求同步函数

@MainActor
protocol MyMainActorProtocol {
    func doStuff()
}

struct MyMainActorStruct: MyMainActorProtocol {
    nonisolated init() {}
    func doStuff()  {
        print(">>> \(Thread.isMainThread)")
    }
}

此时协议的同步要求被@MainActor标记，实现的doStuff()会自动继承协议的@MainActor隔离属性。当你调用它时，编译器会自动安排在MainActor线程上执行，因此打印结果为true。

调整2：实现时显式声明async

@MainActor
protocol MyMainActorProtocol {
    func doStuff() async
}

struct MyMainActorStruct: MyMainActorProtocol {
    nonisolated init() {}
    func doStuff() async  {
        print(">>> \(Thread.isMainThread)")
    }
}

此时实现的async函数会继承协议的@MainActor隔离标记，当你await这个函数时，编译器会自动切换到MainActor上下文执行，因此打印结果为true。

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