通過源碼我們來分析一下Optional、Equatable+Comparable協(xié)議
Optional分析
swift中的可選類型（Optional）旷档，用于處理值缺失的情況，有以下兩種情況
有值，且等于x沒有值
這點(diǎn)可以通過swift-source->Optional.swift源碼（CMD+P兄渺，搜索Optional）源碼來印證
@frozen
public enum Optional<Wrapped>: ExpressibleByNilLiteral {
......
//為nil
case none
......
//有值
case some(Wrapped)
......
}
- 通過源碼可知，
Optional的本質(zhì)是enum汰现，當(dāng)前枚舉接收一個(gè)泛型參數(shù)Wrapped挂谍，當(dāng)前Some的關(guān)聯(lián)值就是當(dāng)前的Wrapper，下面兩種寫法完全等價(jià)
var age: Int? = 10
等價(jià)于
var age1: Optional<Int> = Optional(5)
-
【Optional使用模式匹配】：既然
Optional的本質(zhì)是枚舉瞎饲，那么也可以使用模式匹配來匹配對(duì)應(yīng)的值口叙，如下所示
//1、聲明一個(gè)可選類型的變量
var age: Int? = 10
//2嗅战、通過模式匹配來匹配對(duì)應(yīng)的值
switch age{
case nil:
print("age 是個(gè)空值")
case .some(let val):
print("age的值是\(val)")
}
<!--或者這樣寫-->
switch age{
case nil:
print("age 是個(gè)空值")
case .some(10):
print("age的值是10")
default:
print("unKnow")
}
-
【Optional解包】：因?yàn)槭?code>Optional類型妄田，當(dāng)我們需要從其中拿到我們想要的值時(shí)，需要對(duì)其進(jìn)行
解包驮捍，因?yàn)楫?dāng)前的可選項(xiàng)是對(duì)值做了一層包裝的疟呐，有以下兩種方式：-
1、
強(qiáng)制解包：好處是省事东且，壞處是一旦解包的值是nil启具，那么程序就會(huì)崩潰image -
2、通過
可選項(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)訪問2、使用
guard let定義的tmp在當(dāng)前大括號(hào)外部也是能訪問的
Equatable協(xié)議
在上面的例子中，可以通過==判斷兩個(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)庫中的類型
在swift中的類型，可以通過遵循Equatable協(xié)議來使用相等運(yùn)算符（==）和不等運(yùn)算符（!=）來比較兩個(gè)值相等還是不相等钧汹，Swift標(biāo)準(zhǔn)庫中絕大多數(shù)類型都默認(rèn)實(shí)現(xiàn)了Equatable協(xié)議
例如下面的例子丈探，對(duì)于Int類型來說，系統(tǒng)默認(rèn)實(shí)現(xiàn)了 ==
var age2: Int = 20
var isEqual = age1 == age2
print(isEqual)
<!--打印結(jié)果-->
false
自定義類型
對(duì)于自定義的類型拔莱，如果想實(shí)現(xiàn) ==碗降，應(yīng)該怎么辦呢？
-
如果像下面這樣寫塘秦，是會(huì)直接報(bào)錯(cuò)的
image 可以通過
遵循Equatable協(xié)議實(shí)現(xiàn)讼渊，如下所示
//2、自定義類型如何實(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)過驗(yàn)證確實(shí)與我們猜測結(jié)論是一致的image-
查看
__derived_struct_equals方法的實(shí)現(xiàn)image
-
疑問：如果是Class類型呢？
如果像Struct那么寫京痢，會(huì)報(bào)錯(cuò)奶甘，提示需要自己實(shí)現(xiàn)Equatable協(xié)議的方法
- class中手動(dòng)實(shí)現(xiàn)
Equatable協(xié)議的方法
//3、如果是class類型呢祭椰？需要手動(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中的屬性都是可選類型呢吭产？底層是調(diào)用Optional的==來判斷
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)：底層是通過調(diào)用Optional的==來判斷
區(qū)分 == vs ===
==相當(dāng)于 equal to侣监，用于判斷兩個(gè)值是否相等===是用來判斷兩個(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重寫 < 運(yùn)算符
- 以struct為例钱慢，遵循
Comparable協(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()
}
}
從源碼中分析懒棉，??只有兩種類型，一種是T览绿，一種是與策严，主要是與 ?? 后面的返回值有關(guān)（即簡單來說，就是??后是什么類型饿敲，??返回的就是什么類型）,如下所示
-
??后面是age1妻导，而age1的類型是Int?，所以t的類型是
Int?image -
如果??是30呢? -- 類型是
Intimage 如果??是String呢? -- 會(huì)報(bào)錯(cuò)怀各，??要求類型一致（跟是否是可選類型無關(guān)）
可選鏈
可選鏈 則意味著 允許在一個(gè)鏈上來訪問當(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()
//可選鏈訪問屬性
if let tmp = t.subject?.subjectName{
print("tmp不為nil")
}else{
print("tmp為nil")
}
//可選鏈訪問方法
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ì)其的描述如下
image這里的
-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)普监，沒有崩潰贵试，與官方所說是一致的[圖片上傳失敗...(image-3041bb-1617697894901)]
區(qū)分as、 as? 和 as!
-
as將類型轉(zhuǎn)換為其他類型
var age: Int = 10
var age1 = age as Any
print(age1)
var age2 = age as AnyObject
print(age2)
<!--打印結(jié)果-->
10
10
-
as?將類型轉(zhuǎn)換為其他可選類型
var age: Int = 10
//as?
//as? 不確定類型是Double凯正，試著轉(zhuǎn)換下毙玻，如果轉(zhuǎn)換失敗，則返回nil
var age3 = age as? Double
print(age3)
<!--打印結(jié)果-->
nil
此時(shí)的age3的類型是Double?
-
as!:強(qiáng)制轉(zhuǎn)換為其他類型
var age: Int = 10
//as! 強(qiáng)制轉(zhuǎn)換為其他類型
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ī)使用：如果可以明確類型桑滩，則可以直接使用as!
//常規(guī)使用
var age: Any = 10
func test(_ age: Any) -> Int{
return (age as! Int) + 1
}
print(test(age))
<!--打印結(jié)果-->
11
使用建議
如果
能確定的類型，使用as!即可如果是
不能確定的允睹，使用as?即可
總結(jié)
Optional的本質(zhì)是enum运准，所以可以使用模式匹配來匹配Optional的值-
Optional的
解包方式有兩種：1、
強(qiáng)制解包：一旦為nil缭受，程序會(huì)崩潰2胁澳、
可選值綁定：if let（只能在if流程的作用域內(nèi)訪問）、guard let
-
Equatable協(xié)議：
對(duì)于
swift標(biāo)準(zhǔn)庫中的絕大部分類型都默認(rèn)實(shí)現(xiàn)了Equatable協(xié)議對(duì)于自定義
Struct類型米者，僅需要遵守Equatable協(xié)議對(duì)于自定義
class類型韭畸，除了需要遵守Equatable協(xié)議宇智，還需要自己實(shí)現(xiàn)Equatable協(xié)議的方法
-
區(qū)分 == vs ===
==相當(dāng)于 equal to，用于判斷兩個(gè)值是否相等===是用來判斷兩個(gè)對(duì)象是否是同一個(gè)實(shí)例對(duì)象（即內(nèi)存地址指向是否一致）
-
Comparable協(xié)議：
對(duì)于自定義類型胰丁，需要遵循
Comparable協(xié)議随橘，并重寫運(yùn)算符??空運(yùn)算符：??只有兩種類型，一種是T隘马，一種是T?太防，主要是與 ?? 后面的返回值有關(guān)（即簡單來說，就是??后是什么類型酸员，??返回的就是什么類型）
可選鏈：允許在一個(gè)鏈上來訪問當(dāng)前的屬性/方法蜒车，如果
為nil，則不會(huì)執(zhí)行?后的屬性/方法unsafelyUnwrapped：與強(qiáng)制解包類似幔嗦，但是如果項(xiàng)目中設(shè)置target -> Build Setting -> Optimization Level設(shè)置成-O時(shí)酿愧，如果使用的是age.unsafelyUnwrapped，則不檢查這個(gè)變量是否為nil-
區(qū)分 as邀泉、as?嬉挡、 as!
as將類型轉(zhuǎn)換為其他類型as?將類型轉(zhuǎn)換為其他可選類型as!強(qiáng)制轉(zhuǎn)換為其他類型使用建議：能確定使用
as!，不能確定使用as?
