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

时间:2015-08-13 11:57:16

标签: swift memory stack heap

我对Swift的一个小实验:

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

x是一种值类型。

我的问题是:

  • 确切存储x的位置(就堆栈/堆而言)?
  • 这样存储x的缺陷是什么? (我已经阅读了关于堆栈和堆的很多的论据,我出乎意料地想要了解更多它们!)
  • 这样安全吗?
  • x何时会被销毁(如果有的话)?

1 个答案:

答案 0 :(得分:14)

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

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

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

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

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

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

在上面的代码中,当gettersetter将被取消分配时,x(作为store函数中定义的变量)也将不复存在。< / p>

回答你的问题:

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