我对Swift的一个小实验:
func store<T>(var x: T) -> (getter: (Void -> T), setter: (T -> Void))
{
return ({ x }, { x = $0 })
}
x
是一种值类型。
我的问题是:
x
的位置(就堆栈/堆而言)?x
的缺陷是什么? (我已经阅读了关于堆栈和堆的很多的论据,我出乎意料地想要了解更多它们!)x
何时会被销毁(如果有的话)?答案 0 :(得分:14)
参数按值传递给函数和方法 - 这意味着在函数体中创建并使用参数的副本。
函数和方法接收的参数是不可变的,这意味着它们的值不能更改。但是var
修饰符使参数变为可变 - 重要的是要考虑的是参数的 copy 是可变的:传递给函数的参数与接收的参数没有关系。功能体,除了初始副本。也就是说,通过var
修饰符使参数可变,使其可更改,但其生命周期以函数体结束,不会影响传递给函数的原始参数。
还有另一个选项inout
修饰符,其作用类似于var
,但是当函数返回时,该值将被复制回传入的变量中。
值得一提的是,到目前为止,我只是隐含地考虑了价值类型。如果将引用类型(类或闭包)的实例传递给函数,作为var
参数,通过该参数进行的任何更改实际上都是对传递给函数的实例进行的(这是最重要的区别价值和参考类型)。 x
变量指向的实例与传递给函数的参数的生命周期相同。
所有这一切,在你的情况下,它的工作方式略有不同。你正在返回一个闭包(好吧,它们是2,但这不会改变结论),闭包捕获x
,这导致x
保持活着,只要变量为分配的闭包在范围内:
let x = 5
let (getter, setter) = store(x)
在上面的代码中,当getter
和setter
将被取消分配时,x
(作为store
函数中定义的变量)也将不复存在。< / p>
回答你的问题:
x
是在调用store
函数时创建的变量。由于您明确提到了值类型,因此应在堆栈上分配x
(而不是堆,应该用于引用类型)