原文出处: Lucia(@peng_gong) 欢迎加入iOS小组。
关于
这篇文章简要介绍了苹果于WWDC 2014发布的编程语言——Swift。
前言
在这里我认为有必要提一下Brec Victor的Inventing
on Principle,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程序。
1
|
println( "Hello, ) |
变量与常量
Swift使用var
声明变量,let
声明常量
1
2
3
|
var myVariable let |
类型推导
Swift支持类型推导(Type Inference),所以上面的代码不需指定类型,如果需要指定类型:
1
|
let |
Swift不支持隐式类型转换(Implicitly casting),所以下面的代码需要显式类型转换(Explicitly casting):
1
2
3
|
let "The let let |
字符串格式化
Swift使用\(item)
的形式进行字符串格式化:
1
2
3
4
|
let let let "I let "I |
数组和字典
Swift使用[]
操作符声明数组(array)和字典(dictionary):
1
2
3
4
5
6
7
8
|
var "catfish" , "water" , "tulips" , "blue ] shoppingList[1] "bottle var "Malcolm" : "Captain" , "Kaylee" : "Mechanic" , ] occupations[ "Jayne" ] "Public |
一般使用初始化器(initializer)语法创建空数组和空字典:
1
2
|
let let |
如果类型信息已知,则可以使用[]
声明空数组,使用[:]
声明空字典。
控制流
概览
Swift的条件语句包含if
和switch
,循环语句包含for-in
、for
、while
和do-while
,循环/判断条件不需要括号,但循环/判断体(body)必需括号:
1
2
3
4
5
6
7
8
9
|
let var for
if
teamScore } else
teamScore } } |
可空类型
结合if
和let
,可以方便的处理可空变量(nullable
variable)。对于空值,需要在类型声明后添加?
显式标明该类型可空。
1
2
3
4
5
6
7
8
|
var "Hello" optionalString var "John var "Hello!" if
gretting "Hello, } |
灵活的switch
Swift中的switch
支持各种各样的比较操作:
1
2
3
4
5
6
7
8
9
10
11
|
let "red switch
case
: let "Add case
, "watercress" : let "That case
"pepper" ): let "Is default : let "Everything } |
其它循环
for-in
除了遍历数组也可以用来遍历字典:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
let "Prime" : 2 , 3 , 5 , 7 , 11 , 13 ], "Fibonacci" : 1 , 1 , 2 , 3 , 5 , 8 ], "Square" : 1 , 4 , 9 , 16 , 25 ], ] var
0 for
in
for
in
if
largest } } } largest |
while
循环和do-while
循环:
1
2
3
4
5
6
7
8
9
10
11
|
var while
n } n var do
m } while
m |
Swift支持传统的for
循环,此外也可以通过结合..
(生成一个区间)和for-in
实现同样的逻辑。
1
2
3
4
5
6
7
8
9
10
11
|
var for
firstForLoop } firstForLoop var for
secondForLoop } secondForLoop |
注意:Swift除了..
还有...
:..
生成前闭后开的区间,而...
生成前闭后闭的区间。
函数和闭包
函数
Swift使用func
关键字声明函数:
1
2
3
4
|
func return
} greet( "Bob" , "Tuesday" ) |
通过元组(Tuple)返回多个值:
1
2
3
4
|
func return
} getGasPrices() |
支持带有变长参数的函数:
1
2
3
4
5
6
7
8
9
|
func var for
sum } return
} sumOf() sumOf(42, |
函数也可以嵌套函数:
1
2
3
4
5
6
7
8
9
|
func var func y } add() return
} returnFifteen() |
作为头等对象,函数既可以作为返回值,也可以作为参数传递:
1
2
3
4
5
6
7
8
|
func func return
} return
} var increment(7) |
1
2
3
4
5
6
7
8
9
10
11
12
13
|
func for
if
return
} } return
} func return
} var hasAnyMatches(numbers, |
闭包
本质来说,函数是特殊的闭包,Swift中可以利用{}
声明匿名闭包:
1
2
3
4
5
|
numbers.map({ (number: let return
}) |
当闭包的类型已知时,可以使用下面的简化写法:
1
|
numbers.map({ |
此外还可以通过参数的位置来使用参数,当函数最后一个参数是闭包时,可以使用下面的语法:
1
|
sort([1, |
类和对象
创建和使用类
Swift使用class
创建一个类,类可以包含字段和方法:
class Shape { var numberOfSides = 0 func simpleDescription() -> String { return "A shape with \(numberOfSides) sides." } }
创建Shape
类的实例,并调用其字段和方法。
1
2
3
|
var shape.numberOfSides var |
通过init
构建对象,既可以使用self
显式引用成员字段(name
),也可以隐式引用(numberOfSides
)。
1
2
3
4
5
6
7
8
9
10
11
12
|
class
var var init(name: self.name } func return
} } |
使用deinit
进行清理工作。
继承和多态
Swift支持继承和多态(override
父类方法):
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
class
var init(sideLength: self.sideLength super.init(name: numberOfSides } func return
} override return
} } let "my ) test.area() test.simpleDescription() |
注意:如果这里的simpleDescription
方法没有被标识为override
,则会引发编译错误。
属性
为了简化代码,Swift引入了属性(property),见下面的perimeter
字段:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
class
var init(sideLength: self.sideLength super.init(name: numberOfSides } var get return
} set sideLength } } override return
} } var "a ) triangle.perimeter triangle.perimeter triangle.sideLength |
注意:赋值器(setter)中,接收的值被自动命名为newValue
。
willSet和didSet
EquilateralTriangle
的构造器进行了如下操作:
- 为子类型的属性赋值。
- 调用父类型的构造器。
- 修改父类型的属性。
如果不需要计算属性的值,但需要在赋值前后进行一些操作的话,使用willSet
和didSet
。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
class
var willSet square.sideLength } } var willSet triangle.sideLength } } init(size: square triangle } } var "another ) triangleAndSquare.square.sideLength triangleAndSquare.square "larger ) triangleAndSquare.triangle.sideLength |
从而保证triangle
和square
拥有相等的sideLength
。
调用方法
Swift中,函数的参数名称只能在函数内部使用,但方法的参数名称除了在内部使用外还可以在外部使用(第一个参数除外),例如:
1
2
3
4
5
6
7
8
|
class
var func count } } var counter.incrementBy(2, |
注意Swift支持为方法参数取别名:在上面的代码里,numberOfTimes
面向外部,times
面向内部。
?的另一种用途
使用可空值时,?
可以出现在方法、属性或下标前面。如果?
前的值为nil
,那么?
后面的表达式会被忽略,而原表达式直接返回nil
,例如:
1
2
3
|
let square") let |
当optionalSquare
为nil
时,sideLength
属性调用会被忽略。
枚举和结构
枚举
使用enum
创建枚举——注意Swift的枚举可以关联方法:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
enum
case
case
case
func switch
case
return
case
return
case
return
case
return
default : return
} } } let let |
使用toRaw
和fromRaw
在原始(raw)数值和枚举值之间进行转换:
1
2
3
|
if
let } |
注意枚举中的成员值(member value)是实际的值(actual value),和原始值(raw value)没有必然关联。
一些情况下枚举不存在有意义的原始值,这时可以直接忽略原始值:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
enum
case
func switch
case
return
case
return
case
return
case
return
} } } let let |
除了可以关联方法,枚举还支持在其成员上关联值,同一枚举的不同成员可以有不同的关联的值:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
enum
case
case
} let "6:00 , "8:09 ) let "Out ) switch
case
let "Sunrise case
let "Failure... } |
结构
Swift使用struct
关键字创建结构。结构支持构造器和方法这些类的特性。结构和类的最大区别在于:结构的实例按值传递(passed by value),而类的实例按引用传递(passed by
reference)。
1
2
3
4
5
6
7
8
9
|
struct
var var func return
} } let let |
协议(protocol)和扩展(extension)
协议
Swift使用protocol
定义协议:
1
2
3
4
|
protocol var mutating } |
类型、枚举和结构都可以实现(adopt)协议:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
class
var "A var func simpleDescription " } } var a.adjust() let struct
var "A mutating simpleDescription " } } var b.adjust() let |
扩展
扩展用于在已有的类型上增加新的功能(比如新的方法或属性),Swift使用extension
声明扩展:
1
2
3
4
5
6
7
8
9
|
extension var return
} mutating self } } 7.simpleDescription |
泛型(generics)
Swift使用<>
来声明泛型函数或泛型类型:
1
2
3
4
5
6
7
8
|
func var for
result } return
} repeat( "knock" , |
Swift也支持在类、枚举和结构中使用泛型:
1
2
3
4
5
6
7
|
// enum
case
case
} var possibleInteger |
有时需要对泛型做一些需求(requirements),比如需求某个泛型类型实现某个接口或继承自某个特定类型、两个泛型类型属于同一个类型等等,Swift通过where
描述这些需求:
1
2
3
4
5
6
7
8
9
10
11
|
func for
for
if
return
} } } return
} anyCommonElements([1, |
Swift语言概览就到这里,有兴趣的朋友请进一步阅读The Swift Programming Language。
接下来聊聊个人对Swift的一些感受。
个人感受
注意:下面的感受纯属个人意见,仅供参考。
大杂烩
尽管我接触Swift不足两小时,但很容易看出Swift吸收了大量其它编程语言中的元素,这些元素包括但不限于:
- 属性(Property)、可空值(Nullable type)语法和泛型(Generic Type)语法源自C#。
- 格式风格与Go相仿(没有句末的分号,判断条件不需要括号)。
- Python风格的当前实例引用语法(使用
self
)和列表字典声明语法。 - Haskell风格的区间声明语法(比如
1..3
,1...3
)。 - 协议和扩展源自Objective-C(自家产品随便用)。
- 枚举类型很像Java(可以拥有成员或方法)。
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——作为开发者,我很高兴能够见证一门编程语言的诞生。