为什么要创建一个“隐式未包装的可选”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属性声明为隐式展开的可选属性。

其他回答

隐式可选项的基本原理很容易解释,首先看一下强制展开的基本原理。

强制展开可选对象(隐式或非隐式),使用!操作符,意味着您确定您的代码没有错误,并且可选选项已经在它被打开的地方有一个值。没有!运算符,你可能只需要断言一个可选的绑定:

 if let value = optionalWhichTotallyHasAValue {
     println("\(value)")
 } else {
     assert(false)
 }

哪个不如

println("\(value!)")

现在,隐式可选项允许您表示拥有一个可选项,您希望在所有可能的流中,该可选项在展开时始终具有一个值。因此,它只是进一步帮助您-通过放松编写!每次打开,并确保运行时仍然会出错,以防您对流的假设是错误的。

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属性声明为隐式展开的可选属性。

考虑一个对象在构造和配置时可能具有nil属性,但在构造和配置后是不可变的且非nil的情况(NSImage通常是这样处理的,尽管在这种情况下,有时改变仍然是有用的)。隐式地打开可选选项可以很好地清理代码,而且安全性损失相对较低(只要有一个保证,它就是安全的)。

(编辑)需要明确的是:常规的可选选项几乎总是更可取的。

我认为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…

隐式解包装可选(IUO)

它是Optional的一种语法糖,不会强制程序员打开变量。它可以用于在两阶段初始化过程中不能初始化的变量,并暗示非nil。这个变量本身表现为非nil,但实际上是一个可选变量。一个很好的例子是- Interface Builder的outlet

可选的通常更可取

var implicitlyUnwrappedOptional: String! //<- Implicitly Unwrapped Optional
var nonNil: String = ""
var optional: String?

func foo() {
    //get a value
    nonNil.count
    optional?.count
    
    //Danderour - makes a force unwrapping which can throw a runtime error
    implicitlyUnwrappedOptional.count
    
    //assign to nil
//        nonNil = nil //Compile error - 'nil' cannot be assigned to type 'String'
    optional = nil
    implicitlyUnwrappedOptional = nil
}