Swift中通过闭包修改结构体的实现是否安全？附MarkupWalker场景

问题描述 #

我有一个包含多个mutating方法的Swift结构体，这些方法的基础逻辑大量重叠。我想写一个能接收闭包（逻辑各不相同）的包装mutating方法，但担心会触发结构体的独占访问错误。

我写了下面的示例代码，它能正常编译运行，但想请教这个实现是否安全：

struct Person {
    var name: String

    mutating func modify(modifier: (inout Self) -> ()) {
        modifier(&self)
    }
}

var p = Person(name: "George")

p.modify() { inoutSelf in
    inoutSelf.name = "Frank"
}

print("\(p.name)")

补充场景：我正在为Apple的swift-markdown实现自定义walker，这个walker继承自MarkupWalker协议，协议包含多个mutating方法。遍历标记树时，我需要让walker的状态变更在进入子节点时生效，示例代码如下：

struct ParagraphWalker: MarkupWalker {
    var fonts: CustomFonts

    mutating func visitMarkedUpElement(_ element: Markup, preDescent: (inout Self) -> (), postDescent: (inout Self) -> ()) {
        preVisit(&self)
        descendInto(element)
        postVisit(&self)
    }

    mutating func visitEmphasis(_ emphasis: Emphasis) -> () {
        visitMarkedUpElement(emphasis, preDescent: { inoutSelf in
            inoutSelf.fonts.body.addFontTrait(.italic)
        }, postDescent: { inoutSelf in
            inoutSelf.fonts.body.removeFontTrait(.italic)
        })
    }
}

回答 #

你的实现是安全的，核心原因如下：

• Swift的独占访问机制会全程维护self的引用安全性：在modify方法中，将&self传入闭包时，闭包会获得结构体实例的可变独占引用，此时外部无法对该实例进行任何访问，直到闭包执行完毕，从根源上避免了数据竞争。
• 你的示例闭包仅对结构体属性做直接修改，没有嵌套调用其他mutating方法或尝试获取self的额外引用，不会触发独占访问冲突。

针对你在MarkupWalker场景下的代码，需要注意两个关键细节：

1. 代码存在笔误：visitMarkedUpElement中的preVisit(&self)和postVisit(&self)应该替换为preDescent(&self)和postDescent(&self)，否则你传入的闭包逻辑根本不会执行，状态变更也就无法生效。
2. 遍历逻辑的合理性：descendInto(element)会触发子节点的visit系列方法（均为mutating），由于当前方法已持有self的可变独占引用，子节点的visit方法会直接操作同一个实例，Swift会保证整个遍历过程中self的独占访问是连续的。你设计的“前置变更状态→遍历子节点→后置恢复状态”的逻辑是正确的，不会出现安全问题。

这种通过闭包封装差异化逻辑、复用基础流程的写法，完全符合Swift的内存安全规则，是结构体mutating方法复用的合理方案。

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