为什么要创建一个“隐式未包装的可选”vs只创建一个常规变量或常量?
如果您知道它可以成功地展开,那么为什么要首先创建一个可选选项呢?
举个例子,为什么是这样:
let someString: String! = "this is the string"
将比以下更有用:
let someString: String = "this is the string"
如果“可选项表示一个常量或变量允许‘没有值’”,但是“有时从程序的结构中可以清楚地看出,一个可选项在第一次设置值之后总是有一个值”,那么首先使它成为可选项的意义是什么?
如果你知道一个optional总是有一个值,那它不是可选的吗?
Apple在Swift编程语言中给出了一个很好的例子——>自动引用计数——>在类实例之间解决强引用循环——>无主引用和隐式未包装可选属性
class Country {
let name: String
var capitalCity: City! // Apple finally correct this line until 2.0 Prerelease (let -> var)
init(name: String, capitalName: String) {
self.name = name
self.capitalCity = City(name: capitalName, country: self)
}
}
class City {
let name: String
unowned let country: Country
init(name: String, country: Country) {
self.name = name
self.country = country
}
}
City的初始化式是从Country的初始化式中调用的。但是,Country的初始化式不能将self传递给City初始化式,直到一个新的Country实例完全初始化,如两阶段初始化中所述。
为了满足这一要求,您将Country的capitalCity属性声明为隐式展开的可选属性。
我认为Optional是这个结构的一个不好的名字,它会让很多初学者感到困惑。
其他语言(例如Kotlin和c#)使用术语Nullable,这使它更容易理解。
Nullable意味着可以将空值分配给这种类型的变量。如果它是Nullable<SomeClassType>,你可以给它赋空值,如果它只是SomeClassType,你不能。这就是Swift的工作方式。
为什么要使用它们?有时候你需要空值,这就是原因。例如,当您知道希望在类中有一个字段时,但是在创建该类的实例时不能将其分配给任何东西,但稍后会这样做。我就不举例子了,因为人们已经在这里提供了例子。我写这些只是为了表达我的意见。
顺便说一句,我建议你看看这在其他语言中是如何工作的,比如Kotlin和c#。
下面是Kotlin中解释这一特性的链接:
https://kotlinlang.org/docs/reference/null-safety.html
其他语言,如Java和Scala确实有可选选项,但它们的工作方式与Swift中的可选选项不同,因为Java和Scala的类型默认都是可空的。
总而言之,我认为这个功能应该在Swift中被命名为Nullable,而不是Optional…
一行(或几行)简单的示例并不能很好地涵盖可选项的行为——是的,如果你声明一个变量并立即为它提供一个值,那么可选项就没有意义了。
到目前为止我见过的最好的情况是在对象初始化之后发生的设置,然后是“保证”在该设置之后的使用,例如在视图控制器中:
class MyViewController: UIViewController {
var screenSize: CGSize?
override func viewDidLoad {
super.viewDidLoad()
screenSize = view.frame.size
}
@IBAction printSize(sender: UIButton) {
println("Screen size: \(screenSize!)")
}
}
我们知道printSize将在视图加载后被调用——它是一个连接到视图内控件的操作方法,并且我们确保不会以其他方式调用它。因此,我们可以使用!来节省一些可选的检查/绑定。Swift不能识别这个保证(至少在Apple解决停止问题之前),所以你告诉编译器它存在。
不过,这在一定程度上破坏了类型安全。如果你的“保证”并不总是有效,那么任何你拥有隐式展开可选选项的地方都可能导致应用崩溃,所以这是一个需要谨慎使用的功能。此外,使用!总是让人觉得你在大喊大叫,没人喜欢这样。