Swift 構造過程

構造過程是為了使用某個類、結構體或列舉型別的例項而進行的準備過程。這個過程包含了為例項中的每個屬性設定初始值和為其執行必要的準備和初始化任務。

Swift 建構函式使用 init() 方法。

與 Objective-C 中的構造器不同，Swift 的構造器無需返回值，它們的主要任務是保證新例項在第一次使用前完成正確的初始化。

類例項也可以通過定義析構器（deinitializer）在類例項釋放之前執行清理記憶體的工作。

儲存型屬性的初始賦值

類和結構體在例項建立時，必須為所有儲存型屬性設定合適的初始值。

儲存屬性在構造器中賦值時，它們的值是被直接設定的，不會觸發任何屬性觀測器。

儲存屬性在構造器中賦值流程：

• 建立初始值。

• 在屬性定義中指定預設屬性值。

• 初始化例項，並呼叫 init() 方法。

構造器

構造器在建立某特定型別的新例項時呼叫。它的最簡形式類似於一個不帶任何引數的例項方法，以關鍵字init命名。

語法

init()
{
    // 例項化後執行的程式碼
}

例項

以下結構體定義了一個不帶引數的構造器 init，並在裡面將儲存型屬性 length 和 breadth 的值初始化為 6 和 12：

struct rectangle {
    var length: Double
    var breadth: Double
    init() {
        length = 6
        breadth = 12
    }
}
var area = rectangle()
print("矩形面積為 \(area.length*area.breadth)")

以上程式執行輸出結果為：

矩形面積為 72.0

預設屬性值

我們可以在構造器中為儲存型屬性設定初始值；同樣，也可以在屬性宣告時為其設定預設值。

使用預設值能讓你的構造器更簡潔、更清晰，且能通過預設值自動推匯出屬性的型別。

以下例項我們在屬性宣告時為其設定預設值：

struct rectangle {
    // 設定預設值
    var length = 6
    var breadth = 12
}
var area = rectangle()
print("矩形的面積為 \(area.length*area.breadth)")

以上程式執行輸出結果為：

矩形面積為 72

構造引數

你可以在定義構造器 init() 時提供構造引數，如下所示：

struct Rectangle {
    var length: Double
    var breadth: Double
    var area: Double
    
    init(fromLength length: Double, fromBreadth breadth: Double) {
        self.length = length
        self.breadth = breadth
        area = length * breadth
    }
    
    init(fromLeng leng: Double, fromBread bread: Double) {
        self.length = leng
        self.breadth = bread
        area = leng * bread
    }
}

let ar = Rectangle(fromLength: 6, fromBreadth: 12)
print("面積為: \(ar.area)")

let are = Rectangle(fromLeng: 36, fromBread: 12)
print("面積為: \(are.area)")

以上程式執行輸出結果為：

面積為: 72.0
面積為: 432.0

內部和外部引數名

跟函式和方法引數相同，構造引數也存在一個在構造器內部使用的引數名字和一個在呼叫構造器時使用的外部引數名字。

然而，構造器並不像函式和方法那樣在括號前有一個可辨別的名字。所以在呼叫構造器時，主要通過構造器中的引數名和型別來確定需要呼叫的構造器。

如果你在定義構造器時沒有提供引數的外部名字，Swift 會為每個構造器的引數自動生成一個跟內部名字相同的外部名。

struct Color {
    let red, green, blue: Double
    init(red: Double, green: Double, blue: Double) {
        self.red   = red
        self.green = green
        self.blue  = blue
    }
    init(white: Double) {
        red   = white
        green = white
        blue  = white
    }
}

// 建立一個新的Color例項，通過三種顏色的外部引數名來傳值，並呼叫構造器
let magenta = Color(red: 1.0, green: 0.0, blue: 1.0)

print("red 值為: \(magenta.red)")
print("green 值為: \(magenta.green)")
print("blue 值為: \(magenta.blue)")

// 建立一個新的Color例項，通過三種顏色的外部引數名來傳值，並呼叫構造器
let halfGray = Color(white: 0.5)
print("red 值為: \(halfGray.red)")
print("green 值為: \(halfGray.green)")
print("blue 值為: \(halfGray.blue)")

以上程式執行輸出結果為：

red 值為: 1.0
green 值為: 0.0
blue 值為: 1.0
red 值為: 0.5
green 值為: 0.5
blue 值為: 0.5

沒有外部名稱引數

如果你不希望為構造器的某個引數提供外部名字，你可以使用下劃線_來顯示描述它的外部名。

struct Rectangle {
    var length: Double
    
    init(frombreadth breadth: Double) {
        length = breadth * 10
    }
    
    init(frombre bre: Double) {
        length = bre * 30
    }
    //不提供外部名字
    init(_ area: Double) {
        length = area
    }
}

// 呼叫不提供外部名字
let rectarea = Rectangle(180.0)
print("面積為: \(rectarea.length)")

// 呼叫不提供外部名字
let rearea = Rectangle(370.0)
print("面積為: \(rearea.length)")

// 呼叫不提供外部名字
let recarea = Rectangle(110.0)
print("面積為: \(recarea.length)")

以上程式執行輸出結果為：

面積為: 180.0
面積為: 370.0
面積為: 110.0

可選屬性型別

如果你定製的型別包含一個邏輯上允許取值為空的儲存型屬性，你都需要將它定義為可選型別optional type（可選屬性型別）。

當儲存屬性宣告為可選時，將自動初始化為空 nil。

struct Rectangle {
    var length: Double?
    
    init(frombreadth breadth: Double) {
        length = breadth * 10
    }
    
    init(frombre bre: Double) {
        length = bre * 30
    }
    
    init(_ area: Double) {
        length = area
    }
}

let rectarea = Rectangle(180.0)
print("面積為：\(rectarea.length)")

let rearea = Rectangle(370.0)
print("面積為：\(rearea.length)")

let recarea = Rectangle(110.0)
print("面積為：\(recarea.length)")

以上程式執行輸出結果為：

面積為：Optional(180.0)
面積為：Optional(370.0)
面積為：Optional(110.0)

構造過程中修改常量屬性

只要在構造過程結束前常量的值能確定，你可以在構造過程中的任意時間點修改常量屬性的值。

對某個類例項來說，它的常量屬性只能在定義它的類的構造過程中修改；不能在子類中修改。

儘管 length 屬性現在是常量，我們仍然可以在其類的構造器中設定它的值：

struct Rectangle {
    let length: Double?
    
    init(frombreadth breadth: Double) {
        length = breadth * 10
    }
    
    init(frombre bre: Double) {
        length = bre * 30
    }
    
    init(_ area: Double) {
        length = area
    }
}

let rectarea = Rectangle(180.0)
print("面積為：\(rectarea.length)")

let rearea = Rectangle(370.0)
print("面積為：\(rearea.length)")

let recarea = Rectangle(110.0)
print("面積為：\(recarea.length)")

以上程式執行輸出結果為：

面積為：Optional(180.0)
面積為：Optional(370.0)
面積為：Optional(110.0)

預設構造器

預設構造器將簡單的建立一個所有屬性值都設定為預設值的例項:

以下例項中，ShoppingListItem類中的所有屬性都有預設值，且它是沒有父類的基類，它將自動獲得一個可以為所有屬性設定預設值的預設構造器

class ShoppingListItem {
    var name: String?
    var quantity = 1
    var purchased = false
}
var item = ShoppingListItem()


print("名字為: \(item.name)")
print("數理為: \(item.quantity)")
print("是否付款: \(item.purchased)")

以上程式執行輸出結果為：

名字為: nil
數理為: 1
是否付款: false

結構體的逐一成員構造器

如果結構體對所有儲存型屬性提供了預設值且自身沒有提供定製的構造器，它們能自動獲得一個逐一成員構造器。

我們在呼叫逐一成員構造器時，通過與成員屬性名相同的引數名進行傳值來完成對成員屬性的初始賦值。

下面例子中定義了一個結構體 Rectangle，它包含兩個屬性 length 和 breadth。Swift 可以根據這兩個屬性的初始賦值100.0 、200.0自動推匯出它們的型別Double。

struct Rectangle {
    var length = 100.0, breadth = 200.0
}
let area = Rectangle(length: 24.0, breadth: 32.0)

print("矩形的面積: \(area.length)")
print("矩形的面積: \(area.breadth)")

由於這兩個儲存型屬性都有預設值，結構體 Rectangle 自動獲得了一個逐一成員構造器 init(width:height:)。 你可以用它來為 Rectangle 建立新的例項。

以上程式執行輸出結果為：

矩形的面積: 24.0
矩形的面積: 32.0

值型別的構造器代理

構造器可以通過呼叫其它構造器來完成例項的部分構造過程。這一過程稱為構造器代理，它能減少多個構造器間的程式碼重複。

以下例項中，Rect 結構體呼叫了 Size 和 Point 的構造過程：

struct Size {
    var width = 0.0, height = 0.0
}
struct Point {
    var x = 0.0, y = 0.0
}

struct Rect {
    var origin = Point()
    var size = Size()
    init() {}
    init(origin: Point, size: Size) {
        self.origin = origin
        self.size = size
    }
    init(center: Point, size: Size) {
        let originX = center.x - (size.width / 2)
        let originY = center.y - (size.height / 2)
        self.init(origin: Point(x: originX, y: originY), size: size)
    }
}


// origin和size屬性都使用定義時的預設值Point(x: 0.0, y: 0.0)和Size(width: 0.0, height: 0.0)：
let basicRect = Rect()
print("Size 結構體初始值: \(basicRect.size.width, basicRect.size.height) ")
print("Rect 結構體初始值: \(basicRect.origin.x, basicRect.origin.y) ")

// 將origin和size的引數值賦給對應的儲存型屬性
let originRect = Rect(origin: Point(x: 2.0, y: 2.0),
    size: Size(width: 5.0, height: 5.0))

print("Size 結構體初始值: \(originRect.size.width, originRect.size.height) ")
print("Rect 結構體初始值: \(originRect.origin.x, originRect.origin.y) ")


//先通過center和size的值計算出origin的座標。
//然後再呼叫（或代理給）init(origin:size:)構造器來將新的origin和size值賦值到對應的屬性中
let centerRect = Rect(center: Point(x: 4.0, y: 4.0),
    size: Size(width: 3.0, height: 3.0))

print("Size 結構體初始值: \(centerRect.size.width, centerRect.size.height) ")
print("Rect 結構體初始值: \(centerRect.origin.x, centerRect.origin.y) ")

以上程式執行輸出結果為：

Size 結構體初始值: (0.0, 0.0) 
Rect 結構體初始值: (0.0, 0.0) 
Size 結構體初始值: (5.0, 5.0) 
Rect 結構體初始值: (2.0, 2.0) 
Size 結構體初始值: (3.0, 3.0) 
Rect 結構體初始值: (2.5, 2.5) 

構造器代理規則

類的繼承和構造過程

Swift 提供了兩種型別的類構造器來確保所有類例項中儲存型屬性都能獲得初始值，它們分別是指定構造器和便利構造器。

Init(parameters) {
    statements
}

convenience init(parameters) {
      statements
}

指定構造器例項

class mainClass {
    var no1 : Int // 區域性儲存變數
    init(no1 : Int) {
        self.no1 = no1 // 初始化
    }
}
class subClass : mainClass {
    var no2 : Int // 新的子類儲存變數
    init(no1 : Int, no2 : Int) {
        self.no2 = no2 // 初始化
        super.init(no1:no1) // 初始化超類
    }
}

let res = mainClass(no1: 10)
let res2 = subClass(no1: 10, no2: 20)

print("res 為: \(res.no1)")
print("res2 為: \(res2.no1)")
print("res2 為: \(res2.no2)")

以上程式執行輸出結果為：

res 為: 10
res 為: 10
res 為: 20

便利構造器例項

class mainClass {
    var no1 : Int // 區域性儲存變數
    init(no1 : Int) {
        self.no1 = no1 // 初始化
    }
}

class subClass : mainClass {
    var no2 : Int
    init(no1 : Int, no2 : Int) {
        self.no2 = no2
        super.init(no1:no1)
    }
    // 便利方法只需要一個引數
    override convenience init(no1: Int)  {
        self.init(no1:no1, no2:0)
    }
}
let res = mainClass(no1: 20)
let res2 = subClass(no1: 30, no2: 50)

print("res 為: \(res.no1)")
print("res2 為: \(res2.no1)")
print("res2 為: \(res2.no2)")

以上程式執行輸出結果為：

res 為: 20
res2 為: 30
res2 為: 50

構造器的繼承和過載

Swift 中的子類不會預設繼承父類的構造器。

父類的構造器僅在確定和安全的情況下被繼承。

當你重寫一個父類指定構造器時，你需要寫override修飾符。

class SuperClass {
    var corners = 4
    var description: String {
        return "\(corners) 邊"
    }
}
let rectangle = SuperClass()
print("矩形: \(rectangle.description)")

class SubClass: SuperClass {
    override init() {  //過載構造器
        super.init()
        corners = 5
    }
}

let subClass = SubClass()
print("五角型: \(subClass.description)")

以上程式執行輸出結果為：

矩形: 4 邊
五角型: 5 邊

指定構造器和便利構造器例項

接下來的例子將在操作中展示指定構造器、便利構造器和自動構造器的繼承。

它定義了包含兩個個類MainClass、SubClass的類層次結構，並將演示它們的構造器是如何相互作用的。

class MainClass {
    var name: String
    
    init(name: String) {
        self.name = name
    }
    
    convenience init() {
        self.init(name: "[匿名]")
    }
}
let main = MainClass(name: "itread01")
print("MainClass 名字為: \(main.name)")

let main2 = MainClass()
print("沒有對應名字: \(main2.name)")

class SubClass: MainClass {
    var count: Int
    init(name: String, count: Int) {
        self.count = count
        super.init(name: name)
    }
    
    override convenience init(name: String) {
        self.init(name: name, count: 1)
    }
}

let sub = SubClass(name: "itread01")
print("MainClass 名字為: \(sub.name)")

let sub2 = SubClass(name: "itread01", count: 3)
print("count 變數: \(sub2.count)")

以上程式執行輸出結果為：

MainClass 名字為: itread01
沒有對應名字: [匿名]
MainClass 名字為: itread01
count 變數: 3

類的可失敗構造器

如果一個類，結構體或列舉型別的物件，在構造自身的過程中有可能失敗，則為其定義一個可失敗構造器。

變數初始化失敗可能的原因有：

• 傳入無效的引數值。

• 缺少某種所需的外部資源。

• 沒有滿足特定條件。

為了妥善處理這種構造過程中可能會失敗的情況。

你可以在一個類，結構體或是列舉型別的定義中，新增一個或多個可失敗構造器。其語法為在init關鍵字後面加添問號(init?)。

例項

下例中，定義了一個名為Animal的結構體，其中有一個名為species的，String型別的常量屬性。

同時該結構體還定義了一個，帶一個String型別引數species的,可失敗構造器。這個可失敗構造器，被用來檢查傳入的引數是否為一個空字串，如果為空字串，則該可失敗構造器，構建物件失敗，否則成功。

struct Animal {
    let species: String
    init?(species: String) {
        if species.isEmpty { return nil }
        self.species = species
    }
}

//通過該可失敗構造器來構建一個Animal的物件，並檢查其構建過程是否成功
// someCreature 的型別是 Animal? 而不是 Animal
let someCreature = Animal(species: "長頸鹿")

// 列印 "動物初始化為長頸鹿"
if let giraffe = someCreature {
    print("動物初始化為\(giraffe.species)")
}

以上程式執行輸出結果為：

動物初始化為長頸鹿

列舉型別的可失敗構造器

你可以通過構造一個帶一個或多個引數的可失敗構造器來獲取列舉型別中特定的列舉成員。

例項

下例中，定義了一個名為TemperatureUnit的列舉型別。其中包含了三個可能的列舉成員(Kelvin，Celsius，和 Fahrenheit)和一個被用來找到Character值所對應的列舉成員的可失敗構造器：

enum TemperatureUnit {
    // 開爾文，攝氏，華氏
    case Kelvin, Celsius, Fahrenheit
    init?(symbol: Character) {
        switch symbol {
        case "K":
            self = .Kelvin
        case "C":
            self = .Celsius
        case "F":
            self = .Fahrenheit
        default:
            return nil
        }
    }
}


let fahrenheitUnit = TemperatureUnit(symbol: "F")
if fahrenheitUnit != nil {
    print("這是一個已定義的溫度單位，所以初始化成功。")
}

let unknownUnit = TemperatureUnit(symbol: "X")
if unknownUnit == nil {
    print("這不是一個已定義的溫度單位，所以初始化失敗。")
}

以上程式執行輸出結果為：

這是一個已定義的溫度單位，所以初始化成功。
這不是一個已定義的溫度單位，所以初始化失敗。

類的可失敗構造器

值型別（如結構體或列舉型別）的可失敗構造器，對何時何地觸發構造失敗這個行為沒有任何的限制。

但是，類的可失敗構造器只能在所有的類屬性被初始化後和所有類之間的構造器之間的代理呼叫發生完後觸發失敗行為。

例項

下例子中，定義了一個名為 StudRecord 的類，因為 studname 屬性是一個常量，所以一旦 StudRecord 類構造成功，studname 屬性肯定有一個非nil的值。

class StudRecord {
    let studname: String!
    init?(studname: String) {
        self.studname = studname
        if studname.isEmpty { return nil }
    }
}
if let stname = StudRecord(studname: "失敗構造器") {
    print("模組為 \(stname.studname)")
}

以上程式執行輸出結果為：

模組為 失敗構造器

覆蓋一個可失敗構造器

就如同其它構造器一樣，你也可以用子類的可失敗構造器覆蓋基類的可失敗構造器。

者你也可以用子類的非可失敗構造器覆蓋一個基類的可失敗構造器。

你可以用一個非可失敗構造器覆蓋一個可失敗構造器，但反過來卻行不通。

一個非可失敗的構造器永遠也不能代理呼叫一個可失敗構造器。

例項

以下例項描述了可失敗與非可失敗構造器：

class Planet {
    var name: String
    
    init(name: String) {
        self.name = name
    }
    
    convenience init() {
        self.init(name: "[No Planets]")
    }
}
let plName = Planet(name: "Mercury")
print("行星的名字是: \(plName.name)")

let noplName = Planet()
print("沒有這個名字的行星: \(noplName.name)")

class planets: Planet {
    var count: Int
    
    init(name: String, count: Int) {
        self.count = count
        super.init(name: name)
    }
    
    override convenience init(name: String) {
        self.init(name: name, count: 1)
    }
}

以上程式執行輸出結果為：

行星的名字是: Mercury
沒有這個名字的行星: [No Planets]

可失敗構造器 init!

通常來說我們通過在init關鍵字後新增問號的方式（init?）來定義一個可失敗構造器，但你也可以使用通過在init後面新增驚歎號的方式來定義一個可失敗構造器(init!)。例項如下：

struct StudRecord {
    let stname: String
    
    init!(stname: String) {
        if stname.isEmpty {return nil }
        self.stname = stname
    }
}

let stmark = StudRecord(stname: "itread01")
if let name = stmark {
    print("指定了學生名")
}

let blankname = StudRecord(stname: "")
if blankname == nil {
    print("學生名為空")
}

以上程式執行輸出結果為：

指定了學生名
學生名為空