本文转自Lucida的博客 （新浪微博、豆瓣）
这篇文章简要介绍了苹果于WWDC 2014发布的编程语言——Swift。
前言
在这里我认为有必要提一下Brec Victor的Inventing onPRinciple，Swift编程环境的大部分概念都源自于Brec这个演讲。
接下来进入正题。
Swift是什么？
Swift是苹果于WWDC 2014发布的编程语言，这里引用The Swift Programming Language的原话：
Swift is a new programming language for iOS and OS X apps that builds on the best of C and Objective-C, without the constraints of C compatibility.
Swift adopts safe programming patterns and adds modern features to make programming easier, more flexible and more fun.
Swift’s clean slate, backed by the mature and much-loved Cocoa and Cocoa Touch frameworks, is an opportunity to imagine how software development works.
Swift is the first industrial-quality systems programming language that is as expressive and enjoyable as a scripting language.
简单的说：
Swift用来写iOS和OS X程序。（估计也不会支持其它屌丝系统）
Swift吸取了C和Objective-C的优点，且更加强大易用。
Swift可以使用现有的Cocoa和Cocoa Touch框架。
Swift兼具编译语言的高性能（Performance）和脚本语言的交互性（Interactive）。
Swift语言概览
基本概念
注：这一节的代码源自The Swift Programming Language中的A Swift Tour。
Hello, world
类似于脚本语言，下面的代码即是一个完整的Swift程序。
1println("Hello, world")
变量与常量
Swift使用var声明变量，let声明常量。
1varmyVariable =422myVariable =503let myConstant =42
类型推导
Swift支持类型推导（Type Inference），所以上面的代码不需指定类型，如果需要指定类型：
1let explicitDouble : Double =70
Swift不支持隐式类型转换（Implicitly casting），所以下面的代码需要显式类型转换（Explicitly casting）：
1let label ="The width is"2let width =943let width = label + String(width)
字符串格式化
Swift使用\(item)的形式进行字符串格式化：
1let apples =32let oranges =53let appleSummary ="I have \(apples) apples."4let appleSummary ="I have \(apples + oranges) pieces of fruit."
数组和字典
Swift使用[]操作符声明数组（array）和字典（dictionary）：
1varshoppingList = ["catfish","water","tulips","blue paint"]2shoppingList[1] ="bottle of water"34varoccupations =[5"Malcolm":"Captain",6"Kaylee":"Mechanic",7]8occupations["Jayne"] ="Public Relations"
一般使用初始化器（initializer）语法创建空数组和空字典：
1let emptyArray =String[]()2let emptyDictionary = Dictionary<String, Float>()
如果类型信息已知，则可以使用[]声明空数组，使用[:]声明空字典。
控制流
概览
Swift的条件语句包含if和switch，循环语句包含for-in、for、while和do-while，循环/判断条件不需要括号，但循环/判断体（body）必需括号：
1let individualScores = [75,43,103,87,12]2varteamScore =03forscoreinindividualScores {4ifscore >50{5teamScore +=36}else{7teamScore +=18}9}
可空类型
结合if和let，可以方便的处理可空变量（nullable variable）。对于空值，需要在类型声明后添加?显式标明该类型可空。
1varoptionalString: String? ="Hello"2optionalString ==nil34varoptionalName: String? ="John Appleseed"5vargretting ="Hello!"6iflet name =optionalName {7gretting ="Hello, \(name)"8}
灵活的switch
Swift中的switch支持各种各样的比较操作：
1let vegetable ="red pepper"2switchvegetable {3case"celery":4let vegetableComment ="Add some raisins and make ants on a log."5case"cucumber","watercress":6let vegetableComment ="That would make a good tea sandwich."7caselet xwherex.hasSuffix("pepper"):8let vegetableComment ="Is it a spicy \(x)?"9default:10let vegetableComment ="Everything tastes good in soup."11}
其它循环
for-in除了遍历数组也可以用来遍历字典：
1let interestingNumbers =[2"Prime": [2,3,5,7,11,13],3"Fibonacci": [1,1,2,3,5,8],4"Square": [1,4,9,16,25],5]6varlargest =07for(kind, numbers)ininterestingNumbers {8fornumberinnumbers {9ifnumber >largest {10largest =number11}12}13}14largest
while循环和do-while循环：
1varn =22whilen <100{3n = n *24}5n67varm =28do{9m = m *210}whilem <10011m
Swift支持传统的for循环，此外也可以通过结合..（生成一个区间）和for-in实现同样的逻辑。
1varfirstForLoop =02foriin0..3{3firstForLoop +=i4}5firstForLoop67varsecondForLoop =08forvari =0; i <3; ++i {9secondForLoop +=110}11secondForLoop
注意：Swift除了..还有...：..生成前闭后开的区间，而...生成前闭后闭的区间。
函数和闭包
函数
Swift使用func关键字声明函数：
1func greet(name: String, day: String) ->String {2return"Hello \(name), today is \(day)."3}4greet("Bob","Tuesday")
通过元组（Tuple）返回多个值：
1func getGasprices() ->(Double, Double, Double) {2return(3.59,3.69,3.79)3}4getGasPrices()
支持带有变长参数的函数：
1func sumOf(numbers: Int...) ->Int {2varsum =03fornumberinnumbers {4sum +=number5}6returnsum7}8sumOf()9sumOf(42,597,12)
函数也可以嵌套函数：
1func returnFifteen() ->Int {2vary =103func add() {4y +=55}6add()7returny8}9returnFifteen()
作为头等对象，函数既可以作为返回值，也可以作为参数传递：
1func makeIncrementer() -> (Int ->Int) {2func addOne(number: Int) ->Int {3return1+number4}5returnaddOne6}7varincrement =makeIncrementer()8increment(7)
1func hasAnyMatches(list: Int[], condition: Int -> Bool) ->Bool {2foriteminlist {3ifcondition(item) {4returntrue5}6}7returnfalse8}9func lessThanTen(number: Int) ->Bool {10returnnumber <1011}12varnumbers = [20,19,7,12]13hasAnyMatches(numbers, lessThanTen)
闭包
本质来说，函数是特殊的闭包，Swift中可以利用{}声明匿名闭包：
1numbers.map({2(number: Int) -> Intin3let result =3*number4returnresult5})
当闭包的类型已知时，可以使用下面的简化写法：
1numbers.map({ numberin3* number })
此外还可以通过参数的位置来使用参数，当函数最后一个参数是闭包时，可以使用下面的语法：
1sort([1,5,3,12,2]) { $0> $1}
类和对象
创建和使用类
Swift使用class创建一个类，类可以包含字段和方法：
1classShape {2varnumberOfSides =03func simpleDescription() ->String {4return"A shape with \(numberOfSides) sides."5}6}
创建Shape类的实例，并调用其字段和方法。
1varshape =Shape()2shape.numberOfSides =73varshapeDescription = shape.simpleDescription()
通过init构建对象，既可以使用self显式引用成员字段（name），也可以隐式引用（numberOfSides）。
1classNamedShape {2varnumberOfSides: Int =03varname: String45init(name: String) {6self.name =name7}89func simpleDescription() ->String {10return"A shape with \(numberOfSides) sides."11}12}
使用deinit进行清理工作。
继承和多态
Swift支持继承和多态（override父类方法）：
1classSquare: NamedShape {2varsideLength: Double34init(sideLength: Double, name: String) {5self.sideLength =sideLength6super.init(name: name)7numberOfSides =48}910func area() ->Double {11returnsideLength *sideLength12}1314overridefunc simpleDescription() ->String {15return"A square with sides of length \(sideLength)."16}17}18let test = Square(sideLength:5.2, name:"my test square")19test.area()20test.simpleDescription()
注意：如果这里的simpleDescription方法没有被标识为override，则会引发编译错误。
属性
为了简化代码，Swift引入了属性（property），见下面的perimeter字段：
1classEquilateralTriangle: NamedShape {2varsideLength: Double =0.034init(sideLength: Double, name: String) {5self.sideLength =sideLength6super.init(name: name)7numberOfSides =38}910varperimeter: Double {11get{12return3.0*sideLength13}14set{15sideLength = newValue /3.016}17}1819overridefunc simpleDescription() ->String {20return"An equilateral triagle with sides of length \(sideLength)."21}22}23vartriangle = EquilateralTriangle(sideLength:3.1, name:"a triangle")24triangle.perimeter25triangle.perimeter =9.926triangle.sideLength
注意：赋值器（setter）中，接收的值被自动命名为newValue。
willSet和didSet
EquilateralTriangle的构造器进行了如下操作：
1.为子类型的属性赋值。
2.调用父类型的构造器。
3.修改父类型的属性。
如果不需要计算属性的值，但需要在赋值前后进行一些操作的话，使用willSet和didSet：
1classTriangleAndSquare {2vartriangle: EquilateralTriangle {3willSet {4square.sideLength =newValue.sideLength5}6}7varsquare: Square {8willSet {9triangle.sideLength =newValue.sideLength10}11}12init(size: Double, name: String) {13square =Square(sideLength: size, name: name)14triangle =EquilateralTriangle(sideLength: size, name: name)15}16}17vartriangleAndSquare = TriangleAndSquare(size:10, name:"another test shape")18triangleAndSquare.square.sideLength19triangleAndSquare.square = Square(sideLength:50, name:"larger square")20triangleAndSquare.triangle.sideLength
从而保证triangle和square拥有相等的sideLength。
调用方法
Swift中，函数的参数名称只能在函数内部使用，但方法的参数名称除了在内部使用外还可以在外部使用（第一个参数除外），例如：
1classCounter {2varcount: Int =03func incrementBy(amount: Int, numberOfTimes times: Int) {4count += amount *times5}6}7varcounter =Counter()8counter.incrementBy(2, numberOfTimes:7)
注意Swift支持为方法参数取别名：在上面的代码里，numberOfTimes面向外部，times面向内部。
?的另一种用途
使用可空值时，?可以出现在方法、属性或下标前面。如果?前的值为nil，那么?后面的表达式会被忽略，而原表达式直接返回nil，例如：
1122334let optionalSquare: Square? = Square(sideLength:2.5, name:"optional5square")6let sideLength = optionalSquare?.sideLength
当optionalSquare为nil时，sideLength属性调用会被忽略。
枚举和结构
枚举
使用enum创建枚举——注意Swift的枚举可以关联方法：
1enumRank: Int {2caseAce =13caseTwo, Three, Four, Five, Six, Seven, Eight, Nine, Ten4caseJack, Queen, King5func simpleDescription() ->String {6switchself {7case.Ace:8return"ace"9case.Jack:10return"jack"11case.Queen:12return"queen"13case.King:14return"king"15default:16returnString(self.toRaw())17}18}19}20let ace =Rank.Ace21let aceRawValue = ace.toRaw()
使用toRaw和fromRaw在原始（raw）数值和枚举值之间进行转换：
1iflet convertedRank = Rank.fromRaw(3) {2let threeDescription =convertedRank.simpleDescription()3}
注意：枚举中的成员值（member value）是实际的值（actual value），和原始值（raw value）没有必然关联。
一些情况下枚举不存在有意义的原始值，这时可以直接忽略原始值：
1enumSuit {2caseSpades, Hearts, Diamonds, Clubs3func simpleDescription() ->String {4switchself {5case.Spades:6return"spades"7case.Hearts:8return"hearts"9case.Diamonds:10return"diamonds"11case.Clubs:12return"clubs"13}14}15}16let hearts =Suit.Hearts17let heartsDescription = hearts.simpleDescription()
除了可以关联方法，枚举还支持在其成员上关联值，同一枚举的不同成员可以有不同的关联的值：
1enumServerResponse {2caseResult(String, String)3caseError(String)4}56let success = ServerResponse.Result("6:00 am","8:09 pm")7let failure = ServerResponse.Error("Out of cheese.")89switchsuccess {10caselet .Result(sunrise, sunset):11let serverResponse ="Sunrise is at \(sunrise) and sunset is at \(sunset)."12caselet .Error(error):13let serverResponse ="Failure... \(error)"14}
结构
Swift使用struct关键字创建结构。结构支持构造器和方法这些类的特性。结构和类的最大区别在于：结构的实例按值传递（passed by value），而类的实例按引用传递（passed by reference）。
1structCard {2varrank: Rank3varsuit: Suit4func simpleDescription() ->String {5return"The \(rank.simpleDescription()) of \(suit.simpleDescription())"6}7}8let threeOfSpades =Card(rank: .Three, suit: .Spades)9let threeOfSpadesDescription = threeOfSpades.simpleDescription()
协议（protocol）和扩展（extension）
协议
Swift使用protocol定义协议：
1protocol ExampleProtocol {2varsimpleDescription: String {get}3mutating func adjust()4}
类型、枚举和结构都可以实现（adopt）协议：
1classSimpleClass: ExampleProtocol {2varsimpleDescription: String ="A very simple class."3varanotherProperty: Int =691054func adjust() {5simpleDescription +="Now 100% adjusted."6}7}8vara =SimpleClass()9a.adjust()10let aDescription =a.simpleDescription1112structSimpleStructure: ExampleProtocol {13varsimpleDescription: String ="A simple structure"14mutating func adjust() {15simpleDescription +="(adjusted)"16}17}18varb =SimpleStructure()19b.adjust()20let bDescription = b.simpleDescription
扩展
扩展用于在已有的类型上增加新的功能（比如新的方法或属性），Swift使用extension声明扩展：
1extension Int: ExampleProtocol {2varsimpleDescription: String {3return"The number \(self)"4}5mutating func adjust() {6self +=427}8}97.simpleDescription
泛型（generics）
Swift使用<>来声明泛型函数或泛型类型：
1func repeat<ItemType>(item: ItemType, times: Int) ->ItemType[] {2varresult =ItemType[]()3foriin0..times {4result +=item5}6returnresult7}8repeat("knock",4)
Swift也支持在类、枚举和结构中使用泛型：
1//Reimplement the Swift standard library's optional type2enumOptionalValue<T>{3caseNone4caseSome(T)5}6varpossibleInteger: OptionalValue<Int> =.None7possibleInteger = .Some(100)
有时需要对泛型做一些需求（requirements），比如需求某个泛型类型实现某个接口或继承自某个特定类型、两个泛型类型属于同一个类型等等，Swift通过where描述这些需求：
1func anyCommonElements <T, UwhereT: Sequence, U: Sequence, T.GeneratorType.Element: Equatable, T.GeneratorType.Element == U.GeneratorType.Element> (lhs: T, rhs: U) ->Bool {2forlhsIteminlhs {3forrhsIteminrhs {4iflhsItem ==rhsItem {5returntrue6}7}8}9returnfalse10}11anyCommonElements([1,2,3], [3])
Swift语言概览就到这里，有兴趣的朋友请进一步阅读The Swift Programming Language。
接下来聊聊个人对Swift的一些感受。
个人感受
注意：下面的感受纯属个人意见，仅供参考。
大杂烩
尽管我接触Swift不足两小时，但很容易看出Swift吸收了大量其它编程语言中的元素，这些元素包括但不限于：
1.属性（Property）、可空值（Nullable type）语法和泛型（Generic Type）语法源自C#。
2.格式风格与Go相仿（没有句末的分号，判断条件不需要括号）。
3.Python风格的当前实例引用语法（使用self）和列表字典声明语法。
4.Haskell风格的区间声明语法（比如1..3，1...3）。
5.协议和扩展源自Objective-C（自家产品随便用）。
6.枚举类型很像java（可以拥有成员或方法）。
7.class和struct的概念和C#极其相似。
注意这里不是说Swift是抄袭——实际上编程语言能玩的花样基本就这些，况且Swift选的都是在我看来相当不错的特性。
而且，这个大杂烩有一个好处——就是任何其它编程语言的开发者都不会觉得Swift很陌生——这一点很重要。
拒绝隐式（Refuse implicity）
Swift去除了一些隐式操作，比如隐式类型转换和隐式方法重载这两个坑，干的漂亮。
Swift的应用方向
我认为Swift主要有下面这两个应用方向：
教育
我指的是编程教育。现有编程语言最大的问题就是交互性奇差，从而导致学习曲线陡峭。相信Swift及其交互性极强的编程环境能够打破这个局面，让更多的人——尤其是青少年，学会编程。
这里有必要再次提到Brec Victor的Inventing on Principle，看了这个视频你就会明白一个交互性强的编程环境能够带来什么。
应用开发
现有的iOS和OS X应用开发均使用Objective-C，而Objective-C是一门及其繁琐（verbose）且学习曲线比较陡峭的语言，如果Swift能够提供一个同现有Obj-C框架的简易互操作接口，我相信会有大量的程序员转投Swift；与此同时，Swift简易的语法也会带来相当数量的其它平台开发者。
总之，上一次某家大公司大张旗鼓的推出一门编程语言及其编程平台还是在2000年（微软推出C#），将近15年之后，苹果推出Swift——作为开发者，我很高兴能够见证一门编程语言的诞生。