为何Swift结构体的mutating方法无法作为函数参数传递？

错误示例代码 #

struct A {
    var data: Int
    mutating func setData(value: Int) -> Void {
        data = value
    }
}

func setA(a: inout A, setter: (inout A) -> (Int) -> Void) {
    setter(&a)(10)
}

var a = A(data: 0)
setA(a: &a, setter: A.setData)

编译时会触发错误：error: cannot reference 'mutating' method as function value

疑问 #

有Stack Overflow评论指出该错误是为了防止结构体的共享可变状态，但这里并未将方法绑定到实例，且传入的是实际可变（inout）的A实例，为何仍会触发该错误？

可正常运行的修正版本 #

func setA(a: inout A, setter: (inout A, Int) -> Void) {
    setter(&a, 10)
}

var a = A(data: 0)
setA(a: &a, setter: {(a: inout A, i: Int) in a.setData(value: i)})

原因解析 #

Swift对mutating方法的函数引用有严格限制，核心原因在于结构体是值类型：mutating方法本质是接收inout self参数并返回修改后的结构体。当直接引用A.setData作为函数值时，Swift类型系统无法确保后续调用该函数值时，传入的inout A参数不会被不当共享——哪怕你的代码逻辑不会这么做，编译器也会从语言设计层面阻断这种潜在风险。

具体来说，未绑定的A.setData实际签名更接近(inout A, Int) -> Void，但你试图将它赋值给(inout A) -> (Int) -> Void类型的参数，这种柯里化形式会让编译器无法追踪inout参数的生命周期：柯里化后的函数可能持有inout引用，导致值的意外复制或共享可变状态，这违背了Swift值类型的设计原则。

而用lambda包裹的方式，相当于显式把mutating方法的调用封装成普通双参数函数，编译器能明确追踪inout A参数的使用范围，确保它只在当前调用上下文被修改，不会产生逃逸或共享风险，因此可以正常编译。

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