本文主要分析Optional源碼雌隅、Equatable+Comparable協(xié)議
Optional分析
swift中的可選類(lèi)型（Optional）光稼，用于處理值缺失的情況芯咧，有以下兩種情況
有值，且等于x沒(méi)有值
這點(diǎn)可以通過(guò)swift-source->Optional.swift源碼（CMD+P，搜索Optional）源碼來(lái)印證
@frozen
public enum Optional<Wrapped>: ExpressibleByNilLiteral {
......
//為nil
case none
......
//有值
case some(Wrapped)
......
}
- 通過(guò)源碼可知水孩，
Optional的本質(zhì)是enum，當(dāng)前枚舉接收一個(gè)泛型參數(shù)Wrapped琐驴，當(dāng)前Some的關(guān)聯(lián)值就是當(dāng)前的Wrapper俘种，下面兩種寫(xiě)法完全等價(jià)
var age: Int? = 10
等價(jià)于
var age1: Optional<Int> = Optional(5)
-
【Optional使用模式匹配】：既然
Optional的本質(zhì)是枚舉，那么也可以使用模式匹配來(lái)匹配對(duì)應(yīng)的值绝淡，如下所示
//1宙刘、聲明一個(gè)可選類(lèi)型的變量
var age: Int? = 10
//2、通過(guò)模式匹配來(lái)匹配對(duì)應(yīng)的值
switch age{
case nil:
print("age 是個(gè)空值")
case .some(let val):
print("age的值是\(val)")
}
<!--或者這樣寫(xiě)-->
switch age{
case nil:
print("age 是個(gè)空值")
case .some(10):
print("age的值是10")
default:
print("unKnow")
}
-
【Optional解包】：因?yàn)槭?code>Optional類(lèi)型牢酵，當(dāng)我們需要從其中拿到我們想要的值時(shí)悬包，需要對(duì)其進(jìn)行
解包，因?yàn)楫?dāng)前的可選項(xiàng)是對(duì)值做了一層包裝的馍乙，有以下兩種方式：-
1布近、
強(qiáng)制解包：好處是省事垫释，壞處是一旦解包的值是nil，那么程序就會(huì)崩潰 -
2撑瞧、通過(guò)
可選項(xiàng)綁定：判斷當(dāng)前的可選項(xiàng)是否有值if let：如果有值棵譬，則會(huì)進(jìn)入if流程guard let：如果為nil，則會(huì)進(jìn)入else流程
-
//3预伺、可選項(xiàng)解包
var age: Int? = nil
//3-1茫船、強(qiáng)制解包
//如果age為nil，則程序崩潰
print(age!)
//3-2扭屁、可選值綁定
<!--方式一-->
if let age = age{
//如果age不為nil，則打印
print(age)
}
<!--方式二-->
guard let tmp = age else {
print("age為nil")
return
}
print(tmp)
可選項(xiàng)綁定總結(jié)
1涩禀、使用
if let創(chuàng)建的內(nèi)容當(dāng)中age僅僅只能在當(dāng)前if分支的大括號(hào)內(nèi)訪問(wèn)2料滥、使用
guard let定義的tmp在當(dāng)前大括號(hào)外部也是能訪問(wèn)的
Equatable協(xié)議
在上面的例子中，可以通過(guò)==判斷兩個(gè)可選項(xiàng)是否相等艾船，原因是因?yàn)镺ptinal在底層遵循了Equatable協(xié)議
var age: Int? = 10
var age1: Optional<Int> = Optional(5)
age == age1
- 繼續(xù)回到
Optional源碼中葵腹，可以看到Optional遵循了Equatable協(xié)議
extension Optional: Equatable where Wrapped: Equatable {
......
@inlinable
public static func ==(lhs: Wrapped?, rhs: Wrapped?) -> Bool {
switch (lhs, rhs) {
case let (l?, r?):
return l == r
case (nil, nil):
return true
default:
return false
}
}
}
swift標(biāo)準(zhǔn)庫(kù)中的類(lèi)型
在swift中的類(lèi)型，可以通過(guò)遵循Equatable協(xié)議來(lái)使用相等運(yùn)算符（==）和不等運(yùn)算符（!=）來(lái)比較兩個(gè)值相等還是不相等屿岂，Swift標(biāo)準(zhǔn)庫(kù)中絕大多數(shù)類(lèi)型都默認(rèn)實(shí)現(xiàn)了Equatable協(xié)議
例如下面的例子践宴，對(duì)于Int類(lèi)型來(lái)說(shuō)，系統(tǒng)默認(rèn)實(shí)現(xiàn)了 ==
var age2: Int = 20
var isEqual = age1 == age2
print(isEqual)
<!--打印結(jié)果-->
false
自定義類(lèi)型
對(duì)于自定義的類(lèi)型爷怀，如果想實(shí)現(xiàn) ==阻肩，應(yīng)該怎么辦呢？
-
如果像下面這樣寫(xiě)运授，是會(huì)直接報(bào)錯(cuò)的
可以通過(guò)
遵循Equatable協(xié)議實(shí)現(xiàn)烤惊，如下所示
//2、自定義類(lèi)型如何實(shí)現(xiàn)Equatable協(xié)議
struct CJLTeacher: Equatable{
var age: Int
var name: String
}
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = CJLTeacher(age: 19, name: "CJL")
print(t == t1)
<!--打印結(jié)果-->
false
//如果將t1中的age改成18吁朦，打印結(jié)果是什么
true
為什么呢柒室？其根本原因是因?yàn)樽袷亓?code>Equatable協(xié)議，系統(tǒng)默認(rèn)幫我們實(shí)現(xiàn)了==方法
-
查看
SIL方法逗宜，是否如我們猜想的一樣雄右？經(jīng)過(guò)驗(yàn)證確實(shí)與我們猜測(cè)結(jié)論是一致的
查看__derived_struct_equals方法的實(shí)現(xiàn)
疑問(wèn)：如果是Class類(lèi)型呢？
如果像Struct那么寫(xiě)纺讲，會(huì)報(bào)錯(cuò)擂仍，提示需要自己實(shí)現(xiàn)Equatable協(xié)議的方法
class中手動(dòng)實(shí)現(xiàn)
Equatable協(xié)議的方法
//3、如果是class類(lèi)型呢刻诊？需要手動(dòng)實(shí)現(xiàn)Equatable協(xié)議的方法
class CJLTeacher: Equatable{
var age: Int
var name: String
init(age: Int, name: String) {
self.age = age
self.name = name
}
static func == (lhs: CJLTeacher, rhs: CJLTeacher) -> Bool {
return lhs.age == rhs.age && lhs.name == rhs.name
}
}
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = CJLTeacher(age: 19, name: "CJL")
print(t == t1)
- 如果class中的age和name都是
Optional呢防楷？
//4、如果class中的屬性都是可選類(lèi)型呢则涯？底層是調(diào)用Optional的==來(lái)判斷
class CJLTeacher: Equatable{
var age: Int?
var name: String?
init(age: Int, name: String) {
self.age = age
self.name = name
}
static func == (lhs: CJLTeacher, rhs: CJLTeacher) -> Bool {
return lhs.age == rhs.age && lhs.name == rhs.name
}
}
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = CJLTeacher(age: 19, name: "CJL")
print(t == t1)
查看其SIL文件可以驗(yàn)證這一點(diǎn)：底層是通過(guò)調(diào)用Optional的==來(lái)判斷
區(qū)分 == vs ===
==相當(dāng)于 equal to复局，用于判斷兩個(gè)值是否相等===是用來(lái)判斷兩個(gè)對(duì)象是否是同一個(gè)實(shí)例對(duì)象（即內(nèi)存地址指向是否一致）
class CJLTeacher: Equatable{
var age: Int?
var name: String?
init(age: Int, name: String) {
self.age = age
self.name = name
}
static func == (lhs: CJLTeacher, rhs: CJLTeacher) -> Bool {
return lhs.age == rhs.age && lhs.name == rhs.name
}
}
//===：判斷兩個(gè)對(duì)象是否是同一個(gè)
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = t
t1.age = 20
print(t == t1)
<!--打印結(jié)果-->
true
除了==冲簿，還有!=以及其他的運(yùn)算符
Comparable協(xié)議
除了Equatable，還有Comparable協(xié)議,其中的運(yùn)算符有：< 亿昏、<=峦剔、>=、> 角钩、...吝沫、..<、等
public protocol Comparable : Equatable {
static func < (lhs: Self, rhs: Self) -> Bool
static func <= (lhs: Self, rhs: Self) -> Bool
static func >= (lhs: Self, rhs: Self) -> Bool
static func > (lhs: Self, rhs: Self) -> Bool
}
extension Comparable {
public static func ... (minimum: Self, maximum: Self) -> ClosedRange<Self>
......
}
Struct重寫(xiě) < 運(yùn)算符
- 以struct為例递礼，遵循
Comparable協(xié)議,重寫(xiě) < 運(yùn)算符
//1惨险、struct遵守Comparable協(xié)議
struct CJLTeacher: Comparable{
var age: Int
var name: String
//重載 < 符號(hào)
static func < (lhs: CJLTeacher, rhs: CJLTeacher) -> Bool {
return lhs.age < rhs.age
}
}
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = CJLTeacher(age: 19, name: "CJL")
print(t < t1)
<!--打印結(jié)果-->
true
?? 空運(yùn)算符
如果當(dāng)前的變量為nil，可以在??返回一個(gè)nil時(shí)的默認(rèn)值
- 下面例子的打印結(jié)果是什么脊髓？
//?? 空運(yùn)算符
var age: Int? = nil
//?? 等價(jià)于 if le / guard let
print(age ?? 20)
<!--打印結(jié)果-->
20
- 進(jìn)入
Optional源碼,查看??實(shí)現(xiàn)
<!--返回T-->
@_transparent//空運(yùn)算符
public func ?? <T>(optional: T?, defaultValue: @autoclosure () throws -> T)
rethrows -> T {
switch optional {
case .some(let value):
return value
case .none:
return try defaultValue()
}
}
<!--返回T?-->
@_transparent
public func ?? <T>(optional: T?, defaultValue: @autoclosure () throws -> T?)
rethrows -> T? {
switch optional {
case .some(let value):
return value
case .none:
return try defaultValue()
}
}
從源碼中分析辫愉，??只有兩種類(lèi)型，一種是T将硝，一種是與恭朗，主要是與 ?? 后面的返回值有關(guān)（即簡(jiǎn)單來(lái)說(shuō)，就是??后是什么類(lèi)型依疼，??返回的就是什么類(lèi)型）,如下所示
-
??后面是age1痰腮，而age1的類(lèi)型是Int?，所以t的類(lèi)型是
Int???是Int?
如果??是30呢? -- 類(lèi)型是Int
- ??是30
-
如果??是String呢? -- 會(huì)報(bào)錯(cuò)律罢，??要求類(lèi)型一致（跟是否是可選類(lèi)型無(wú)關(guān)）
??是String
可選鏈
可選鏈 則意味著 允許在一個(gè)鏈上來(lái)訪問(wèn)當(dāng)前的屬性/方法,如下所示
//***************6膀值、可選鏈***************
class CJLTeacher{
var name: String?
var subject: CJLSubject?
}
class CJLSubject {
var subjectName: String?
func test(){print("test")}
}
var s = CJLSubject()
var t = CJLTeacher()
//可選鏈訪問(wèn)屬性
if let tmp = t.subject?.subjectName{
print("tmp不為nil")
}else{
print("tmp為nil")
}
//可選鏈訪問(wèn)方法
t.subject?.test()
運(yùn)行結(jié)果如下，因?yàn)閟為nil误辑，所以屬性和方法都不會(huì)往下執(zhí)行
unsafelyUnwrapped（Optional.swift中的）
這個(gè)和強(qiáng)制解包的內(nèi)容是一致的虫腋，如下所示
//***************7、unsafelyUnwrapped 和強(qiáng)制解包內(nèi)容是一致的
var age: Int? = 30
print(age!)
print(age.unsafelyUnwrapped)
<!--打印結(jié)果-->
30
30
//***************如果age是nil
var age: Int? = 30
print(age!)
print(age.unsafelyUnwrapped)
age是nil的結(jié)果和強(qiáng)制解包一致稀余，程序會(huì)崩潰
官方對(duì)其的描述如下
-
這里的
-O悦冀，是指target -> Build Setting -> Optimization Level設(shè)置成-O時(shí)，如果使用的是age.unsafelyUnwrapped睛琳，則不檢查這個(gè)變量是否為nil盒蟆，* 1、設(shè)置Optimization Level為Fastest, Smallest[-Os]- 2师骗、
edit Scheme -> Run -> Info -> Build Configuration改為release模式历等，然后再次運(yùn)行發(fā)現(xiàn)，沒(méi)有崩潰辟癌，與官方所說(shuō)是一致的
- 2师骗、
區(qū)分as寒屯、 as? 和 as!
-
as將類(lèi)型轉(zhuǎn)換為其他類(lèi)型
var age: Int = 10
var age1 = age as Any
print(age1)
var age2 = age as AnyObject
print(age2)
<!--打印結(jié)果-->
10
10
-
as?將類(lèi)型轉(zhuǎn)換為其他可選類(lèi)型
var age: Int = 10
//as?
//as? 不確定類(lèi)型是Double，試著轉(zhuǎn)換下，如果轉(zhuǎn)換失敗寡夹，則返回nil
var age3 = age as? Double
print(age3)
<!--打印結(jié)果-->
nil
此時(shí)的age3的類(lèi)型是Double?
as!:強(qiáng)制轉(zhuǎn)換為其他類(lèi)型
var age: Int = 10
//as! 強(qiáng)制轉(zhuǎn)換為其他類(lèi)型
var age4 = age as! Double
print(age4)
運(yùn)行結(jié)果如下处面，會(huì)崩潰
SIL分析
查看以下代碼的SIL文件
var age: Int = 10
var age3 = age as? Double
var age4 = age as! Double
常規(guī)使用：如果可以明確類(lèi)型，則可以直接使用as!
//常規(guī)使用
var age: Any = 10
func test(_ age: Any) -> Int{
return (age as! Int) + 1
}
print(test(age))
<!--打印結(jié)果-->
11
使用建議
如果
能確定的類(lèi)型菩掏，使用as!即可如果是
不能確定的魂角，使用as?即可
總結(jié)
Optional的本質(zhì)是enum，所以可以使用模式匹配來(lái)匹配Optional的值-
Optional的
解包方式有兩種：1智绸、
強(qiáng)制解包：一旦為nil野揪，程序會(huì)崩潰2、
可選值綁定：if let（只能在if流程的作用域內(nèi)訪問(wèn)）瞧栗、guard let
-
Equatable協(xié)議：
對(duì)于
swift標(biāo)準(zhǔn)庫(kù)中的絕大部分類(lèi)型都默認(rèn)實(shí)現(xiàn)了Equatable協(xié)議對(duì)于自定義
Struct類(lèi)型斯稳，僅需要遵守Equatable協(xié)議對(duì)于自定義
class類(lèi)型，除了需要遵守Equatable協(xié)議迹恐，還需要自己實(shí)現(xiàn)Equatable協(xié)議的方法
-
區(qū)分 == vs ===
==相當(dāng)于 equal to平挑，用于判斷兩個(gè)值是否相等===是用來(lái)判斷兩個(gè)對(duì)象是否是同一個(gè)實(shí)例對(duì)象（即內(nèi)存地址指向是否一致）
-
Comparable協(xié)議：
對(duì)于自定義類(lèi)型，需要遵循
Comparable協(xié)議系草，并重寫(xiě)運(yùn)算符??空運(yùn)算符：??只有兩種類(lèi)型，一種是T唆涝，一種是T?，主要是與 ?? 后面的返回值有關(guān)（即簡(jiǎn)單來(lái)說(shuō)，就是??后是什么類(lèi)型驯妄，??返回的就是什么類(lèi)型）
可選鏈：允許在一個(gè)鏈上來(lái)訪問(wèn)當(dāng)前的屬性/方法帆竹，如果
為nil，則不會(huì)執(zhí)行?后的屬性/方法unsafelyUnwrapped：與強(qiáng)制解包類(lèi)似亡驰，但是如果項(xiàng)目中設(shè)置target -> Build Setting -> Optimization Level設(shè)置成-O時(shí)晓猛，如果使用的是age.unsafelyUnwrapped，則不檢查這個(gè)變量是否為nil-
區(qū)分 as凡辱、as?戒职、 as!
as將類(lèi)型轉(zhuǎn)換為其他類(lèi)型as?將類(lèi)型轉(zhuǎn)換為其他可選類(lèi)型as!強(qiáng)制轉(zhuǎn)換為其他類(lèi)型使用建議：能確定使用
as!，不能確定使用as?
