鍍金池/ 教程/ iOS/ Swift類的繼承和構(gòu)造過程
Swift模式
Swift溢出運算符
Swift連接多層鏈接
Swift類聲明
Swift類型特性
Swift解決閉包引起的循環(huán)強引用
Swift函數(shù)參數(shù)名稱
Swift下標
Swift嵌套函數(shù)
Swift字符串插值
swift數(shù)值型字面量
Swift條件語句
Swift實例方法
Swift定義一個基類
Swift協(xié)議聲明
Swift比較字符串
Swift空白與注釋
Swift浮點數(shù)
Swift區(qū)間運算符
Swift閉包
Swift數(shù)據(jù)類型
Swift Unicode
Swift高級運算符
Swift擴展語法
Swift自動引用計數(shù)實踐
Swift下標腳本用法
Swift捕獲值
Swift for循環(huán)
Swift 繼承
Swift常量
Swift通過閉包和函數(shù)來設(shè)置屬性的默認值
Swift比較運算符
Swift循環(huán)語句
Swift析構(gòu)聲明
Swift防止重寫
Swift嵌套類型
Swift if...else語句
Swift集合的可變性
Swift訪問控制
Swift break語句
Swift函數(shù)類型
Swift原始值
Swift字符串是值類型
Swift For語句
Swift命名類型參數(shù)
Swift類型安全和類型推斷
Swift邏輯運算符
Swift決策
Swift字符串和字符
Swift閉包是引用類型
Swift三元條件運算
Swift泛型形參子句
Swift突變方法要求
Swift函數(shù)的定義與調(diào)用
Swift Any和AnyObject類型轉(zhuǎn)換
Swift泛型類型
Swift閉包引起的循環(huán)強引用
Swift 屬性
Swift優(yōu)先級和結(jié)合性
Swift主表達式
Swift重寫
Swift運算術(shù)語
Swift協(xié)議合成類型
Swift構(gòu)造器聲明
Swift 擴展
Swift 反初始化
Swift函數(shù)參數(shù)與返回值
Swift結(jié)構(gòu)體
Swift聲明特性
Swift語句
Swift引入聲明
Swift ARC自動引用計數(shù)
Swift類型轉(zhuǎn)換
Swift協(xié)議類型
Swift繼承
Swift運算符函數(shù)
Swift集合中的協(xié)議類型
Swift While循環(huán)
Swift協(xié)議
Swift變量聲明
Swift方法擴展
Swift通過可選鏈調(diào)用屬性
Swift類和結(jié)構(gòu)體對比
Swift Switch語句
Swift分支語句
Swift協(xié)議的語法
Swift值類型的構(gòu)造器代理
Swift協(xié)議的繼承
Swift算術(shù)運算符
Swift在擴展中添加協(xié)議成員
Swift字符串可變性
Swift類型注解
Swift擴展聲明
Swift自動引用計數(shù)
Swift類是引用類型
Swift析構(gòu)過程
Swift存儲屬性
Swift全局變量和局部變量
Swift下標腳本聲明
Swift類和結(jié)構(gòu)體
Swift數(shù)值型類型轉(zhuǎn)換
Swift類型別名
Swift 協(xié)議
swift分號
Swift賦值表達式
Swift計算字符數(shù)量
Swift定制化構(gòu)造過程
Swift運算符優(yōu)先級
Swift可選鏈
Swift標識符
Swift泛型所解決的問題
Swift二元表達式
Swift閉包
Swift匹配枚舉值和Switch語句
Swift使用字符
Swift斷言
Swift類型的別名聲明
Swift可選鏈可替代強制解析
Swift后綴表達式
Swift帶標簽的語句
Swift屬性要求
Swift連接字符串和字符
Swift自定義運算符
Swift類型轉(zhuǎn)換運算符
Swift閉包表達式
Swift枚舉語法
Swift類實例之間的循環(huán)強引用
Swift字符
Swift復合賦值
Swift析構(gòu)過程原理
Swift枚舉
Swift結(jié)構(gòu)體聲明
Swift do...while循環(huán)
Swift運算符
Swift使用可選鏈調(diào)用子腳本
Swift控制轉(zhuǎn)移語句
Swift前綴表達式
Swift表達式模式
Swift開發(fā)環(huán)境設(shè)置
Swift類型約束
Swift while循環(huán)
Swift元組類型
Swift枚舉用例模式
Swift默認構(gòu)造器
Swift 方法
Swift委托(代理)模式
Swift類型轉(zhuǎn)換模式
Swift類型方法
Swift方法要求
Swift位運算符
Swift下標腳本
Swift可選類型
Swift聲明
Swift類型標識符
Swift元組
Swift字符串
Swift枚舉聲明
Swift屬性
Swift模塊范圍
Swift泛型
Swift類的繼承和構(gòu)造過程
Swift定義一個類層次作為例子
Swift構(gòu)造過程
Swift泛型函數(shù)
Swift快速入門
Swift注釋
Swift基礎(chǔ)
Swift下標腳本選項
Swift數(shù)組類型
Swift關(guān)聯(lián)類型
Swift集合(Collection)類型的賦值和拷貝行為
Swift類型參數(shù)
Swift 類型轉(zhuǎn)換
Swift下標腳本語法
Swift計算屬性
Swift方法
Swift檢查類型
Swift標識符模式
Swift比較運算
Swift 泛型
Swift基本語法
Swift賦值運算符
Swift布爾值
Swift位運算符
Swift函數(shù)
Swift初始化空字符串
Swift為可選鏈定義模型類
Swift元組模式
Swift通過可選鏈調(diào)用方法
Swift if...else if...else語句
Swift通過擴展補充協(xié)議聲明
Swift可選類型(命名型類型)
Swift類型推斷
Swift continue語句
Swift泛型參數(shù)
Swift協(xié)議合成
Swift For循環(huán)
Swift控制流
Swift結(jié)構(gòu)體和枚舉是值類型
Swift函數(shù)類型(參數(shù)類型和返回值類型)
Swift自動引用計數(shù)的工作機制
Swift fallthrough語句
Swift字符串字面量
Swift運算符聲明
Swift函數(shù)
Swift類
Swift類型屬性
Swift表達式
Swift范圍運算符
Swift邏輯運算
Swift賦值運算符
Swift if語句
Swift數(shù)組
Swift枚舉
Swift循環(huán)
Swift擴展
Swift檢驗協(xié)議的一致性
Swift解決實例之間的循環(huán)強引用
Swift整數(shù)
Swift函數(shù)聲明
Swift嵌套類型擴展
Swift 下標
Swift可選協(xié)議要求
Swift子類生成
Swift變量
Swift計算型屬性
Swift 可選鏈
Swift嵌套類型實例
Swift類型繼承子句
Swift教程
Swift析構(gòu)函數(shù)操作
Swift存儲型屬性的初始賦值
Swift類和結(jié)構(gòu)體的選擇
Swift類型
Swift數(shù)組
Swift相關(guān)值
Swift向下轉(zhuǎn)型
Swift特性
Swift屬性監(jiān)視器
Swift語法結(jié)構(gòu)
Swift尾隨閉包
Swift字典
Swift代碼塊
Swift其它運算符
Swift嵌套類型的引用
Swift Where語句
Swift關(guān)鍵字
Swift數(shù)值運算
Swift集合類型 (Collection Types)
Swift通配符模式
Swift運算符
Swift字面量
Swift常量聲明
Swift元類型
Swift字面量
Swift初始化
Swift鏈接可選返回值的方法
Swift值綁定模式
Swift隱式解析可選類型
Swift嵌套 if 語句
Swift大寫和小寫字符串
Swift構(gòu)造器
Swift for-in循環(huán)
Swift常量和變量

Swift類的繼承和構(gòu)造過程

類的繼承和構(gòu)造過程

類里面的所有存儲型屬性--包括所有繼承自父類的屬性--都必須在構(gòu)造過程中設(shè)置初始值。

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

指定構(gòu)造器和便利構(gòu)造器

指定構(gòu)造器是類中最主要的構(gòu)造器。一個指定構(gòu)造器將初始化類中提供的所有屬性,并根據(jù)父類鏈往上調(diào)用父類的構(gòu)造器來實現(xiàn)父類的初始化。

每一個類都必須擁有至少一個指定構(gòu)造器。在某些情況下,許多類通過繼承了父類中的指定構(gòu)造器而滿足了這個條件。具體內(nèi)容請參考后續(xù)章節(jié)自動構(gòu)造器的繼承

便利構(gòu)造器是類中比較次要的、輔助型的構(gòu)造器。你可以定義便利構(gòu)造器來調(diào)用同一個類中的指定構(gòu)造器,并為其參數(shù)提供默認值。你也可以定義便利構(gòu)造器來創(chuàng)建一個特殊用途或特定輸入的實例。

你應(yīng)當只在必要的時候為類提供便利構(gòu)造器,比方說某種情況下通過使用便利構(gòu)造器來快捷調(diào)用某個指定構(gòu)造器,能夠節(jié)省更多開發(fā)時間并讓類的構(gòu)造過程更清、晰明。

構(gòu)造器鏈

為了簡化指定構(gòu)造器和便利構(gòu)造器之間的調(diào)用關(guān)系,Swift 采用以下三條規(guī)則來限制構(gòu)造器之間的代理調(diào)用:

規(guī)則 1

指定構(gòu)造器必須調(diào)用其直接父類的的指定構(gòu)造器。

規(guī)則 2

便利構(gòu)造器必須調(diào)用同一類中定義的其它構(gòu)造器。

規(guī)則 3

便利構(gòu)造器必須最終以調(diào)用一個指定構(gòu)造器結(jié)束。

一個更方便記憶的方法是:

  • 指定構(gòu)造器必須總是向上代理
  • 便利構(gòu)造器必須總是橫向代理

這些規(guī)則可以通過下面圖例來說明:

構(gòu)造器代理圖

如圖所示,父類中包含一個指定構(gòu)造器和兩個便利構(gòu)造器。其中一個便利構(gòu)造器調(diào)用了另外一個便利構(gòu)造器,而后者又調(diào)用了唯一的指定構(gòu)造器。這滿足了上面提到的規(guī)則2和3。這個父類沒有自己的父類,所以規(guī)則1沒有用到。

子類中包含兩個指定構(gòu)造器和一個便利構(gòu)造器。便利構(gòu)造器必須調(diào)用兩個指定構(gòu)造器中的任意一個,因為它只能調(diào)用同一個類里的其他構(gòu)造器。這滿足了上面提到的規(guī)則2和3。而兩個指定構(gòu)造器必須調(diào)用父類中唯一的指定構(gòu)造器,這滿足了規(guī)則1。


注意:
這些規(guī)則不會影響使用時,如何用類去創(chuàng)建實例。任何上圖中展示的構(gòu)造器都可以用來完整創(chuàng)建對應(yīng)類的實例。這些規(guī)則只在實現(xiàn)類的定義時有影響。
 

下面圖例中展示了一種更復雜的類層級結(jié)構(gòu)。它演示了指定構(gòu)造器是如果在類層級中充當“管道”的作用,在類的構(gòu)造器鏈上簡化了類之間的內(nèi)部關(guān)系。

復雜構(gòu)造器代理圖

兩段式構(gòu)造過程

Swift 中類的構(gòu)造過程包含兩個階段。第一個階段,每個存儲型屬性通過引入它們的類的構(gòu)造器來設(shè)置初始值。當每一個存儲型屬性值被確定后,第二階段開始,它給每個類一次機會在新實例準備使用之前進一步定制它們的存儲型屬性。

兩段式構(gòu)造過程的使用讓構(gòu)造過程更安全,同時在整個類層級結(jié)構(gòu)中給予了每個類完全的靈活性。兩段式構(gòu)造過程可以防止屬性值在初始化之前被訪問;也可以防止屬性被另外一個構(gòu)造器意外地賦予不同的值。


注意:
Swift的兩段式構(gòu)造過程跟 Objective-C 中的構(gòu)造過程類似。最主要的區(qū)別在于階段 1,Objective-C 給每一個屬性賦值0或空值(比如說0nil)。Swift 的構(gòu)造流程則更加靈活,它允許你設(shè)置定制的初始值,并自如應(yīng)對某些屬性不能以0nil作為合法默認值的情況。
 

Swift 編譯器將執(zhí)行 4 種有效的安全檢查,以確保兩段式構(gòu)造過程能順利完成:

安全檢查 1

指定構(gòu)造器必須保證它所在類引入的所有屬性都必須先初始化完成,之后才能將其它構(gòu)造任務(wù)向上代理給父類中的構(gòu)造器。

如上所述,一個對象的內(nèi)存只有在其所有存儲型屬性確定之后才能完全初始化。為了滿足這一規(guī)則,指定構(gòu)造器必須保證它所在類引入的屬性在它往上代理之前先完成初始化。

安全檢查 2

指定構(gòu)造器必須先向上代理調(diào)用父類構(gòu)造器,然后再為繼承的屬性設(shè)置新值。如果沒這么做,指定構(gòu)造器賦予的新值將被父類中的構(gòu)造器所覆蓋。

安全檢查 3

便利構(gòu)造器必須先代理調(diào)用同一類中的其它構(gòu)造器,然后再為任意屬性賦新值。如果沒這么做,便利構(gòu)造器賦予的新值將被同一類中其它指定構(gòu)造器所覆蓋。

安全檢查 4

構(gòu)造器在第一階段構(gòu)造完成之前,不能調(diào)用任何實例方法、不能讀取任何實例屬性的值,也不能引用self的值。

以下是兩段式構(gòu)造過程中基于上述安全檢查的構(gòu)造流程展示:

階段 1

  • 某個指定構(gòu)造器或便利構(gòu)造器被調(diào)用;
  • 完成新實例內(nèi)存的分配,但此時內(nèi)存還沒有被初始化;
  • 指定構(gòu)造器確保其所在類引入的所有存儲型屬性都已賦初值。存儲型屬性所屬的內(nèi)存完成初始化;
  • 指定構(gòu)造器將調(diào)用父類的構(gòu)造器,完成父類屬性的初始化;
  • 這個調(diào)用父類構(gòu)造器的過程沿著構(gòu)造器鏈一直往上執(zhí)行,直到到達構(gòu)造器鏈的最頂部;
  • 當?shù)竭_了構(gòu)造器鏈最頂部,且已確保所有實例包含的存儲型屬性都已經(jīng)賦值,這個實例的內(nèi)存被認為已經(jīng)完全初始化。此時階段1完成。

階段 2

  • 從頂部構(gòu)造器鏈一直往下,每個構(gòu)造器鏈中類的指定構(gòu)造器都有機會進一步定制實例。構(gòu)造器此時可以訪問self、修改它的屬性并調(diào)用實例方法等等。
  • 最終,任意構(gòu)造器鏈中的便利構(gòu)造器可以有機會定制實例和使用self。

下圖展示了在假定的子類和父類之間構(gòu)造的階段1: ·構(gòu)造過程階段1

在這個例子中,構(gòu)造過程從對子類中一個便利構(gòu)造器的調(diào)用開始。這個便利構(gòu)造器此時沒法修改任何屬性,它把構(gòu)造任務(wù)代理給同一類中的指定構(gòu)造器。

如安全檢查1所示,指定構(gòu)造器將確保所有子類的屬性都有值。然后它將調(diào)用父類的指定構(gòu)造器,并沿著造器鏈一直往上完成父類的構(gòu)建過程。

父類中的指定構(gòu)造器確保所有父類的屬性都有值。由于沒有更多的父類需要構(gòu)建,也就無需繼續(xù)向上做構(gòu)建代理。

一旦父類中所有屬性都有了初始值,實例的內(nèi)存被認為是完全初始化,而階段1也已完成。

以下展示了相同構(gòu)造過程的階段2:

構(gòu)建過程階段2

父類中的指定構(gòu)造器現(xiàn)在有機會進一步來定制實例(盡管它沒有這種必要)。

一旦父類中的指定構(gòu)造器完成調(diào)用,子類的構(gòu)指定構(gòu)造器可以執(zhí)行更多的定制操作(同樣,它也沒有這種必要)。

最終,一旦子類的指定構(gòu)造器完成調(diào)用,最開始被調(diào)用的便利構(gòu)造器可以執(zhí)行更多的定制操作。

構(gòu)造器的繼承和重載

跟 Objective-C 中的子類不同,Swift 中的子類不會默認繼承父類的構(gòu)造器。Swift 的這種機制可以防止一個父類的簡單構(gòu)造器被一個更專業(yè)的子類繼承,并被錯誤的用來創(chuàng)建子類的實例。

假如你希望自定義的子類中能實現(xiàn)一個或多個跟父類相同的構(gòu)造器--也許是為了完成一些定制的構(gòu)造過程--你可以在你定制的子類中提供和重載與父類相同的構(gòu)造器。

如果你重載的構(gòu)造器是一個指定構(gòu)造器,你可以在子類里重載它的實現(xiàn),并在自定義版本的構(gòu)造器中調(diào)用父類版本的構(gòu)造器。

如果你重載的構(gòu)造器是一個便利構(gòu)造器,你的重載過程必須通過調(diào)用同一類中提供的其它指定構(gòu)造器來實現(xiàn)。這一規(guī)則的詳細內(nèi)容請參考構(gòu)造器鏈。


注意:
與方法、屬性和下標不同,在重載構(gòu)造器時你沒有必要使用關(guān)鍵字上一篇:Swift檢驗協(xié)議的一致性下一篇:Swift斷言