随手记Swift基础和Optional Type（问号?和感叹号!）

距离Apple推出Swift已经有几天了，网上也时不时出现“急招Swift程序员，要求有一天工作经验”的帖子。

看到Swift，除了苹果放的另外一门语言的链接（http://swift-lang.org/），还可能联想到Taylor Swift，或者铃木雨燕。

这几天网上关于Swift的话题和材料应该迅速膨胀，比如StackOverflow的相关标签，还有知乎上的一些相关讨论。

关于Swift的推出，我个人觉得对现有的使用Objective-C的iOS开发者不算是很大的冲击，毕竟写代码这门功夫，比较注重内功修炼。而对于功能越强大越灵活的语言，有可能高手拉开的距离更大，比如我很久以前转载的一篇如何消除Python列表中的重复元素。

初步看下来，觉得Swift有点像JavaScript，又有点Python的风格，再看还有C++的特性。总的下来，有点“杂糅”或“博采众长”的味道，以下是一些基础代码示例：

为了体现playground的效果，我在这里上传了截图，而不是直接贴代码。说到这个，可见从某种角度来看，大家都在同一起跑线上，毕竟连怎么看日志输出都可以在SO上收获很多reputation，哈哈。

上面的代码我只截取了部分，还有部分如下：

var arr = [0, 1, 2]
for item in arr {
    println(item)
}

var dict = ["k1": "v1", "k2": "v2"]
for item in dict.keys {
    var s = item + dict[item]!
    println(s)
}

我随手写了遍历数组和字典的代码，结果遇到问题了。

注意倒数第三行末尾有个感叹号！如果不加这个感叹号，会报错：

这里提到了“optional type”、“String?”和“not unwrapped”等概念。

在《The Swift Programming Language》的Language Guide - The Basics这一章中，紧跟Tuples小节的就是Optionals小节（之前的A Swift Tour也有掠过）。

根据这一小节开头的两行示例代码，我们可以得知有一种新类型是在既有类型后面加问号？：

这种类型叫做“Optional Type”。参考Swift的类型声明，我们尝试声明Optional类型看看：

var oVar: Optional

编译器会报错：

Playground execution failed: error: <REPL>:46:11: error: reference to generic type 'Optional' requires arguments in <...>
var oVar: Optional
          ^
generic type 'Optional' declared here

根据错误提示，我们可以得知这是个泛型类型，需要指定具体的类型：

var oVar: Optional<Int>

于是我们可以跳进去查看Optional的具体定义：

enum Optional<T> : LogicValue, Reflectable {
    case None
    case Some(T)
    init()
    init(_ some: T)

    /// Allow use in a Boolean context.
    func getLogicValue() -> Bool

    /// Haskell's fmap, which was mis-named
    func map<U>(f: (T) -> U) -> U?
    func getMirror() -> Mirror
}

此时再看剩下的代码：

再结合官方文档的描述，可以得到如下几点结论：

1. Int? 等价于 Optional<Int>，是一种语法糖；
2. 上述 Int? 类型的变量 oVar 表示 oVar 要嘛包含Int类型的数据，要嘛为nil —— 非Optional Type的变量不能赋值为nil；也就是说，Optional类型允许变量没有值，其它类型如果没有初始化值在使用时会报错 —— 比如通过下标访问数组元素时返回Optional类型，越界时可以返回nil；
3. 在声明一个Optional类型变量时如果没有赋初始值，那么默认为nil；
4. Optional类型变量的真实值是被封装起来的，包装在其枚举值Some中，如上{Some 123}；
5. 使用问号？表示封装（可能有值可能没有），使用感叹号！表示拆封取值（强制认为有值，如果没有则会触发运行时错误），有点类似“Has a value?” —— "I assure it has!"；
6. 由于Optional枚举类型遵循LogicValue协议，所以可以作为逻辑判断条件，当有值时为true，不包含值时为false；

在ARC这一章中有一节叫“Unowned References and Implicitly Unwrapped”讨论了一种适用场景，除此之外，Optional Chaining也给了整整一个章节，这里就不继续展开了。

：）