本文轉(zhuǎn)載：Style_月月 http://www.reibang.com/p/7e57947119c8
Optional分析
swift中的可選類型（Optional），用于處理值缺失的情況八毯，有以下兩種情況
有值，且等于x沒有值
這點可以通過swift-source->Optional.swift源碼（CMD+P主之，搜索Optional）源碼來印證
@frozen
public enum Optional<Wrapped>: ExpressibleByNilLiteral {
......
//為nil
case none
......
//有值
case some(Wrapped)
......
}
- 通過源碼可知洪己，
Optional的本質(zhì)是enum，當(dāng)前枚舉接收一個泛型參數(shù)Wrapped，當(dāng)前Some的關(guān)聯(lián)值就是當(dāng)前的Wrapper翘贮，下面兩種寫法完全等價
var age: Int? = 10
等價于
var age1: Optional<Int> = Optional(5)
-
【Optional使用模式匹配】：既然
Optional的本質(zhì)是枚舉，那么也可以使用模式匹配來匹配對應(yīng)的值爆惧，如下所示
//1狸页、聲明一個可選類型的變量
var age: Int? = 10
//2、通過模式匹配來匹配對應(yīng)的值
switch age{
case nil:
print("age 是個空值")
case .some(let val):
print("age的值是\(val)")
}
<!--或者這樣寫-->
switch age{
case nil:
print("age 是個空值")
case .some(10):
print("age的值是10")
default:
print("unKnow")
}
-
【Optional解包】：因為是
Optional類型扯再，當(dāng)我們需要從其中拿到我們想要的值時芍耘，需要對其進行解包，因為當(dāng)前的可選項是對值做了一層包裝的熄阻，有以下兩種方式：-
1斋竞、
強制解包：好處是省事，壞處是一旦解包的值是nil秃殉，那么程序就會崩潰image -
2坝初、通過
可選項綁定：判斷當(dāng)前的可選項是否有值if let：如果有值，則會進入if流程guard let：如果為nil钾军，則會進入else流程
-
//3脖卖、可選項解包
var age: Int? = nil
//3-1、強制解包
//如果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)
可選項綁定總結(jié)
1砸泛、使用
if let創(chuàng)建的內(nèi)容當(dāng)中age僅僅只能在當(dāng)前if分支的大括號內(nèi)訪問2十籍、使用
guard let定義的tmp在當(dāng)前大括號外部也是能訪問的
Equatable協(xié)議
在上面的例子中蛆封，可以通過==判斷兩個可選項是否相等，原因是因為Optinal在底層遵循了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標準庫中的類型
在swift中的類型惨篱，可以通過遵循Equatable協(xié)議來使用相等運算符（==）和不等運算符（!=）來比較兩個值相等還是不相等，Swift標準庫中絕大多數(shù)類型都默認實現(xiàn)了Equatable協(xié)議
例如下面的例子围俘，對于Int類型來說砸讳，系統(tǒng)默認實現(xiàn)了 ==
var age2: Int = 20
var isEqual = age1 == age2
print(isEqual)
<!--打印結(jié)果-->
false
自定義類型
對于自定義的類型，如果想實現(xiàn) ==界牡，應(yīng)該怎么辦呢簿寂？
-
如果像下面這樣寫，是會直接報錯的
image 可以通過
遵循Equatable協(xié)議實現(xiàn)宿亡，如下所示
//2常遂、自定義類型如何實現(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
為什么呢挽荠？其根本原因是因為遵守了Equatable協(xié)議克胳，系統(tǒng)默認幫我們實現(xiàn)了==方法
-
查看
SIL方法，是否如我們猜想的一樣圈匆？經(jīng)過驗證確實與我們猜測結(jié)論是一致的image-
查看
__derived_struct_equals方法的實現(xiàn)image
-
疑問：如果是Class類型呢漠另？
如果像Struct那么寫，會報錯跃赚，提示需要自己實現(xiàn)Equatable協(xié)議的方法
- class中手動實現(xiàn)
Equatable協(xié)議的方法
//3酗钞、如果是class類型呢？需要手動實現(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文件可以驗證這一點：底層是通過調(diào)用Optional的==來判斷
區(qū)分 == vs ===
==相當(dāng)于 equal to嘹锁，用于判斷兩個值是否相等===是用來判斷兩個對象是否是同一個實例對象（即內(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
}
}
//===：判斷兩個對象是否是同一個
var t = CJLTeacher(age: 18, name: "CJL")
var t1 = t
t1.age = 20
print(t == t1)
<!--打印結(jié)果-->
true
除了==葫录，還有!=以及其他的運算符
Comparable協(xié)議
除了Equatable，還有Comparable協(xié)議,其中的運算符有：< 领猾、<=米同、>=、> 摔竿、...面粮、..<、等
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重寫 < 運算符
- 以struct為例继低，遵循
Comparable協(xié)議,重寫 < 運算符
//1熬苍、struct遵守Comparable協(xié)議
struct CJLTeacher: Comparable{
var age: Int
var name: String
//重載 < 符號
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
?? 空運算符
如果當(dāng)前的變量為nil，可以在??返回一個nil時的默認值
- 下面例子的打印結(jié)果是什么？
//?? 空運算符
var age: Int? = nil
//?? 等價于 if le / guard let
print(age ?? 20)
<!--打印結(jié)果-->
20
- 進入
Optional源碼,查看??實現(xiàn)
<!--返回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?-->
@_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呢? -- 會報錯，??要求類型一致（跟是否是可選類型無關(guān)）
image
可選鏈
可選鏈 則意味著 允許在一個鏈上來訪問當(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()
運行結(jié)果如下在塔，因為s為nil，所以屬性和方法都不會往下執(zhí)行
unsafelyUnwrapped（Optional.swift中的）
這個和強制解包的內(nèi)容是一致的虐拓，如下所示
//***************7心俗、unsafelyUnwrapped 和強制解包內(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é)果和強制解包一致傲武，程序會崩潰
-
官方對其的描述如下
image這里的
-O蓉驹，是指target -> Build Setting -> Optimization Level設(shè)置成-O時，如果使用的是age.unsafelyUnwrapped揪利，則不檢查這個變量是否為nil态兴， 1、設(shè)置
Optimization Level為Fastest, Smallest[-Os]-
2疟位、
edit Scheme -> Run -> Info -> Build Configuration改為release模式瞻润，然后再次運行發(fā)現(xiàn)，沒有崩潰甜刻，與官方所說是一致的image
區(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
此時的age3的類型是Double?
-
as!:強制轉(zhuǎn)換為其他類型
var age: Int = 10
//as! 強制轉(zhuǎn)換為其他類型
var age4 = age as! Double
print(age4)
運行結(jié)果如下，會崩潰
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两踏、
強制解包：一旦為nil，程序會崩潰2兜喻、
可選值綁定：if let（只能在if流程的作用域內(nèi)訪問）梦染、guard let
-
Equatable協(xié)議：
對于
swift標準庫中的絕大部分類型都默認實現(xiàn)了Equatable協(xié)議對于自定義
Struct類型，僅需要遵守Equatable協(xié)議對于自定義
class類型朴皆，除了需要遵守Equatable協(xié)議弓坞，還需要自己實現(xiàn)Equatable協(xié)議的方法
-
區(qū)分 == vs ===
==相當(dāng)于 equal to隧甚，用于判斷兩個值是否相等===是用來判斷兩個對象是否是同一個實例對象（即內(nèi)存地址指向是否一致）
-
Comparable協(xié)議：
對于自定義類型，需要遵循
Comparable協(xié)議渡冻，并重寫運算符??空運算符：??只有兩種類型戚扳，一種是T，一種是T?族吻，主要是與 ?? 后面的返回值有關(guān)（即簡單來說帽借，就是??后是什么類型，??返回的就是什么類型）
可選鏈：允許在一個鏈上來訪問當(dāng)前的屬性/方法超歌，如果
為nil砍艾，則不會執(zhí)行?后的屬性/方法unsafelyUnwrapped：與強制解包類似，但是如果項目中設(shè)置target -> Build Setting -> Optimization Level設(shè)置成-O時巍举，如果使用的是age.unsafelyUnwrapped脆荷，則不檢查這個變量是否為nil-
區(qū)分 as、as?懊悯、 as!
as將類型轉(zhuǎn)換為其他類型as?將類型轉(zhuǎn)換為其他可選類型as!強制轉(zhuǎn)換為其他類型使用建議：能確定使用
as!蜓谋，不能確定使用as?
