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

--------- |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不为空