本文所有英文为本人自己翻译,英语学习中,错误之处,敬请指出,万分感谢!
先看看开发文档的解释吧
Optional
Generic Enumeration (普通枚举)
Developer Documentation中的解释
A type that represents either a wrapped value or nil, the absence of a value.
(自己翻译的)翻译过来是: 是在一个解包值或nil中二选其一的缺省值
定义:
enum Optional<Wrapped> : [ExpressibleByNilLiteral]
书写上有两种书写方法
let shortForm: Int? = Int("42")
let longForm: Optional<Int> = Int("42")
其中概述中有句话是说
The Optional type is an enumeration with two cases.
Optional.none is equivalent to the nil literal.
Optional.some(Wrapped) stores a wrapped value.
意思是可选值是一个两个case的枚举值,一个Optional.none,是相当于字面值nil,一个是Optional.some(解包的值)存储一个解包后的值
我不知道自己的翻译和真正的意思差多少,这是我个人的理解
在网上查资料后整理如下
-
首先说明为何要有Optional
按照swift 4The Swift Programming Language (Swift 4)第一章 The Basic中的Note中的说法是:
大概意思是:
可选值的概念其实在C和OC中是不存在的.和optional值最相近的地方是OC中一个方法可以返回一个nil或者是一个对象的能力,返回nil意味着"空对象的缺省值",然而,这仅仅适用于"对象",不适用于结构体,和C的基本类型,包括枚举值类型在内,也是不适用的.针对这些类型.OC专门的方法返回一个特定的值(例如NSNotFound)来表明为缺省值.这个方法是假定该方法的调用者是知道有一个特殊值要测试，并记住检查它。swift的Optionals 适用于所有类型,而不需要一个专门的常量.
按照网友的说法,
Swift是一种对类型有严格要求的类型，一个函数或方法不能返回两种类型的值，必须是一个明确的类型
一个Optional值和非Optional值的区别就在于：Optional值未经初始化虽然为nil，但普通变量连nil都没有!
//未被初始化，但是是一个Optional类型，为nil
var str: String?
str //输出nil
//未被初始化，也不是Optional类型
var str2: String
str2 //使用时出错
而Optional这样设计的特点就和它的名字一样：可以有值，也可以没有值，当它没有值时，就是nil。所以有了这个值,以后所有的值就可以保证有没有值都行,也保证了类型安全
然后看一下定义
enum Optional<T> : Reflectable, NilLiteralConvertible {
case None
case Some(T)
init()
init(_ some: T)
/// Haskell's fmap, which was mis-named
func map<U>(f: (T) -> U) -> U?
func getMirror() -> MirrorType
static func convertFromNilLiteral() -> T?
}
当Optional没有值时，返回的nil其实就是Optional.None，即没有值。除了None以外，还有一个Some，当有值时就是被Some<T>包装的真正的值，所以我们拆包的动作其实就是将Some里面的值取出来。
而鄙人理解是:
一个编程语言的严谨性需求,使得这个对于"空值处理"这个长久探究的问题,swift无疑是想要将它更完美的定义和使用
理论上,程序员的脑子都会想如何让自己的代码从设计性和可用性到欣赏性上都完美么?或者说更完美吧!
一个空值玩出新花样,不仅能凸显这个语言的特(bī)性(gé),同时又能提高安全性和实用性,简直是perfect!
(若有不足,望大神补充)
-
其次是Optional的拆包
显式拆包
Optional类型的值不能被直接使用，当需要用时要显式拆包，以表明我知道这个Optional是一定有值的：
之所以要拆包也是因为Optional类型是枚举类型的特性
隐式拆包
这个是相对于显示拆包的另一种可选值的用法,通过在声明时的数据类型后面加一个感叹号(!)来实现:
var str: String! = "Hello World!"
str //Hello World!
?
其实这里我一直有个问号,为什么前辈们包括我看到的翻译书中都将!这个可选类型翻译为隐式拆包?按照这里的解释为,unconditional Unwrapping,也就是无条件解包,或者理解为强制解包,我个人觉得这个翻译更为合适一点,也就是说按照这个解释的话,? 就可以解释为可选解包🤣🤣
不知道是不是怎么理解都行呢?
我知道有人会拿出这个解释告诉我
implicitly unwrapped optionals
but! implicitly这个词的解释有一下三种:
implicitly | BrE ɪmˈplɪsɪtli, AmE ɪmˈplɪsətli |
adverb
①(by implication)含蓄地 hánxù de
to be implicitly against [something];
含蓄地反对某事
②(completely)绝对地 juéduì de
to trust [somebody]/[something] implicitly;
完全相信某人/某事
我就很难受,为啥会有这种怪物单词存在呢?🤔
回到重点
也是来自书中的两段解释
从文中不难看出,使用(!)系统自动认为是有值的!而且还告诉我们,使用这个可选值类型的时候要确定这个可选值包含一个非空的值,才能强制解包它的值,!不然会发生运行时错误!
在我们使用Optional值前，这个Optional值就会被初始化，并且总是会有值，所以当我们使用时，编译器就帮我做了一次解包。如果你确信你的变量能保证被正确初始化，那就可以这么做，否则还是不要尝试为好。
-
接下来是Optional Binding
大概意思为:
意思是使用Optional binding 去查找一个可选值是否有值,如果有,去创建一个临时变量或常量使之为有效值,可选绑定可以用if ...while语句参数去检查一个值在可选值中,并从中这个常量或者变量中取出.
使用格式:
if let
contantName=someOptional{
statements
}
我在把count强转成String的时候被要求拆包了，这是因为count本身是一个Optional的类型，为了避免在条件判断语句后执行一次或更多次的拆包，Swift引进了Optional Binding，我们就可以这样做：
举个🌰:
var count: Int?
count = 100
if let validCount = count {
"count is " + String(validCount) //count is 100
} else {
"nil"
}
通过在条件判断语句中（如if、while等）把Optional值直接给一个临时常量，Swift会自动检测Optional是否包含值，如果包含值，会强制拆包并给那个临时常量，在接下来的上下文中就能直接使用这个临时常量了!这样做就保证了可选值(?类型的可选值)的安全使用!
注：
在Optional Binding中，除了以常量的方式去接收拆包的值之外，也能以一个变量的形式去接收，但相信在大多数情况下我们只是使用那个值就行了，并不会去改变它。
-
最后是Optional Chaining
同样先看书中定义
大概意思是:
可选链是对一个属性、方法、下标在可能存在nil值的询问和调用的过程.如果可选值中有值,这个属性、方法或下标将成功调用,如果值为空,调用将返回nil,多次的询问将形成一个链,而这个链将保证这个链中任意地方存在nil时,优雅的失败.
而可选链作为 (!)强制解包的一个替代品
网友解释:
Optional Chaining对Swift来说是很基本但又必不可少的东西，相对于简单类型(Int、String等)来说，Optional更主要的应用场景是在复杂对象上，当一个对象包含另一个对象，同时这两个对象都有可能为nil的情况下才是Optional派上用场的地方，在Objective-C里，向nil发消息得到的就是一个nil，但是Swift不能在nil上直接调用方法或属性，同时为了方便我们使用，从而引入了Optional类型
当一个Optional值调用它的另一个Optional值的时候，Optional Chaining就形成了，基本上，Optional Chaining就是总是返回一个Optional的值，只要这个Chaining中有一个值为nil，整条Chaining就为nil，和Objective-C的向nil发消息类似。
使用Optional Chaining，能使我们的代码变得更加可读，同时更加简洁。
写在后面
致谢
本文参考博客:
简书:幸运的小强本人
Swift中为何要有Optional类型
CSDN:Bannings
Swift 可选值(Optional Values)介绍
由于写本文时,本人还并没有足够的开发经验,不足之处望批评指正!
我的理想是-----------共同进步!
