swift详解之九---------------自动引用计数、循环引用(这个必须理解,必须看)

前端之家收集整理的这篇文章主要介绍了swift详解之九---------------自动引用计数、循环引用(这个必须理解,必须看)前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。

自动引用计数、循环引用(这个必须理解,必须看)

注:本文详细介绍自动引用计数,以及各种循环引用问题。一网打尽!


1、 自动引用计数原理

Swift 使用ARC机制来跟踪和管理你的内存,一般情况下,Swift 的内存管理机制会一直起着作用,你无须自己来考虑内存的管理。ARC 会在类的实例不再被使用时,自动释放其占用的内存。

然而,在少数情况下,ARC 为了能帮助你管理内存,需要更多的关于你的代码之间关系的信息。本章描述了这些情况,并且为你示范怎样启用 ARC 来管理你的应用程序的内存。

为了确保在使用中的实例不会被销毁 , ARC会跟踪和计算每一个实例正在被多少属性、常量或者变量所使用,直到引用计数为 0 ,ARC就会销毁这个实例

所以,无论你将实例赋值给属性、变量或者常量的时候,他们都回创建此实例的强引用 ,会将实例保持住(引用计数+1) 只要强引用还在,实例是不允许销毁的 。
下面来看一个例子就能轻松理解啦!

class Student{

    var name:String
    init(name:String){
        self.name = name;
        print("\(name) 实例被创建了 ")
    }

    deinit{
        print("\(self.name) 实例被销毁啦!!!")
    }

}

var st1:Student?
var st2:Student?
var st3:Student?

//这里是一个强引用
st1 = Student(name:"张三") //张三 实例被创建了
st2 = st1
st3 = st1
//现在Student有三个强引用了 
st1=nil;
st2=nil
//将这两个释放 ,这时候还有一个强引用 
st3 = nil //张三 实例被销毁啦!!!
//这时候所有的强引用都释放 , 则释放这个实例

这里注释写的很清楚 , 只有当所有的强引用释放掉 ,ARC才会释放这个实例

我们有时候会写出循环强引用的代码 。 如果两个实例互相持有对方的强引用 ,所以每个实例都会让对方一直存在着,一直不会被销毁 ,这就是所谓的循环强引用 。

2 、类实例之间的循环强引用

这时候你可以定义类之间的关系为弱引用或者无主引用,以替代强引用。从而解决循环强引用的问题 。

下面我们先来了解一下他是怎么产生的 :

class Animal {
    var name:String
    var food:Food?

    init(name:String){
        self.name = name
    }

    deinit{
        print("Animal 被销毁啦")
    }
}


class Food {
    var name:String
    var animal:Animal?

    init(name:String){
        self.name = name
    }
    deinit{
        print("Food 被销毁啦 ")
    }
}

这里在Animal类中引用了Food 在Food中引用了Animal ,都是强引用

var dog:Animal? = Animal(name: "dog")
var dogFood:Food? = Food(name: "meat")

dog!.food = dogFood
dogFood!.animal=dog
dog = nil
dogFood = nil

然而并不会调用析构函数 ,循环引用会一直阻止这两个实例被销毁 应用程序造成了内存泄露

Swift提供了两种办法来解决这个问题 弱引用 和 无主引用 对于生命周期中会变成nil的实例 使用弱引用 ,对于初始化赋值后。再也不会被赋值为nil的实例使用无主引用。

a 、弱引用

class Animal1 {
    var name:String
    var food:Food1?

    init(name:String){
        self.name = name
    }

    deinit{
        print("Animal1 被销毁啦")
    }
}


class Food1 {
    var name:String
    weak var animal:Animal1?

    init(name:String){
        self.name = name
    }
    deinit{
        print("Food1 被销毁啦 ")
    }
}

var dog1:Animal1? = Animal1(name: "dog")
var dogFood1:Food1? = Food1(name: "meat")

dog1!.food = dogFood1
dogFood1!.animal=dog1

dogFood1 = nil
dog1 = nil

//Animal1 被销毁啦
//Food1 被销毁啦
//哈哈 两个都可以被销毁啦

b 、无主引用
无主引用也不会牢牢保持住引用的实例 , 和弱引用不同 ,无主引用永远是有值得 。无主引用总是被定义位非可选类型 。你可以在声明的时候在前面加上关键字 unowend 来表示这是个无主引用
ARC无法在实例销毁的时候将它设置位nil 因为非可选的变量永远不能被赋值为nil ,但是在实例销毁后也是无法用这个实例去访问无主引用的, 如果你强制访问 会报运行时错误

class Customer {
    var name:String

    var card:Card?
    init(name:String){
        self.name = name
    }
    deinit{
        print("Customer 被销毁")
    }
}
class Card {
    var name:String
    unowned var customer:Customer    //一个卡肯定要对应一个顾客
    init(name:String,cus:Customer){
        self.name = name
        self.customer = cus
    }
    deinit{
        print("Card 被销毁")
    }
}


var customer:Customer? = Customer(name: "张三")
var card:Card? = Card(name: "招商银行金卡",cus: customer!)

customer!.card = card
customer = nil
card = nil
//Customer 被销毁
//Card 被销毁
//card!.customer //fatal error: unexpectedly found nil while unwrapping an Optional value

这个也被顺利的销毁 ,当销毁后再取访问的时候就不能访问了

前面两种解决循环引用的场景 ,第一种是两个都允许为nil,第二个是有一个不允许为nil,但是如果两个属性都不允许位nil ,初始化完成后永远不能为nil ,这时候就需要一个类使用无主 , 另一个使用隐式解析可选属性
c、隐式解析可选属性

class Country{
    var name:String
    var city:City!
    init(name:String,cityName:String){
        self.name = name
        self.city = City(name: cityName,country: self)
    }

    deinit{
        print("Country 被销毁啦 ")
    }
}


class City{

    var name:String
    unowned var country:Country

    init(name:String,country:Country){
        self.name = name
        self.country=country
    }
    deinit{
        print("City 被销毁啦")
    }
}
var country:Country? = Country(name: "China",cityName: "ShangHai")
//这一条语句创建了两个实例

var city = country!.city
print(city.country.name) //China 

city = nil
country!.city = nil //City 被销毁啦
country = nil //Country 被销毁啦

这里注释都写的很清楚,代码很简单 ,就不再赘述

3、闭包引起的循环强引用

循环强引用还会发生在你将一个闭包赋值给一个类的属性 , 闭包中又使用了这个类的实例 ,其实 这跟之前的是一样的 ,因为闭包也是引用类型的 , 你把一个引用类型赋值给一个属性 ,然后在这个引用类型中使用这个实例 ,两个强引用一直有效.
使用闭包捕获列表可以解决这个问题

下面看看 这个问题是怎么产生的 .

class Book{
    var name:String
    //这里定义为lazy才可以使用self 。在构造器第一阶段还不能使用self
    lazy var oldName:Void -> String = {
        return "old\(self.name)"
    }

    init(name:String){
        self.name = name
    }
    deinit{
        print("Book 被销毁了")
    }

}

var book:Book? = Book(name: "Swift书")
print(book!.oldName()) //oldSwift书
//oldName是一个闭包
book = nil

这时候并没有打印出析构方法的句子。明显产生了循环引用

解决办法 :
定义捕获列表:捕获列表中的每一项都由一对元素组成 ,一个是weak 或者 unowned ,另一个是类的实例或者初始化变量

class Book1{
    var name:String
    //这里定义为lazy才可以使用self 。在构造器第一阶段还不能使用self
    lazy var oldName:Void -> String = {
        [unowned self] in
        return "old\(self.name)"
    }

    init(name:String){
        self.name = name
    }
    deinit{
        print("Book 被销毁了")
    }

}

var book1:Book1? = Book1(name: "Swift书")
print(book1!.oldName()) //oldSwift书
//oldName是一个闭包
book1 = nil  //Book 被销毁了

这时会就被顺利销毁了

看下语法 :

@lazy var someClosure: (Int,String) -> String = {
    [unowned self] (index: Int,stringToProcess: String) -> String in
    // closure body goes here
}

@lazy var someClosure: () -> String = {
    [unowned self] in
    // closure body goes here
}

按照上述两种语法就可以了。

当闭包和捕获的实例总是互相引用时并且总是同时销毁时,将闭包内的捕获定义为无主引用。

相反的,当捕获引用有时可能会是nil时,将闭包内的捕获定义为弱引用。弱引用总是可选类型,并且当引用的实例被销毁后,弱引用的值会自动置为nil。这使我们可以在闭包内检查它们是否存在

猜你在找的Swift相关文章