函数在 Swift 中是值类型还是引用类型？为什么？

Question

考虑这个函数：

func addTwoInts(_ a: Int, _ b: Int) -> Int {
    return a + b
}

这里我将这个函数分配给另一个变量

var mathFunction: (Int, Int) -> Int = addTwoInts

这里addTwoInts是值类型还是引用类型？为什么？

Answer 1

闭包和函数都是引用类型。这在 Swift 语言文档中有说明：Closures

Answer 2

我会说函数类型最适合the definition of a reference type：

引用类型在分配给变量或常量或传递给函数时不会被复制。使用对相同现有实例的引用而不是副本。

但是我不认为这是一个特别有用的区别，IMO 也可以将函数作为值类型的论点（如technically speaking they consist of a pointer and a reference，当函数值传递时两者都被复制）大约）。

更有用的区别是函数具有引用语义，这意味着可以观察实例之间的某种共享状态。这与引用类型不同——值类型可能具有引用语义，而引用类型可能具有值语义。

例如，这是一个具有引用语义的值类型：

var foo = 0
struct S {
  var bar: Int {
    get { return foo }
    nonmutating set { foo = newValue }
  }
}

let s = S()
let s1 = s
s.bar += 1
print(s.bar)  // 1
print(s1.bar) // 1

s 和 s1 共享全局状态，这可以通过改变它来观察。

这是一个具有值语义的引用类型：

final class C {
  let foo = 0
}

let c = C()
let c1 = c
print(c.foo)  // 0
print(c1.foo) // 0

虽然c 和c1 共享状态，但这不是直接可观察的，因为共享状态是不可变的。

那么，为什么函数有引用语义呢？因为它们可以包含捕获的变量，这是可以观察到的共享可变状态。

例如：

func makeFn() -> () -> Int {
  var foo = 0
  return {
    foo += 1
    return foo
  }
}

let fn = makeFn()
let fn1 = fn
print(fn())  // 1
print(fn1()) // 2

Answer 3

闭包和函数都是引用类型

Apple 说：每当您将函数或闭包分配给常量或变量时，实际上是将该常量或变量设置为对函数或闭包的引用。

在下面的示例中，incrementByTen 所指的闭包选择是常量，而不是闭包的内容。

让我们试试看这个例子：

首先我将创建一个以整数为参数的函数，返回一个名为makeIncrementer的函数

func makeIncrementer(forIncrement amount: Int) -> () -> Int {
    var runningTotal = 0
    func incrementer() -> Int {
        runningTotal += amount
        return runningTotal
    }
    
    return incrementer
}

现在 incrementByTen 将引用这个函数的结果。换句话说，引用一个闭包

let incrementByTen = makeIncrementer(forIncrement: 10)

incrementByTen()
// returns a value of 10

到目前为止一切顺利。如果我再次调用 incrementByTen() 会怎样？ 结果将是 10 还是 20 ？ 是的，你明白了：）它会是 20。因为 闭包和函数都是引用类型，正如我在开头所说的那样。

incrementByTen()
// returns a value of 20
incrementByTen()
// returns a value of 30 with same approach as i explained.