對于一個實例來說,引用自身的類型是很有用的。比如向此類型傳遞消息。在之前的一個例子中球散,一個Dog實例方法通過消息顯式傳遞將一個Dog類型屬性取回。
Dog.whatDogSay這樣的表達(dá)方式看起來很笨拙而且一點也不靈活散庶。為什么我們必須將代碼寫死蕉堰?它是一個類凌净,它應(yīng)該知道自己的情況。
在Oc里屋讶,你可能已經(jīng)習(xí)慣了使用類的實例方法解決這種情況冰寻。在Swift里,一個實例可能不是一個類皿渗,而是結(jié)構(gòu)體或者枚舉斩芭。swift實例有的是一個類型。對于這種目的乐疆,swift提供的實例方法中是動態(tài)類型方法划乖。一個實例可以到達(dá)它的類型中,通過這種方法挤土。因此迁筛,如果你不喜歡Dog類實例調(diào)用類方法通過顯式“說”Dog這種方法,這里還有一個另外的方法:
使用動態(tài)類型而非寫死(hard-cording)耕挨,一個重要的事情就是它遵循多態(tài)细卧。
現(xiàn)在看看會發(fā)生什么?
像這樣筒占,我們告訴NoisyDog實例去bark贪庙,他就會說三次。其中的原因就是dynamicType:這個類型是實例事實是的那個類型翰苫。這就把這個類型變得動態(tài)了止邮。我們把bark消息傳遞給NoisyDog實例。bark的實施指向這個實例奏窑,所救取出了三次“Woof”导披。
Tips: 你可以使用print(myobject.dynamicType)來輸出對象類型,它會直接以字符串的形式輸出埃唯。這對debug很有幫助撩匕。
在某些情況下,你可能想要將對象類型傳遞作一個變量墨叛。這是可以實現(xiàn)的止毕,一個對象類型就是一個對象,下面是一些你需要知道的:
1漠趁、去聲明可接受的對象類型——比如就像變量或者參數(shù)的類型扁凛,使用點運算符以及類型名和Type關(guān)鍵字。
2闯传、將對象類型作為值來使用谨朝,比如,將類型賦給變量或者傳給函數(shù);使用類型的引用(類型名字币,或一些實例的dynamicType)荚孵,很可能后面有self關(guān)鍵字和點號。
比如纬朝,下面這個函數(shù)接受Dog作為參數(shù):
下面是一個調(diào)用該函數(shù)的例子:
或者還可以這樣調(diào)用:
為什么要這么做呢收叶?一個典型的情況就是這個函數(shù)就像實例的加工廠:給他一個類型,它創(chuàng)建一個這種類型的實例共苛,對它再加工一番判没,然后返回它。通過發(fā)送init(...)消息隅茎,你可以用一個變量引用這個類型去制作一個這種類型的實例澄峰。
比如,下面是一個Dog類型包含init(name:)構(gòu)造器辟犀,和它的子類NoisyDog:
下面是一個加工廠函數(shù):制作一個Dog或者NoisyDog俏竞,給他一個名字,再返回它:
就像你看到的堂竟,由于whattype指向一個類型魂毁,我們可以調(diào)用它的構(gòu)造器去制作一個該類型的實例。然而出了一些問題出嘹,原因是編譯器不清楚init(name: )是不是所有的Dog的子類都有席楚。為了是編譯器“安心”,我們必須聲明構(gòu)造器為required構(gòu)造器:
之前我保證過税稼,我已經(jīng)告訴你為什么你要用required構(gòu)造器烦秩,現(xiàn)在我遵守了承諾。required指定構(gòu)造器是編譯器安心郎仆,因為每個子類都必須繼承或者重寫init(name:) 所以發(fā)送給Dog或者其子類的對應(yīng)類型是合法的≈混簦現(xiàn)在代碼就可以用了。我么你可以調(diào)用上面的函數(shù):
在類的方法中扰肌,self代表這個類——多態(tài)地抛寝。這意味著在這個類的方法中,你可以發(fā)送消息給self去多態(tài)地調(diào)用構(gòu)造器狡耻。請看這個例子:如果我們想要把之前的加工廠函數(shù)以類方法內(nèi)嵌到類中墩剖,叫做makeAndName。我們想要這個類方法夷狰,無論我們發(fā)送消息給什么類,都會制造和返回一個有名字對應(yīng)類的Dog郊霎。也就是說我們說Dog.makeAndName()沼头,我們會得到一個Dog實例,我們說NoisyDog.makeAndName(),我們就會得到一個NoisyDog類进倍。這種類型是多態(tài)的self類型土至,所以我們的makeAndName類方法初始化self:
結(jié)果是這樣的:
但是這里有個問題。雖然d2事實上是一個NoisyDog猾昆,但是他的類型是Dog陶因。這是因為該類方法聲明返回一個Dog類。這恰恰不是我們想要的垂蜗。我們想表達(dá)的是楷扬,返回一個與該方法調(diào)用者一樣的類。也就是說贴见,我們需要一個多態(tài)式的類型聲明烘苹。這個類型就是Self(注意大寫)。在這里片部,它被用作一個返回值镣衡,表示:返回一個它實際上類型的實例。
現(xiàn)在當(dāng)我們調(diào)用NoisyDog.makeAndName()的時候档悠,我們就會得到一個NoisyDog類型的NoisyDog廊鸥。Self也對實例方法聲明有效。因此辖所,我們可以為我們的加工廠函數(shù)寫一個實例方法黍图。這里我們以一個Dog或者NoisyDog開始,并告訴它有一個和它一樣類型的小狗:
測試一下它:
就像預(yù)想的一樣奴烙,d2是Dog. nd2是NoisyDog助被。
為了不被搞糊涂,還是弄一個Summary:
.dynamicType:
用在代碼中切诀,發(fā)送給實例:只要是該實例內(nèi)部的可多態(tài)的類型就可以揩环,不論實例引用的類型是什么。而且通過實例的dynamicType幅虑,Static/Class成員是可以get到的丰滑。
.Type:
用在聲明中,發(fā)送給類型:可多態(tài)的類型(與該類型的實例相反)倒庵。比如褒墨,在一個函數(shù)聲明中,Dog代表需要一個Dog類擎宝,但是Dog.Type代表類型本身郁妈。(這樣才能調(diào)用類型方法嘛!)
.self:
用在代碼中绍申,發(fā)送給類型噩咪。比如顾彰,將Dog類型傳遞到需要Dog.Type的地方,比如Dog.self(傳遞.self 給實例不是非法的胃碾,但是毫無意義)涨享。
self:
在實例代碼中,這個實例是多態(tài)的仆百。
在Static/Class代碼中厕隧,也是多態(tài)的;self.init(...)初始化了這個類型俄周。
Self:
用在方法聲明中吁讨,當(dāng)具體說明返回值類型,該類或者實例的類栈源,可多態(tài)的挡爵。