func store<T>(var x: T) -> (getter: (Void -> T),setter: (T -> Void))
{
return ({ x },{ x = $0 })
}
x是值类型.
我的问题是：
>哪里正在存储x(以堆/堆为单位)？
>存储x这样的陷阱是什么？ (我已经阅读了很多关于堆栈和堆的争论,而且令我惊讶的是想要再听到他们的话)
这是安全吗？
什么时候x会被破坏(如果有的话)？
解决方法
由函数和方法接收的参数是不可变的,这意味着它们的值不能被改变.然而,var修饰符使参数变得可变 – 重要的是要保证参数的副本是可变的：传递给函数的参数与函数体接收到的参数没有任何关系,除了初始副本.也就是说,通过var修饰符使参数变为可变,使其可变,但其生命周期以函数体结尾,不影响传递给函数的原始参数.
还有另一个选项,inout修饰符,它的作用类似于var,但是当函数返回的值被复制回传入的变量.
值得一提的是,到目前为止,我仅隐含地考虑了价值类型.如果引用类型(类或闭包)的实例作为var参数传递给函数,则通过该参数进行的任何更改实际上都会传递给函数(这是值和引用类型之间最显着的区别) ). x变量指向的实例具有传递给函数的参数的生命周期.
所有这一切,在你的情况下,它的工作方式略有不同.你正在返回一个闭包(好的,它们是2,但是不会改变结论),并且闭包捕获x,这导致x被保持活着,只要分配关闭的变量在范围内：
let x = 5 let (getter,setter) = store(x)
在上面的代码中,当getter和setter被释放时,x(作为在store函数中定义的变量)也将不复存在.
回答你的问题：
> x是调用存储函数时创建的变量.既然你明确提到了值类型,那么x应该被分配给堆栈(而不是堆,它应该用于引用类型)>这个陷阱是当2个返回值(它们是引用类型,作为闭包引用类型)被释放时被释放>它可能在一些利基的情况下有用,但通常我会远离它 – 注意这是我自己的意见>如上所述(当函数返回值被释放时)