來自蘋果的編程語言——Swift簡介
關于
這篇文章簡要介紹了蘋果于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程序。
- println("Hello, world")
變量與常量
Swift使用var
聲明變量,let
聲明常量
- var myVariable = 42
- myVariable = 50
- let myConstant = 42
類型推導
Swift支持類型推導(Type Inference),所以上面的代碼不需指定類型,如果需要指定類型:
- let explicitDouble : Double = 70
Swift不支持隱式類型轉換(Implicitly casting),所以下面的代碼需要顯式類型轉換(Explicitly casting):
- let label = "The width is "
- let width = 94
- let width = label + String(width)
字符串格式化
Swift使用\(item)
的形式進行字符串格式化:
- let apples = 3
- let oranges = 5
- let appleSummary = "I have \(apples) apples."
- let appleSummary = "I have \(apples + oranges) pieces of fruit."
數組和字典
Swift使用[]
操作符聲明數組(array)和字典(dictionary):
- var shoppingList = ["catfish", "water", "tulips", "blue paint"]
- shoppingList[1] = "bottle of water"
- var occupations = [
- "Malcolm": "Captain",
- "Kaylee": "Mechanic",
- ]
- occupations["Jayne"] = "Public Relations"
一般使用初始化器(initializer)語法創建空數組和空字典:
- let emptyArray = String[]()
- let emptyDictionary = Dictionary<String, Float>()
如果類型信息已知,則可以使用[]
聲明空數組,使用[:]
聲明空字典。
#p#
控制流
概覽
Swift的條件語句包含if
和switch
,循環語句包含for-in
、for
、while
和do-while
,循環/判斷條件不需要括號,但循環/判斷體(body)必需括號:
- let individualScores = [75, 43, 103, 87, 12]
- var teamScore = 0
- for score in individualScores {
- if score > 50 {
- teamScore += 3
- } else {
- teamScore += 1
- }
- }
結合if
和let
,可以方便的處理可空變量(nullable variable)。對于空值,需要在類型聲明后添加?
顯式標明該類型可空。
- var optionalString: String? = "Hello"
- optionalString == nil
- var optionalName: String? = "John Appleseed"
- var gretting = "Hello!"
- if let name = optionalName {
- gretting = "Hello, \(name)"
- }
靈活的switch
Swift中的switch
支持各種各樣的比較操作:
- let vegetable = "red pepper"
- switch vegetable {
- case "celery":
- let vegetableComment = "Add some raisins and make ants on a log."
- case "cucumber", "watercress":
- let vegetableComment = "That would make a good tea sandwich."
- case let x where x.hasSuffix("pepper"):
- let vegetableComment = "Is it a spicy \(x)?"
- default:
- let vegetableComment = "Everything tastes good in soup."
- }
其它循環
for-in
除了遍歷數組也可以用來遍歷字典:
- let interestingNumbers = [
- "Prime": [2, 3, 5, 7, 11, 13],
- "Fibonacci": [1, 1, 2, 3, 5, 8],
- "Square": [1, 4, 9, 16, 25],
- ]
- var largest = 0
- for (kind, numbers) in interestingNumbers {
- for number in numbers {
- if number > largest {
- largest = number
- }
- }
- }
- largest
while
循環和do-while
循環:
- var n = 2
- while n < 100 {
- n = n * 2
- }
- n
- var m = 2
- do {
- m = m * 2
- } while m < 100
- m
Swift支持傳統的for
循環,此外也可以通過結合..
(生成一個區間)和for-in
實現同樣的邏輯。
- var firstForLoop = 0
- for i in 0..3 {
- firstForLoop += i
- }
- firstForLoop
- var secondForLoop = 0
- for var i = 0; i < 3; ++i {
- secondForLoop += 1
- }
- secondForLoop
注意:Swift除了..
還有...
:..
生成前閉后開的區間,而...
生成前閉后閉的區間。
函數和閉包
函數
Swift使用func
關鍵字聲明函數:
- func greet(name: String, day: String) -> String {
- return "Hello \(name), today is \(day)."
- }
- greet("Bob", "Tuesday")
通過元組(Tuple)返回多個值:
- func getGasPrices() -> (Double, Double, Double) {
- return (3.59, 3.69, 3.79)
- }
- getGasPrices()
支持帶有變長參數的函數:
- func sumOf(numbers: Int...) -> Int {
- var sum = 0
- for number in numbers {
- sum += number
- }
- return sum
- }
- sumOf()
- sumOf(42, 597, 12)
函數也可以嵌套函數:
- func returnFifteen() -> Int {
- var y = 10
- func add() {
- y += 5
- }
- add()
- return y
- }
- returnFifteen()
作為頭等對象,函數既可以作為返回值,也可以作為參數傳遞:
- func makeIncrementer() -> (Int -> Int) {
- func addOne(number: Int) -> Int {
- return 1 + number
- }
- return addOne
- }
- var increment = makeIncrementer()
- increment(7)
- func hasAnyMatches(list: Int[], condition: Int -> Bool) -> Bool {
- for item in list {
- if condition(item) {
- return true
- }
- }
- return false
- }
- func lessThanTen(number: Int) -> Bool {
- return number < 10
- }
- var numbers = [20, 19, 7, 12]
- hasAnyMatches(numbers, lessThanTen)
閉包
本質來說,函數是特殊的閉包,Swift中可以利用{}
聲明匿名閉包:
- numbers.map({
- (number: Int) -> Int in
- let result = 3 * number
- return result
- })
當閉包的類型已知時,可以使用下面的簡化寫法:
- numbers.map({ number in 3 * number })
此外還可以通過參數的位置來使用參數,當函數最后一個參數是閉包時,可以使用下面的語法:
- sort([1, 5, 3, 12, 2]) { $0 > $1 }
#p#
類和對象
創建和使用類
Swift使用class
創建一個類,類可以包含字段和方法:
class Shape { var numberOfSides = 0 func simpleDescription() -> String { return "A shape with \(numberOfSides) sides." } }
創建Shape
類的實例,并調用其字段和方法。
- var shape = Shape()
- shape.numberOfSides = 7
- var shapeDescription = shape.simpleDescription()
通過init
構建對象,既可以使用self
顯式引用成員字段(name
),也可以隱式引用(numberOfSides
)。
- class NamedShape {
- var numberOfSides: Int = 0
- var name: String
- init(name: String) {
- self.name = name
- }
- func simpleDescription() -> String {
- return "A shape with \(numberOfSides) sides."
- }
- }
使用deinit
進行清理工作。
繼承和多態
Swift支持繼承和多態(override
父類方法):
- class Square: NamedShape {
- var sideLength: Double
- init(sideLength: Double, name: String) {
- self.sideLength = sideLength
- super.init(name: name)
- numberOfSides = 4
- }
- func area() -> Double {
- return sideLength * sideLength
- }
- override func simpleDescription() -> String {
- return "A square with sides of length \(sideLength)."
- }
- }
- let test = Square(sideLength: 5.2, name: "my test square")
- test.area()
- test.simpleDescription()
注意:如果這里的simpleDescription
方法沒有被標識為override
,則會引發編譯錯誤。
屬性
為了簡化代碼,Swift引入了屬性(property),見下面的perimeter
字段:
- class EquilateralTriangle: NamedShape {
- var sideLength: Double = 0.0
- init(sideLength: Double, name: String) {
- self.sideLength = sideLength
- super.init(name: name)
- numberOfSides = 3
- }
- var perimeter: Double {
- get {
- return 3.0 * sideLength
- }
- set {
- sideLength = newValue / 3.0
- }
- }
- override func simpleDescription() -> String {
- return "An equilateral triagle with sides of length \(sideLength)."
- }
- }
- var triangle = EquilateralTriangle(sideLength: 3.1, name: "a triangle")
- triangle.perimeter
- triangle.perimeter = 9.9
- triangle.sideLength
注意:賦值器(setter)中,接收的值被自動命名為newValue
。
willSet和didSet
EquilateralTriangle
的構造器進行了如下操作:
- 為子類型的屬性賦值。
- 調用父類型的構造器。
- 修改父類型的屬性。
如果不需要計算屬性的值,但需要在賦值前后進行一些操作的話,使用willSet
和didSet
。
- class TriangleAndSquare {
- var triangle: EquilateralTriangle {
- willSet {
- square.sideLength = newValue.sideLength
- }
- }
- var square: Square {
- willSet {
- triangle.sideLength = newValue.sideLength
- }
- }
- init(size: Double, name: String) {
- square = Square(sideLength: size, name: name)
- triangle = EquilateralTriangle(sideLength: size, name: name)
- }
- }
- var triangleAndSquare = TriangleAndSquare(size: 10, name: "another test shape")
- triangleAndSquare.square.sideLength
- triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
- triangleAndSquare.triangle.sideLength
從而保證triangle
和square
擁有相等的sideLength
。
調用方法
Swift中,函數的參數名稱只能在函數內部使用,但方法的參數名稱除了在內部使用外還可以在外部使用(第一個參數除外),例如:
- class Counter {
- var count: Int = 0
- func incrementBy(amount: Int, numberOfTimes times: Int) {
- count += amount * times
- }
- }
- var counter = Counter()
- counter.incrementBy(2, numberOfTimes: 7)
注意Swift支持為方法參數取別名:在上面的代碼里,numberOfTimes
面向外部,times
面向內部。
?的另一種用途
使用可空值時,?
可以出現在方法、屬性或下標前面。如果?
前的值為nil
,那么?
后面的表達式會被忽略,而原表達式直接返回nil
,例如:
- let optionalSquare: Square? = Square(sideLength: 2.5, name: "optional
- square")
- let sideLength = optionalSquare?.sideLength
當optionalSquare
為nil
時,sideLength
屬性調用會被忽略。
枚舉和結構
枚舉
使用enum
創建枚舉——注意Swift的枚舉可以關聯方法:
- enum Rank: Int {
- case Ace = 1
- case Two, Three, Four, Five, Six, Seven, Eight, Nine, Ten
- case Jack, Queen, King
- func simpleDescription() -> String {
- switch self {
- case .Ace:
- return "ace"
- case .Jack:
- return "jack"
- case .Queen:
- return "queen"
- case .King:
- return "king"
- default:
- return String(self.toRaw())
- }
- }
- }
- let ace = Rank.Ace
- let aceRawValue = ace.toRaw()
使用toRaw
和fromRaw
在原始(raw)數值和枚舉值之間進行轉換:
- if let convertedRank = Rank.fromRaw(3) {
- let threeDescription = convertedRank.simpleDescription()
- }
注意枚舉中的成員值(member value)是實際的值(actual value),和原始值(raw value)沒有必然關聯。
一些情況下枚舉不存在有意義的原始值,這時可以直接忽略原始值:
- enum Suit {
- case Spades, Hearts, Diamonds, Clubs
- func simpleDescription() -> String {
- switch self {
- case .Spades:
- return "spades"
- case .Hearts:
- return "hearts"
- case .Diamonds:
- return "diamonds"
- case .Clubs:
- return "clubs"
- }
- }
- }
- let hearts = Suit.Hearts
- let heartsDescription = hearts.simpleDescription()
除了可以關聯方法,枚舉還支持在其成員上關聯值,同一枚舉的不同成員可以有不同的關聯的值:
- enum ServerResponse {
- case Result(String, String)
- case Error(String)
- }
- let success = ServerResponse.Result("6:00 am", "8:09 pm")
- let failure = ServerResponse.Error("Out of cheese.")
- switch success {
- case let .Result(sunrise, sunset):
- let serverResponse = "Sunrise is at \(sunrise) and sunset is at \(sunset)."
- case let .Error(error):
- let serverResponse = "Failure... \(error)"
- }
結構
Swift使用struct
關鍵字創建結構。結構支持構造器和方法這些類的特性。結構和類的最大區別在于:結構的實例按值傳遞(passed by value),而類的實例按引用傳遞(passed by reference)。
- struct Card {
- var rank: Rank
- var suit: Suit
- func simpleDescription() -> String {
- return "The \(rank.simpleDescription()) of \(suit.simpleDescription())"
- }
- }
- let threeOfSpades = Card(rank: .Three, suit: .Spades)
- let threeOfSpadesDescription = threeOfSpades.simpleDescription()
#p#
協議(protocol)和擴展(extension)
協議
Swift使用protocol
定義協議:
- protocol ExampleProtocol {
- var simpleDescription: String { get }
- mutating func adjust()
- }
類型、枚舉和結構都可以實現(adopt)協議:
- class SimpleClass: ExampleProtocol {
- var simpleDescription: String = "A very simple class."
- var anotherProperty: Int = 69105
- func adjust() {
- simpleDescription += " Now 100% adjusted."
- }
- }
- var a = SimpleClass()
- a.adjust()
- let aDescription = a.simpleDescription
- struct SimpleStructure: ExampleProtocol {
- var simpleDescription: String = "A simple structure"
- mutating func adjust() {
- simpleDescription += " (adjusted)"
- }
- }
- var b = SimpleStructure()
- b.adjust()
- let bDescription = b.simpleDescription
擴展
擴展用于在已有的類型上增加新的功能(比如新的方法或屬性),Swift使用extension
聲明擴展:
- extension Int: ExampleProtocol {
- var simpleDescription: String {
- return "The number \(self)"
- }
- mutating func adjust() {
- self += 42
- }
- }
- 7.simpleDescription
泛型(generics)
Swift使用<>
來聲明泛型函數或泛型類型:
- func repeat<ItemType>(item: ItemType, times: Int) -> ItemType[] {
- var result = ItemType[]()
- for i in 0..times {
- result += item
- }
- return result
- }
- repeat("knock", 4)
Swift也支持在類、枚舉和結構中使用泛型:
- // Reimplement the Swift standard library's optional type
- enum OptionalValue<T> {
- case None
- case Some(T)
- }
- var possibleInteger: OptionalValue<Int> = .None
- possibleInteger = .Some(100)
有時需要對泛型做一些需求(requirements),比如需求某個泛型類型實現某個接口或繼承自某個特定類型、兩個泛型類型屬于同一個類型等等,Swift通過where
描述這些需求:
- func anyCommonElements <T, U where T: Sequence, U: Sequence, T.GeneratorType.Element: Equatable, T.GeneratorType.Element == U.GeneratorType.Element> (lhs: T, rhs: U) -> Bool {
- for lhsItem in lhs {
- for rhsItem in rhs {
- if lhsItem == rhsItem {
- return true
- }
- }
- }
- return false
- }
- anyCommonElements([1, 2, 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及其交互性極強的編程環境能夠打破這個局面,讓更多的人——尤其是青少年,學會編程。
這里有必要再次提到Brec Victor的Inventing on Principle,看了這個視頻你就會明白一個交互性強的編程環境能夠帶來什么。
應用開發
現有的iOS和OS X應用開發均使用Objective-C,而Objective-C是一門及其繁瑣(verbose)且學習曲線比較陡峭的語言,如果Swift能夠提供一個同現有Obj-C框架的簡易互操作接口,我相信會有大量的程序員轉投Swift;與此同時,Swift簡易的語法也會帶來相當數量的其它平臺開發者。
總之,上一次某家大公司大張旗鼓的推出一門編程語言及其編程平臺還是在2000年(微軟推出C#),將近15年之后,蘋果推出Swift——作為開發者,我很高興能夠見證一門編程語言的誕生。