swift - 内存管理

值类型与引用类型

值类型的生命周期仅取决于它的作用域。因此对于值类型不需要考虑内存管理的问题

引用类型（类、函数、closure）的内存管理：
- 大多数由ARC完成
- 没有garbage collerctor

下方中关于内存管理的讨论仅适用于引用类型

举例1

---------       ---------       ---------|object1|       |object3|       |object4|---------       ---------       ---------    |               |               .    |强             |强             .弱    |引             |引             .引    |用             |用             .用    |               |               .    V               V               V-----------------------------------------|               object2(RC = 2)         |-----------------------------------------

RC是对对象强引用的计数
当object1或者object3不存在时，RC会自动减少
当RC = 0时，object2会自动释放
object4是否存在对RC没有影响，但当object2不存在时，object4对object2的引用自动变为nil

举例2

---------  强引用   ---------  强引用   ---------|object1| --------> |object2| --------> |object3|---------           ---------           ---------                        RC=1                RC=1

当object1不存在时，object2和object3都会被释放掉

举例3

                        RC=2                RC=1---------  强引用   ---------  强引用   ---------|object1| --------> |object2| --------> |object3|---------           ---------           ---------                        ^                   |                        |-------------------|                            强返向引用

反向引用通常是由于回调函数的使用
当object1不存在时，剩下object2和object3互相引用
它们的空间无法使用（不可达）也无法释放（RC=1），于是造成了内存泄漏

    RC=2                RC=1---------  强引用   ---------|object2| --------> |object3|---------           ---------    ^                   |    |-------------------|        强返向引用

因此反向引用必须是weak

举例3

~~~swift

|object1|

||

V

|object2 |

|var lastName = “Spook” |
|lazy var greet : ()->() = { |
| print(“Hello (self.lastName)” |

|} |

~~~
这段代码的问题是自引用
对于closure这样的引用类型，赋值相当于设置引用
也就是说，object2的greet : ()->()指向{print("Hello \(self.lastName)"}
而closure中的self.lastname又指向了object2中的lastName

~~~

|object1|

||

V

|object2（RC=2） |

|var lastName = “Spook” | <–

lazy var greet : ()->()

V |

|{ |
| print(“Hello (self.lastName)” |

|} |

~~~
解决方案：
使用强引用变为unknown引用

lazy var greet : ()->() ={ [unknown self] in    print("Hello \(self.lastName)"|} 

Capture List

上文中的[unknown self]就是Capture List
如果把self定义为weak，那么必须把self当作是optional的，使用类型let if的语句对使用if
如果把self定义为unknown，那么self不会成为强引用，且能保证self不为空