來自蘋果的新編程語言——Swift簡介


這篇文章簡要介紹瞭蘋果於WWDC 2014發佈的編程語言Swift。 原文作者: Lucida Blog 新浪微博 豆瓣 前言 在這裡我認為有必要提一下Brec Victor的Inventing on Principle,Swift編程環境的大部分概念都源自於

本文轉自Lucida的博客 (新浪微博、豆瓣)作者就職於google London這篇文章簡要介紹瞭蘋果於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, world")

變量與常量Swift使用var聲明變量,let聲明常量。

  1. var myVariable = 42
  2. myVariable = 50
  3. let myConstant = 42

類型推導Swift支持類型推導(Type Inference),所以上面的代碼不需指定類型,如果需要指定類型:

  1. let explicitDouble : Double = 70

Swift不支持隱式類型轉換(Implicitly casting),所以下面的代碼需要顯式類型轉換(Explicitly casting):

  1. let label = "The width is "
  2. let width = 94
  3. let width = label + String(width)

字符串格式化Swift使用(item)的形式進行字符串格式化:

  1. let apples = 3
  2. let oranges = 5
  3. let appleSummary = "I have (apples) apples."
  4. let appleSummary = "I have (apples + oranges) pieces of fruit."

數組和字典Swift使用[]操作符聲明數組(array)和字典(dictionary):

  1. var shoppingList = ["catfish", "water", "tulips", "blue paint"]
  2. shoppingList[1] = "bottle of water"
  3. var occupations = [
  4.     "Malcolm": "Captain",
  5.     "Kaylee": "Mechanic",
  6. ]
  7. occupations["Jayne"] = "Public Relations"

一般使用初始化器(initializer)語法創建空數組和空字典:

  1. let emptyArray = String[]()
  2. let emptyDictionary = Dictionary<String, Float>()

如果類型信息已知,則可以使用[]聲明空數組,使用[:]聲明空字典。控制流概覽Swift的條件語句包含if和switch,循環語句包含for-in、for、while和do-while,循環/判斷條件不需要括號,但循環/判斷體(body)必需括號:

  1. let individualScores = [75, 43, 103, 87, 12]
  2. var teamScore = 0
  3. for score in individualScores {
  4.     if score > 50 {
  5.         teamScore += 3
  6.     } else {
  7.         teamScore += 1
  8.     }
  9. }

可空類型結合if和let,可以方便的處理可空變量(nullable variable)。對於空值,需要在類型聲明後添加?顯式標明該類型可空。

  1. var optionalString: String? = "Hello"
  2. optionalString == nil
  3. var optionalName: String? = "John Appleseed"
  4. var gretting = "Hello!"
  5. if let name = optionalName {
  6.     gretting = "Hello, (name)"
  7. }

靈活的switchSwift中的switch支持各種各樣的比較操作:

  1. let vegetable = "red pepper"
  2. switch vegetable {
  3. case "celery":
  4.     let vegetableComment = "Add some raisins and make ants on a log."
  5. case "cucumber", "watercress":
  6.     let vegetableComment = "That would make a good tea sandwich."
  7. case let x where x.hasSuffix("pepper"):
  8.     let vegetableComment = "Is it a spicy (x)?"
  9. default:
  10.     let vegetableComment = "Everything tastes good in soup."
  11. }

其它循環for-in除瞭遍歷數組也可以用來遍歷字典:

  1. let 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. ]
  6. var largest = 0
  7. for (kind, numbers) in interestingNumbers {
  8.     for number in numbers {
  9.         if number > largest {
  10.             largest = number
  11.         }
  12.     }
  13. }
  14. largest

while循環和do-while循環:

  1. var n = 2
  2. while n < 100 {
  3.     n = n * 2
  4. }
  5. n
  6. var m = 2
  7. do {
  8.     m = m * 2
  9. } while m < 100
  10. m

Swift支持傳統的for循環,此外也可以通過結合..(生成一個區間)和for-in實現同樣的邏輯。

  1. var firstForLoop = 0
  2. for i in 0..3 {
  3.     firstForLoop += i
  4. }
  5. firstForLoop
  6. var secondForLoop = 0
  7. for var i = 0; i < 3; ++i {
  8.     secondForLoop += 1
  9. }
  10. secondForLoop

註意:Swift除瞭..還有…:..生成前閉後開的區間,而…生成前閉後閉的區間。函數和閉包函數Swift使用func關鍵字聲明函數:

  1. func greet(name: String, day: String) -> String {
  2.     return "Hello (name), today is (day)."
  3. }
  4. greet("Bob", "Tuesday")

通過元組(Tuple)返回多個值:

  1. func getGasPrices() -> (Double, Double, Double) {
  2.     return (3.59, 3.69, 3.79)
  3. }
  4. getGasPrices()

支持帶有變長參數的函數:

  1. func sumOf(numbers: Int...) -> Int {
  2.     var sum = 0
  3.     for number in numbers {
  4.         sum += number
  5.     }
  6.     return sum
  7. }
  8. sumOf()
  9. sumOf(42, 597, 12)

函數也可以嵌套函數:

  1. func returnFifteen() -> Int {
  2.     var y = 10
  3.     func add() {
  4.         y += 5
  5.     }
  6.     add()
  7.     return y
  8. }
  9. returnFifteen()

作為頭等對象,函數既可以作為返回值,也可以作為參數傳遞:

  1. func makeIncrementer() -> (Int -> Int) {
  2.     func addOne(number: Int) -> Int {
  3.         return 1 + number
  4.     }
  5.     return addOne
  6. }
  7. var increment = makeIncrementer()
  8. increment(7)
  1. func hasAnyMatches(list: Int[], condition: Int -> Bool) -> Bool {
  2.     for item in list {
  3.         if condition(item) {
  4.             return true
  5.         }
  6.     }
  7.     return false
  8. }
  9. func lessThanTen(number: Int) -> Bool {
  10.     return number < 10
  11. }
  12. var numbers = [20, 19, 7, 12]
  13. hasAnyMatches(numbers, lessThanTen)

閉包本質來說,函數是特殊的閉包,Swift中可以利用{}聲明匿名閉包:

  1. numbers.map({
  2.     (number: Int) -> Int in
  3.     let result = 3 * number
  4.     return result
  5.     })

當閉包的類型已知時,可以使用下面的簡化寫法:

  1. numbers.map({ number in 3 * number })

此外還可以通過參數的位置來使用參數,當函數最後一個參數是閉包時,可以使用下面的語法:

  1. sort([1, 5, 3, 12, 2]) { $0 > $1 }

類和對象創建和使用類Swift使用class創建一個類,類可以包含字段和方法:

  1. class Shape {
  2.     var numberOfSides = 0
  3.     func simpleDescription() -> String {
  4.         return "A shape with (numberOfSides) sides."
  5.     }
  6. }

創建Shape類的實例,並調用其字段和方法。

  1. var shape = Shape()
  2. shape.numberOfSides = 7
  3. var shapeDescription = shape.simpleDescription()

通過init構建對象,既可以使用self顯式引用成員字段(name),也可以隱式引用(numberOfSides)。

  1. class NamedShape {
  2.     var numberOfSides: Int = 0
  3.     var name: String
  4.     init(name: String) {
  5.         self.name = name
  6.     }
  7.     func simpleDescription() -> String {
  8.         return "A shape with (numberOfSides) sides."
  9.     }
  10. }

使用deinit進行清理工作。繼承和多態Swift支持繼承和多態(override父類方法):

  1. class Square: NamedShape {
  2.     var sideLength: Double
  3.     init(sideLength: Double, name: String) {
  4.         self.sideLength = sideLength
  5.         super.init(name: name)
  6.         numberOfSides = 4
  7.     }
  8.     func area() -> Double {
  9.         return sideLength * sideLength
  10.     }
  11.     override func simpleDescription() -> String {
  12.         return "A square with sides of length (sideLength)."
  13.     }
  14. }
  15. let test = Square(sideLength: 5.2, name: "my test square")
  16. test.area()
  17. test.simpleDescription()

註意:如果這裡的simpleDescription方法沒有被標識為override,則會引發編譯錯誤。屬性為瞭簡化代碼,Swift引入瞭屬性(property),見下面的perimeter字段:

  1. class EquilateralTriangle: NamedShape {
  2.     var sideLength: Double = 0.0
  3.     init(sideLength: Double, name: String) {
  4.         self.sideLength = sideLength
  5.         super.init(name: name)
  6.         numberOfSides = 3
  7.     }
  8.     var perimeter: Double {
  9.     get {
  10.         return 3.0 * sideLength
  11.     }
  12.     set {
  13.         sideLength = newValue / 3.0
  14.     }
  15.     }
  16.     override func simpleDescription() -> String {
  17.         return "An equilateral triagle with sides of length (sideLength)."
  18.     }
  19. }
  20. var triangle = EquilateralTriangle(sideLength: 3.1, name: "a triangle")
  21. triangle.perimeter
  22. triangle.perimeter = 9.9
  23. triangle.sideLength

註意:賦值器(setter)中,接收的值被自動命名為newValue。willSet和didSetEquilateralTriangle的構造器進行瞭如下操作:1.為子類型的屬性賦值。2.調用父類型的構造器。3.修改父類型的屬性。如果不需要計算屬性的值,但需要在賦值前後進行一些操作的話,使用willSet和didSet:

  1. class TriangleAndSquare {
  2.     var triangle: EquilateralTriangle {
  3.     willSet {
  4.         square.sideLength = newValue.sideLength
  5.     }
  6.     }
  7.     var square: Square {
  8.     willSet {
  9.         triangle.sideLength = newValue.sideLength
  10.     }
  11.     }
  12.     init(size: Double, name: String) {
  13.         square = Square(sideLength: size, name: name)
  14.         triangle = EquilateralTriangle(sideLength: size, name: name)
  15.     }
  16. }
  17. var triangleAndSquare = TriangleAndSquare(size: 10, name: "another test shape")
  18. triangleAndSquare.square.sideLength
  19. triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
  20. triangleAndSquare.triangle.sideLength

從而保證triangle和square擁有相等的sideLength。調用方法Swift中,函數的參數名稱隻能在函數內部使用,但方法的參數名稱除瞭在內部使用外還可以在外部使用(第一個參數除外),例如:

  1. class Counter {
  2.     var count: Int = 0
  3.     func incrementBy(amount: Int, numberOfTimes times: Int) {
  4.         count += amount * times
  5.     }
  6. }
  7. var counter = Counter()
  8. counter.incrementBy(2, numberOfTimes: 7)

註意Swift支持為方法參數取別名:在上面的代碼裡,numberOfTimes面向外部,times面向內部。?的另一種用途使用可空值時,?可以出現在方法、屬性或下標前面。如果?前的值為nil,那麼?後面的表達式會被忽略,而原表達式直接返回nil,例如:

  1. 1
  2. 2
  3. 3
  4. let optionalSquare: Square? = Square(sideLength: 2.5, name: "optional
  5. square")
  6. let sideLength = optionalSquare?.sideLength

當optionalSquare為nil時,sideLength屬性調用會被忽略。枚舉和結構枚舉使用enum創建枚舉——註意Swift的枚舉可以關聯方法:

  1. enum Rank: Int {
  2.     case Ace = 1
  3.     case Two, Three, Four, Five, Six, Seven, Eight, Nine, Ten
  4.     case Jack, Queen, King
  5.         func simpleDescription() -> String {
  6.         switch self {
  7.             case .Ace:
  8.                 return "ace"
  9.             case .Jack:
  10.                 return "jack"
  11.             case .Queen:
  12.                 return "queen"
  13.             case .King:
  14.                 return "king"
  15.             default:
  16.                 return String(self.toRaw())
  17.         }
  18.     }
  19. }
  20. let ace = Rank.Ace
  21. let aceRawValue = ace.toRaw()

使用toRaw和fromRaw在原始(raw)數值和枚舉值之間進行轉換:

  1. if let convertedRank = Rank.fromRaw(3) {
  2.     let threeDescription = convertedRank.simpleDescription()
  3. }

註意:枚舉中的成員值(member value)是實際的值(actual value),和原始值(raw value)沒有必然關聯。一些情況下枚舉不存在有意義的原始值,這時可以直接忽略原始值:

  1. enum Suit {
  2.     case Spades, Hearts, Diamonds, Clubs
  3.         func simpleDescription() -> String {
  4.         switch self {
  5.             case .Spades:
  6.                 return "spades"
  7.             case .Hearts:
  8.                 return "hearts"
  9.             case .Diamonds:
  10.                 return "diamonds"
  11.             case .Clubs:
  12.                 return "clubs"
  13.         }
  14.     }
  15. }
  16. let hearts = Suit.Hearts
  17. let heartsDescription = hearts.simpleDescription()

除瞭可以關聯方法,枚舉還支持在其成員上關聯值,同一枚舉的不同成員可以有不同的關聯的值:

  1. enum ServerResponse {
  2.     case Result(String, String)
  3.     case Error(String)
  4. }
  5. let success = ServerResponse.Result("6:00 am", "8:09 pm")
  6. let failure = ServerResponse.Error("Out of cheese.")
  7. switch success {
  8.     case let .Result(sunrise, sunset):
  9.         let serverResponse = "Sunrise is at (sunrise) and sunset is at (sunset)."
  10.     case let .Error(error):
  11.         let serverResponse = "Failure... (error)"
  12. }

結構Swift使用struct關鍵字創建結構。結構支持構造器和方法這些類的特性。結構和類的最大區別在於:結構的實例按值傳遞(passed by value),而類的實例按引用傳遞(passed by reference)。

  1. struct Card {
  2.     var rank: Rank
  3.     var suit: Suit
  4.     func simpleDescription() -> String {
  5.         return "The (rank.simpleDescription()) of (suit.simpleDescription())"
  6.     }
  7. }
  8. let threeOfSpades = Card(rank: .Three, suit: .Spades)
  9. let threeOfSpadesDescription = threeOfSpades.simpleDescription()

協議(protocol)和擴展(extension)協議Swift使用protocol定義協議:

  1. protocol ExampleProtocol {
  2.     var simpleDescription: String { get }
  3.     mutating func adjust()
  4. }

類型、枚舉和結構都可以實現(adopt)協議:

  1. class SimpleClass: ExampleProtocol {
  2.     var simpleDescription: String = "A very simple class."
  3.     var anotherProperty: Int = 69105
  4.     func adjust() {
  5.         simpleDescription += " Now 100% adjusted."
  6.     }
  7. }
  8. var a = SimpleClass()
  9. a.adjust()
  10. let aDescription = a.simpleDescription
  11. struct SimpleStructure: ExampleProtocol {
  12.     var simpleDescription: String = "A simple structure"
  13.     mutating func adjust() {
  14.         simpleDescription += " (adjusted)"
  15.     }
  16. }
  17. var b = SimpleStructure()
  18. b.adjust()
  19. let bDescription = b.simpleDescription

擴展擴展用於在已有的類型上增加新的功能(比如新的方法或屬性),Swift使用extension聲明擴展:

  1. extension Int: ExampleProtocol {
  2.     var simpleDescription: String {
  3.         return "The number (self)"
  4.     }
  5.     mutating func adjust() {
  6.         self += 42
  7.     }
  8. }
  9. 7.simpleDescription

泛型(generics)Swift使用<>來聲明泛型函數或泛型類型:

  1. func repeat<ItemType>(item: ItemType, times: Int) -> ItemType[] {
  2.     var result = ItemType[]()
  3.     for i in 0..times {
  4.         result += item
  5.     }
  6.     return result
  7. }
  8. repeat("knock", 4)

Swift也支持在類、枚舉和結構中使用泛型:

  1. // Reimplement the Swift standard library's optional type
  2. enum OptionalValue<T> {
  3.     case None
  4.     case Some(T)
  5. }
  6. var possibleInteger: OptionalValue<Int> = .None
  7. possibleInteger = .Some(100)

有時需要對泛型做一些需求(requirements),比如需求某個泛型類型實現某個接口或繼承自某個特定類型、兩個泛型類型屬於同一個類型等等,Swift通過where描述這些需求:

  1. func anyCommonElements <T, U where T: Sequence, U: Sequence, T.GeneratorType.Element: Equatable, T.GeneratorType.Element == U.GeneratorType.Element> (lhs: T, rhs: U) -> Bool {
  2.     for lhsItem in lhs {
  3.         for rhsItem in rhs {
  4.             if lhsItem == rhsItem {
  5.                 return true
  6.             }
  7.         }
  8.     }
  9.     return false
  10. }
  11. anyCommonElements([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——作為開發者,我很高興能夠見證一門編程語言的誕生。

Comments are closed.