使用Swift(1)

swiftapple, osx, cocoa
Page content

序言

Apple新推出的Swift编程语言无疑会成为最近码农研究的热点，现在官方有一本官方Guide，这本书已经有国内的开发者开始翻译了（#该来的总会来的#）。

当然只看完Swift的语法还不足以进行Cocoa应用开发，用郭总的话说，语言并不会带来新的起跑线，要想开发优秀的Cocoa应用还是需要对Cocoa这个框架的深入理解。这就跟用RubyMotion仍然要学习Cocoa是一个道理，万变不离其宗。这方面就可以参考Using Swift with Cocoa and Objective-C这篇文档。

另外，Swift刚刚推出一天就已经有开发者用它开发了FlappyBird，可见大家对这门语言的热情。这个系列的博客主要是记录我在学习Swift语言过程中感觉有趣的语法、用法，并不会对所有语法都逐一进行分析，而是举几个简单的例子帮我自己来理解Swift这门语言。如果这些例子能帮助你对Swift这门语言建立一些基本的认识或者感觉，那就再好不过了！

PS：博客内容的记录顺序大部分是根据官方Guide来的，因为这是我的阅读顺序，在阅读过程中可能会根据我的理解跳跃穿插一些内容。另外因为我也是在逐渐阅读文档，所以可能写过的内容会有多次修订。

环境要求

要使用Swift必须要安装Xcode 6 Beta版，安装Xcode6不需要10.10，在10.9上就可以使用。

代码

本文中使用道德测试代码都可以在SwiftWithCocoa这个repo中找到，大部分代码都在MyPlayground中。

“变量”不变

第一次接触这个概念是在了解Scala的时候，Scala中有两个关键字，分别是val和var，用var声明的变量跟其他语言中的一样，可以改变值，但是val声明的变量，一旦第一次赋值之后就无法改变了，也就是所谓的“变量”不变。这种类型主要应用在多线程的场景中，可以有效的避免资源抢占，死锁等情况的发生，从语言级保证了代码的稳定性和执行效率。

Swift也提供了类似的声明方法，分别是let和var，用let声明的是常量，用var声明的是变量。

基本数据类型

Tuple

Tuple应该是我从python、ruby转到OC之后感觉最需要的类型。Tuple最大的贡献在于能轻便的创建一些临时对象，并在不同的领域使用。比如函数返回的时候可以利用tuple便捷的返回多个值，这是现在很多流行语言都支持的。

// Returning from func
func response() -> (Int, String) {
    return (404, "Not Found")
}
var code: Int, description: String
(code, description) = response()
// code == 404
// description == "Not Found"

我记得我最开始学python，交换变量的方法真是让我震惊了，Swift里面（因为支持了tuple，所以）也有类似的方法了：

// Swapping vars
var first = 1
var second = 2 // Change 2 to "ASDF" and see the error
(first, second) = (second, first)
// first == 2
// second == 1

需要注意的是，因为Swift强调的是类型安全，所以上面例子中的first和second必须要是同样的类型才能交换，如果类型不同需要进行显式的类型转换，下面会进行讨论。

总而言之有了tuple之后，用Swift传递和处理数据将变得非常灵活。

类型推断(Inference)与Optionals

Swift自夸的一个特性就是类型安全，变量声明（或第一次赋值）之后，编译器会根据开发者显式指定（let num: Int）或者隐式赋值推断（let num = 1）得到变量类型，一旦确定，之后就不能改变类型了，例如：

var num = 1
num = "123" // Error!

第二行就会报错，因为num已经被编译器推测为Int类型了，所以再赋值为String就会出错，所以上面才提到的，使用tuple赋值的时候两种类型必须一致。为了解决这个问题，我们可以用强制类型转型：

// Explict type conversion and unwarp
first = 1
var third = "123"
(first, third) = (third.toInt()!, String(first))
first
second

上面的例子中，就是把third:String利用toInt()强制转换成了Int，这样first:Int就能接受了。下面我们重点说一下toInt()!最后的这个!。

Optionals

Optionals实际是一种类型，这种类型就是在原有类型的后面加上一个大大的?。对于Cocoa开发者来说，这种变化应该并不陌生，因为Objective-C里面的SEL类型，:也是类型的一部分，比如gotNotification跟gotNotification:就是两个SEL对象。

如果说一个变量的类型是XX?，那么代表的意思是，要么这个变量有值，且类型为XX，要么这个变量没有值。这个类型主要用在可能会出错的时候，例如将字符串转换为数字，可能字符串根本代表的不是数字，对于这种情况有的语言选择抛出运行时异常，Swift则选择了返回一个值为空的optionals对象。在Swift的代码框架中，大量系统级的API返回的都是optionals对象。

但是如何使用XX?的值呢，或者说如何将XX?转换为XX呢？这就要用到!了。所以上一节中说到的third.toInt()!实际过程是"123"这个String类型的变量通过toInt()转换为了Int?，但是咱们的first对象类型为Int，所以需要将Int?通过!转换为Int。这下整个过程就清楚了。

另外optionals还常用在if判断中，可以通过if let来避免使用!：

var text:String? = "123"
if let v = text {
    println(v)
}

最后值得一提的是隐式optionals对象，就是在定义的时候使用!而不是?，这样的好处是系统可以自动将XX?转换为XX对象了。

基于optionals还有更多神奇的语法糖，比如Craig在Keynote里面展示的那段代码，我们以后再分析。

语法糖 - Trailing closure syntax

本来准备再下篇博客中再分析closure，但是有一个语法感觉可以提前说明一下，就是Trailing closure syntax。在Objective-C中，大家都非常熟悉block的使用了，基本上很多常用的API都提供了block方式，比如NSBlockOperation：

NSOperationQueue *queue = [[NSOperationQueue alloc] init];
NSBlockOperation *blockOperation = [NSBlockOperation blockOperationWithBlock:{
    NSLog(@"Got block!");
}];
[queue addOperation:blockOperation];

如果直接对应过来的话，应该写成：

let operationQ = NSOperationQueue()
let operation = NSBlockOperation(block: {
    println("Got operation!")
})
operationQ.addOperation(operation)

对于这种最后一个参数接受closure的情况，可以将最后一个参数移到调用括号的外面，看起来就像定义了一个block一样：

let operation = NSBlockOperation() {
    println("Got operation!")
}
operationQ.addOperation(operation)

这样写起来不仅省了代码，而且看上去也比较舒服了。