Swift中不使用引用类型如何在didSet内为函数使用@escaping？

这个报错是Swift对值类型的内存安全限制：

• 结构体是值类型，属性的didSet观察者属于修改实例的mutating上下文
• 未标记@escaping的闭包是非逃逸闭包，生命周期不会超过当前函数调用周期，编译器可以保证闭包执行时self的可变状态始终有效，因此允许直接在闭包内修改self的属性
• 标记@escaping后，闭包可能被存储、延迟到当前作用域销毁后才执行，而值类型采用拷贝语义，闭包如果捕获可变self，后续执行时持有的只是self的独立副本，修改无法同步到原实例，会出现数据不一致问题，因此编译器直接抛出错误禁止这种写法。

方案1：局部副本回写（适合同步执行的逃逸闭包） #

如果你给闭包加@escaping只是为了满足API标记要求，闭包实际是在testFunc调用的同步流程内执行（比如你给出的testFunc实现，没有异步存储、延迟调用闭包的逻辑），可以手动创建当前实例的可变局部副本，让闭包捕获这个局部变量，等闭包执行完成后再把修改后的副本赋值回原实例：

struct TestType {

    var string: String {
        didSet(oldValue) {
            guard oldValue != string else { return }
            var mutableCopy = self
            testFunc(string: string, result: { resultValue in
                mutableCopy.value = resultValue
            })
            self = mutableCopy
        }
    }
    
   private(set) var value: String
 
}

func testFunc(string: String, result: @escaping (String) -> Void) {
    result(string + " updated!")
}

注意：该方案仅在闭包同步执行时有效。如果testFunc会将闭包暂存、异步延迟调用，闭包里修改的只是当前作用域下的局部副本，等闭包真正执行时，原实例可能已经发生变化，赋值回写的逻辑会完全失效。

方案2：结果向外传递（适配真正异步的逃逸场景） #

如果@escaping闭包确实需要异步执行，值类型的语义本身就不支持跨异步上下文直接修改原实例——跨作用域拿到的self永远是独立拷贝，修改不会同步到原实例。这种场景不要尝试在闭包内捕获self修改属性，应该把回调结果抛给持有该结构体的上层上下文，由上层拿到最新的实例后手动赋值更新。
举个调整后的逻辑示例：

struct TestType {
    var string: String
    private(set) var value: String
    
    mutating func updateString(newString: String) {
        guard newString != string else { return }
        string = newString
        testFunc(string: newString) { [currentString = string] resultValue in
            // 异步回调中不要尝试直接修改self，将结果通过回调等方式抛给上层持有者
            print("字符串\(currentString)处理完成，结果：\(resultValue)，请上层持有方更新对应实例的value属性")
        }
    }
}

func testFunc(string: String, result: @escaping (String) -> Void) {
    DispatchQueue.main.asyncAfter(deadline: .now() + 1) {
        result(string + " updated!")
    }
}

这种处理方式符合值类型的设计语义，没有强制绕过编译器的安全检查，也不需要引入任何引用类型。

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