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”，因为我最初的想法。我只是误解了《人与人》是完全不同的类型。一旦我明白了，所有其他的?，!疯狂，以及下面这些精彩的回答，让我觉得更有道理。
问问你自己
这种类型的人吗?有公寓会员/房产?或
这种类型的人有公寓成员/房产吗?
如果你不能回答这个问题，那么继续阅读:
要理解，你可能需要对泛型有超基础的理解。在这里看到的。Swift中的很多东西都是用泛型编写的。可选的包括
下面的代码可以从斯坦福大学的视频中获得。强烈推荐你看前5分钟
“Optional”为enum，只有2个大小写
enum Optional<T>{
case None
case Some(T)
}
let x: String? = nil //actually means:
let x = Optional<String>.None
let x :String? = "hello" //actually means:
let x = Optional<String>.Some("hello")
var y = x! // actually means:
switch x {
case .Some(let value): y = value
case .None: // Raise an exception
}
可选的绑定:
let x:String? = something
if let y = x {
// do something with y
}
//Actually means:
switch x{
case .Some(let y): print)(y) // or whatever else you like using
case .None: break
}
当你说var的时候john: Person?你的意思是:
enum Optional<Person>{
case .None
case .Some(Person)
}
上面的枚举是否有名为apartment的属性?你看到它了吗?根本就不在那儿!然而，如果你打开它ie做人!然后你就可以……它在引擎盖下面做的是:Optional<Person>。一些(人(名字:“John Appleseed”))
你是否定义了var john: Person而不是:var john: Person?那么你就不再需要了!使用，因为Person本身有一个apartment的成员
作为以后讨论为什么使用!打开包装有时不建议看这个问答
在objective C中，没有值的变量等于“nil”(也可以使用与0和false相同的“nil”值)，因此可以在条件语句中使用变量(有值的变量与“TRUE”相同，而那些没有值的变量等于“false”)。
Swift通过提供“可选值”来提供类型安全。即，它可以防止因分配不同类型的变量而形成错误。
所以在Swift中，只有条件语句可以提供布尔值。
var hw = "Hello World"
这里，虽然'hw'是一个字符串，但它不能像objective - C那样在if语句中使用。
//This is an error
if hw
{..}
为此，它需要被创建为，
var nhw : String? = "Hello World"
//This is correct
if nhw
{..}
“展开实例”是什么意思?为什么有必要?
据我所知(这对我来说也很陌生)……
术语“包装”意味着我们应该把一个可选变量想象成一个礼物，包裹在闪亮的纸里，可能是空的(很遗憾!)。
当“包装”时，可选变量的值是一个包含两个可能值的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代码的确切行为。
