我的变量存储在哪里？ （迅速）

Question

我对 Swift 的小实验之一：

func store<T>(var x: T) -> (getter: (Void -> T), setter: (T -> Void)) {
    return ({ x }, { x = $0 })
}

x 是一个值类型。

我的问题是：

• x 究竟存储在哪里（就堆栈/堆而言）？
• 这样存储x有什么陷阱？
• 这样安全吗？
• x 何时会被销毁（如果有的话）？

Answer 1

参数通过值传递给函数和方法——这意味着在函数体中创建和使用参数的副本。

函数和方法接收的参数是不可变的，这意味着它们的值不能改变。但是 var 修饰符使参数可变 - 需要注意的重要一点是参数的 copy 是可变的：传递给函数的参数与函数接收的参数没有关系正文，除了初始副本。也就是说，通过var 修饰符使参数可变，使其可变，但其生命周期以函数体结束，不会影响传递给函数的原始参数。

还有另一个选项，inout 修饰符，它的工作方式与var 类似，但是当函数返回时，值会被复制回传入的变量中。

值得一提的是，到目前为止，我已经隐含地只考虑了值类型。如果将引用类型（类或闭包）的实例作为var 参数传递给函数，则通过该参数所做的任何更改实际上都会对传递给函数的实例进行（这是 value 和引用类型）。 x 变量指向的实例与传递给函数的参数具有相同的生命周期。

综上所述，在您的情况下，它的工作方式略有不同。您正在返回一个闭包（好的，它们是 2，但这不会改变结论），并且闭包会捕获 x，这会导致 x 在闭包分配给的变量期间保持活动状态在范围内：

let x = 5
let (getter, setter) = store(x)

在上面的代码中，当getter和setter被释放时，x（作为store函数中定义的变量）也将不复存在。

回答您的问题：

1. x 是在调用 store 函数时创建的变量。由于您明确提到了值类型，因此应该在堆栈上分配 x（而不是在堆上，它应该用于引用类型）
2. 陷阱在于，当 2 个返回值（引用类型，闭包引用类型）被释放时，它被释放
3. 它在某些特殊情况下可能有用，但通常我会远离它 - 请注意，这是我自己的观点
4. 上面已经描述过了（当函数返回值被释放时）