距离Apple推出Swift已经有几天了，网上也时不时出现“急招Swift程序猿，要求有一天工作经验”的帖子。
看到Swift，除了苹果放的另外一门语言的链接（http://swift-lang.org/），还可能联想到Taylor Swift。或者铃木雨燕。
这几天网上关于Swift的话题和材料应该迅速膨胀，比方*的相关标签，还有知乎上的一些相关讨论。
关于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也有掠过）。
依据这一小节开头的两行演示样例代码。我们能够得知有一种新类型是在既有类型后面加问号？：
watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvamFzb25ibG9n/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast" alt="" />
这样的类型叫做“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
}
此时再看剩下的代码：
再结合官方文档的描写叙述，能够得到例如以下几点结论：
- Int? 等价于 Optional<Int>，是一种语法糖；
- 上述 Int? 类型的变量 oVar 表示 oVar 要嘛包括Int类型的数据，要嘛为nil —— 非Optional Type的变量不能赋值为nil。也就是说。Optional类型同意变量没有值，其他类型假设没有初始化值在使用时会报错 —— 比方通过下标訪问数组元素时返回Optional类型，越界时能够返回nil；
- 在声明一个Optional类型变量时假设没有赋初始值，那么默觉得nil；
- Optional类型变量的真实值是被封装起来的，包装在其枚举值Some中，如上{Some 123}；
- 使用问号？表示封装（可能有值可能没有）。使用感叹号。表示拆封取值（强制觉得有值，假设没有则会触发执行时错误）。有点相似“Has a value?
” —— "I assure it has!"；
- 因为Optional枚举类型遵循LogicValue协议。所以能够作为逻辑推断条件，当有值时为true，不包括值时为false；
在ARC这一章中有一节叫“Unowned References and Implicitly Unwrapped”讨论了一种适用场景。除此之外，Optional Chaining也给了整整一个章节，这里就不继续展开了。
：）