我的变量存储在哪里？(迅速)

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修饰符使参数变得可变 - 重要的是要考虑的是参数的副本是可变的:除了初始副本之外,传递给函数的参数与函数体接收的参数没有关系.也就是说,通过var修饰符使参数可变使其可更改,但其生命周期以函数体结束,并且不会影响传递给函数的原始参数.

还有另一个选项,即inout修饰符,它的作用类似于var,但是当函数返回时,该值被复制回传入的变量中.

值得一提的是,到目前为止,我只是隐含地考虑了价值类型.如果将引用类型(类或闭包)的实例传递给函数,作为var参数,通过该参数进行的任何更改实际上都是对传递给函数的实例进行的(这是值和引用类型之间最重要的区别) .x变量指向的实例与传递给函数的参数的生命周期相同.

所有这一切,在你的情况下,它的工作方式略有不同.你正在返回一个闭包(好吧,它们是2,但这不会改变结论),并且闭包捕获x,x只要闭包被赋予的变量在范围内,它就会保持活着:

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

在上面的代码中,当getter和setter将被释放时,x(作为store函数中定义的变量)也将不复存在.

回答你的问题:

1. x是store调用函数时创建的变量.由于您明确提到了值类型,因此x应该在堆栈上进行分配(而不是堆,应该用于引用类型)
2. 陷阱是当2个返回值(它们是引用类型,即闭包引用类型)被释放时它被释放
3. 它可能在一些利基案件中有用,但一般我会远离它 - 请注意这是我自己的看法
4. 已经在上面描述过(当函数返回值被释放时)