作者:Lucida
- 微博:@peng_gong
- 豆瓣:@figure9
原文链接:http://lucida.me/blog/an-introduction-to-swift/
关于
这篇文章简要介绍了苹果于WWDC 2014发布的编程语言——Swift。
前言
在这里我认为有必要提一下Bret Victor的Inventing on Principle,Swift编程环境的大部分概念都源自于Bret这个演讲。
接下来进入正题。
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程序。
变量与常量
Swift使用var
声明变量,let
声明常量。
类型推导
Swift支持类型推导(Type Inference),所以上面的代码不需指定类型,如果需要指定类型:
Swift不支持隐式类型转换(Implicitly casting),所以下面的代码需要显式类型转换(Explicitly casting):
字符串格式化
\(item)的形式进行字符串格式化:
apples = 3 @H_403_115@oranges = 5 @H_403_115@appleSummary = "I have \(apples) apples." @H_403_115@fruitSummary = "I have \(apples + oranges) pieces of fruit."
数组和字典
[]操作符声明数组(array)和字典(dictionary):
shoppingList = ["catfish", "water",152)!important">"tulips",152)!important">"blue paint"] @H_403_115@shoppingList[1] = "bottle of water" occupations = [ "Malcolm": "Captain", "Kaylee": "Mechanic", ] @H_403_115@occupations["Jayne"] = "Public Relations"
一般使用初始化器(initializer)语法创建空数组和空字典:
emptyArray = @H_403_115@String[]() @H_403_115@emptyDictionary = @H_403_115@Dictionary<@H_403_115@String, @H_403_115@Float>()
如果类型信息已知,则可以使用[]
声明空数组,使用[:]
声明空字典。
控制流
概览
Swift的条件语句包含if
和switch
,循环语句包含for-in
、for
、while
和do-while
,循环/判断条件不需要括号,但循环/判断体(body)必需括号:
individualscores = [75, 43,152)!important">103,152)!important">87,152)!important">12] teamscore = 0 for @H_403_115@score in @H_403_115@individualscores { if @H_403_115@score > 50 { @H_403_115@teamscore += 3 } else { 1 } }
可空类型
结合let
,可以方便的处理可空变量(nullable variable)。对于空值,需要在类型声明后添加?
显式标明该类型可空。
灵活的switch
Swift中的switch
支持各种各样的比较操作:
vegetable = "red pepper" switch @H_403_115@vegetable { case "celery": @H_403_115@vegetableComment = "Add some raisins and make ants on a log." "cucumber",152)!important">"watercress": "That would make a good tea sandwich." case @H_403_115@x where @H_403_115@x.@H_403_115@hasSuffix("pepper"): "Is it a spicy \(x)?" default: "Everything tastes good in soup." }
其它循环
for-in
除了遍历数组也可以用来遍历字典:
interestingNumbers = [ "Prime": [2,152)!important">3,152)!important">5,152)!important">7,152)!important">11,152)!important">13],152)!important">"Fibonacci": [1,152)!important">8],152)!important">"Square": [4,152)!important">9,152)!important">16,152)!important">25], ] largest = for (@H_403_115@kind,210)!important">numbers) interestingNumbers { number numbers { number > @H_403_115@largest { @H_403_115@largest = @H_403_115@number } } } @H_403_115@largest
while循环和do-while
循环:
Swift支持传统的for
循环,此外也可以通过结合..
(生成一个区间)和for-in
实现同样的逻辑。
注意:Swift除了..
还有...
:..
生成前闭后开的区间,而...
生成前闭后闭的区间。
函数和闭包
函数
func关键字声明函数:
通过元组(Tuple)返回多个值:
作为头等对象,函数既可以作为返回值,也可以作为参数传递:
hasAnyMatches(@H_403_115@list: @H_403_115@Int[],210)!important">condition: @H_403_115@Bool) -> @H_403_115@Bool { item list { if condition(@H_403_115@item) { return true } } false } @H_403_115@lessThanTen(@H_403_115@number < 10 } numbers = [20,152)!important">19,152)!important">12] @H_403_115@numbers,210)!important">lessThanTen)
闭包
本质来说,函数是特殊的闭包,Swift中可以利用{}
声明匿名闭包:
当闭包的类型已知时,可以使用下面的简化写法:
此外还可以通过参数的位置来使用参数,当函数最后一个参数是闭包时,可以使用下面的语法:
类和对象
创建和使用类
class创建一个类,类可以包含字段和方法:
class Shape { numberOfSides = 0 @H_403_115@simpleDescription() -> "A shape with \(numberOfSides) sides." } }
通过init
构建对象,既可以使用self
显式引用成员字段(name
),也可以隐式引用(numberOfSides
)。
NamedShape { numberOfSides: @H_403_115@Int = 0 String @H_403_115@init(@H_403_115@String) { @H_403_115@self.@H_403_115@name } 使用deinit
进行清理工作。继承和多态
14 15 16 17 18 19 20
Square: @H_403_115@NamedShape { sideLength: @H_403_115@Double @H_403_115@sideLength = @H_403_115@sideLength @H_403_115@super.@H_403_115@name) 4 } @H_403_115@area() -> @H_403_115@Double { sideLength * @H_403_115@sideLength } override "A square with sides of length \(sideLength)." } } @H_403_115@test = @H_403_115@Square(@H_403_115@sideLength: 5.2,210)!important">name: "my test square") @H_403_115@test.@H_403_115@area() 注意:如果这里的simpleDescription
方法没有被标识为override
,则会引发编译错误。属性
为了简化代码,Swift引入了属性(property),见下面的
perimeter
字段:20 21 22 23 24 25 26
EquilateralTriangle: 0.0 3 } perimeter: get { 3.0 * @H_403_115@sideLength } set { @H_403_115@newValue / 3.0 } } "An equilateral triagle with sides of length \(sideLength)." } } triangle = @H_403_115@EquilateralTriangle(3.1,152)!important">"a triangle") @H_403_115@triangle.@H_403_115@perimeter @H_403_115@perimeter = 9.9 @H_403_115@sideLength
注意:赋值器(setter)中,接收的值被自动命名为newValue
。
willSet和didSet
EquilateralTriangle的构造器进行了如下操作:
如果不需要计算属性的值,但需要在赋值前后进行一些操作的话,使用willSet
和didSet
:
triangle
和square
拥有相等的sideLength
。
调用方法
Swift中,函数的参数名称只能在函数内部使用,但方法的参数名称除了在内部使用外还可以在外部使用(第一个参数除外),例如:
注意Swift支持为方法参数取别名:在上面的代码里,numberOfTimes
面向外部,times
面向内部。
?的另一种用途
使用可空值时,?
可以出现在方法、属性或下标前面。如果?
前的值为nil
,那么?
后面的表达式会被忽略,而原表达式直接返回nil
,例如:
optionalSquare
为nil
时,sideLength
属性调用会被忽略。
枚举和结构
枚举
enum创建枚举——注意Swift的枚举可以关联方法:
enum @H_403_115@Rank: @H_403_115@Ace = 1 Two,210)!important">Three,210)!important">Four,210)!important">Five,210)!important">Six,210)!important">Seven,210)!important">Eight,210)!important">Nine,210)!important">Ten Jack,210)!important">Queen,210)!important">King @H_403_115@self { case .@H_403_115@Ace: "ace" Jack: "jack" Queen: "queen" King: "king" default: return toRaw()) } } } @H_403_115@ace = @H_403_115@Rank.@H_403_115@Ace @H_403_115@aceRawValue = @H_403_115@ace.@H_403_115@toRaw()
toRaw和fromRaw
在原始(raw)数值和枚举值之间进行转换:
注意枚举中的成员值(member value)是实际的值(actual value),和原始值(raw value)没有必然关联。
一些情况下枚举不存在有意义的原始值,这时可以直接忽略原始值:
Suit { Spades,210)!important">Hearts,210)!important">Diamonds,210)!important">Clubs @H_403_115@Spades: "spades" Hearts: "hearts" Diamonds: "diamonds" Clubs: "clubs" } } } @H_403_115@hearts = @H_403_115@Suit.@H_403_115@Hearts @H_403_115@heartsDescription = @H_403_115@hearts. 除了可以关联方法,枚举还支持在其成员上关联值,同一枚举的不同成员可以有不同的关联的值:ServerResponse { case Result(@H_403_115@String) Error(@H_403_115@String) } @H_403_115@success = @H_403_115@ServerResponse.@H_403_115@Result("6:00 am",152)!important">"8:09 pm") @H_403_115@failure = @H_403_115@Error("Out of cheese.") success { let .@H_403_115@sunrise,210)!important">sunset): @H_403_115@serverResponse = "Sunrise is at \(sunrise) and sunset is at \(sunset)." error): "Failure... \(error)" }
结构
struct关键字创建结构。结构支持构造器和方法这些类的特性。结构和类的最大区别在于:结构的实例按值传递(passed by value),而类的实例按引用传递(passed by reference)。
协议(protocol)和扩展(extension)
协议
protocol定义协议:
类型、枚举和结构都可以实现(adopt)协议:
扩展
扩展用于在已有的类型上增加新的功能(比如新的方法或属性),Swift使用extension
声明扩展:
泛型(generics)
<>来声明泛型函数或泛型类型:
Swift也支持在类、枚举和结构中使用泛型:
// Reimplement the Swift standard library's optional type OptionalValue<@H_403_115@T> { None Some(@H_403_115@T) } possibleInteger: @H_403_115@Int> = .@H_403_115@None @H_403_115@possibleInteger = .@H_403_115@Some(100)
有时需要对泛型做一些需求(requirements),比如需求某个泛型类型实现某个接口或继承自某个特定类型、两个泛型类型属于同一个类型等等,Swift通过where
描述这些需求:
anyCommonElements <@H_403_115@T,210)!important">U T: @H_403_115@Sequence,210)!important">U: @H_403_115@T.@H_403_115@GeneratorType.@H_403_115@Element: @H_403_115@Equatable,210)!important">Element == @H_403_115@U.@H_403_115@Element> (@H_403_115@lhs: @H_403_115@rhs: @H_403_115@U) -> @H_403_115@lhsItem lhs { rhsItem rhs { lhsItem == @H_403_115@rhsItem { true } } } anyCommonElements([3], [3])
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及其交互性极强的编程环境能够打破这个局面,让更多的人——尤其是青少年,学会编程。
这里有必要再次提到Inventing on Principle,看了这个视频你就会明白一个交互性强的编程环境能够带来什么。
应用开发
现有的iOS和OS X应用开发均使用Objective-C,而Objective-C是一门及其繁琐(verbose)且学习曲线比较陡峭的语言,如果Swift能够提供一个同现有Obj-C框架的简易互操作接口,我相信会有大量的程序员转投Swift;与此同时,Swift简易的语法也会带来相当数量的其它平台开发者。
总之,上一次某家大公司大张旗鼓的推出一门编程语言及其编程平台还是在2000年(微软推出C#),将近15年之后,苹果推出Swift——作为开发者,我很高兴能够见证一门编程语言的诞生。
以上。
http://lucida.me/blog/an-introduction-to-swift/