Swift编程语言指南中有如下示例:
class Person {
let name: String
init(name: String) { self.name = name }
var apartment: Apartment?
deinit { println("\(name) is being deinitialized") }
}
class Apartment {
let number: Int
init(number: Int) { self.number = number }
var tenant: Person?
deinit { println("Apartment #\(number) is being deinitialized") }
}
var john: Person?
var number73: Apartment?
john = Person(name: "John Appleseed")
number73 = Apartment(number: 73)
//From Apple's “The Swift Programming Language” guide (https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/AutomaticReferenceCounting.html)
然后，在给这个人分配公寓时，他们使用感叹号来“打开实例”:
john!.apartment = number73
“展开实例”是什么意思?为什么有必要?它与仅仅做以下事情有什么不同:
john.apartment = number73
我对Swift语言很不熟悉。我只是想把基本的东西记下来。
更新:
我遗漏了一个很大的谜团(答案中没有直接说明——至少在写这篇文章的时候没有)，那就是当你做以下事情的时候:
var john: Person?
这并不意味着“约翰是人的类型，它可能是nil”，因为我最初的想法。我只是误解了《人与人》是完全不同的类型。一旦我明白了，所有其他的?，!疯狂，以及下面这些精彩的回答，让我觉得更有道理。
“展开实例”是什么意思?为什么有必要?
据我所知(这对我来说也很陌生)……
术语“包装”意味着我们应该把一个可选变量想象成一个礼物，包裹在闪亮的纸里，可能是空的(很遗憾!)。
当“包装”时，可选变量的值是一个包含两个可能值的enum(有点像布尔值)。这个枚举描述了变量是否包含一个值(Some(T))，或者是否包含一个值(None)。
如果有值，则可以通过“展开”变量来获得(从Some(T)中获取T)。
约翰好吗?73号公寓和约翰不一样。公寓= 73号?(转述)
如果你写一个可选变量的名字(例如文本john，不带!)，这指的是“包装”enum (Some/None)，而不是值本身(T)。所以john不是Person的实例，它没有公寓成员:
john.apartment
// 'Person?' does not have a member named 'apartment'
实际的Person值可以通过多种方式展开:
“强制拆包”:约翰!(如果Person值存在，则给出Person值，如果为nil则出现运行时错误)
"optional binding": if let p = John {println(p)}(如果值存在则执行println)
"optional chaining": john?.learnAboutSwift()(如果值存在，则执行这个创建的方法)
我猜你会选择其中一种展开方式，这取决于在nil情况下会发生什么，以及它的可能性有多大。这种语言设计强制显式地处理nil情况，我认为这比Obj-C提高了安全性(在Obj-C中很容易忘记处理nil情况)。
更新:
感叹号也用于声明“隐式未包装的可选选项”的语法中。
在到目前为止的例子中，john变量被声明为var john:Person?，它是可选的。如果需要该变量的实际值，则必须使用上述三种方法之一展开它。
如果它被声明为var john:Person!相反，该变量将是一个隐式未包装的可选变量(参见Apple book中带有此标题的部分)。在访问值时不需要展开这类变量，并且可以在不使用其他语法的情况下使用john。但苹果的书说:
当变量有可能在稍后变为nil时，不应该使用隐式打开的可选选项。如果您需要在变量的生命周期内检查nil值，请始终使用正常的可选类型。
更新2:
Mike Ash的文章“有趣的Swift特性”为可选类型提供了一些动力。我觉得写得很好，很清楚。
更新3:
Another useful article about the implicitly unwrapped optional use for the exclamation mark: "Swift and the Last Mile" by Chris Adamson. The article explains that this is a pragmatic measure by Apple used to declare the types used by their Objective-C frameworks which might contain nil. Declaring a type as optional (using ?) or implicitly unwrapped (using !) is "a tradeoff between safety and convenience". In the examples given in the article, Apple have chosen to declare the types as implicitly unwrapped, making the calling code more convenient, but less safe.
也许Apple会在未来梳理他们的框架，删除隐式展开参数(“可能永远不会为nil”)的不确定性，并将它们替换为可选的(“当然可能是nil，特别是[希望有文档!)或标准的非可选(“永不为空”)声明，这取决于它们的Objective-C代码的确切行为。
