用 Swift 來控制復(fù)雜度
值類型的優(yōu)點(diǎn)
- 不變性。
值類型的變量是嚴(yán)格的被一個(gè)所有者控制的 - 獨(dú)立性
引用類型是相互依賴的,一種隱式的依賴 - 可交換性
如何使用值類型和引用類型
將你的程序分為2個(gè)層次,對象層和值層。對象層放置的是大量的對象,執(zhí)行事件,查看值類型層的值,計(jì)算新的值,存儲(chǔ)。值層:所有邏輯事務(wù)都可以存儲(chǔ)在值層
Swift的核心是面向協(xié)議
引用類型有許多的享有者。Class = 高復(fù)雜度,值 = 低復(fù)雜度。
- 用值類型代替引用類型
面向?qū)ο缶幊痰膯栴}
- 由于實(shí)例對象是可變的,導(dǎo)致對象的另一個(gè)享有者在合適的時(shí)候去改變這個(gè)對象的屬性
- swift支持類的單繼承,導(dǎo)致從多個(gè)class繼承到更多地功能,或者增加了復(fù)雜度
- 以上兩條中任意一條的觸發(fā),可能導(dǎo)致的是class緊耦合的問題
- 并發(fā)。在多線程情況下,同時(shí)改變了一個(gè)引用
- 向一個(gè)類添加函數(shù)是簡單地。但是當(dāng)你需要修改這個(gè)函數(shù)的行為的時(shí)候,需要每一個(gè)類去修改這個(gè)函數(shù)
面向協(xié)議編程
面向協(xié)議編程的思想是為了消除上述的上帝類
從一個(gè)protocol開始,別從class開始
例子:
面向?qū)ο蟮奶幚矸绞剑罕热缒銓懥艘粋€(gè)父類,父類中有一個(gè)方法。 這個(gè)父類被繼承。首先不是所有的子類都需要這一個(gè)方法,其次這個(gè)父類被修改了話,那么所有的子類都會(huì)受到影響。 ---->本應(yīng)該是由子類決定自己的行為,父類就幫著解決了
面向協(xié)議編程的處理方式:如果將上述的方法抽象出來,定義為協(xié)議,那么上帝類就消除了。
面向值編程
我們用struct和enum類型就可以做到一切class能做到的事
和你所了解的一樣,值類型被賦給一個(gè)變量或者常量,抑或是傳給函數(shù)做參數(shù)時(shí)是它的值被拷貝的。這就讓值類型在任何時(shí)候只有一個(gè)享有者,從而降低復(fù)雜度。和引用類型相反,在賦值過程中引用類型會(huì)有很多享有者,其中一部分你甚至都沒意識(shí)到。在任何時(shí)間點(diǎn)使用引用的話會(huì)帶來一些副作用:引用的享有者會(huì)搗蛋,在背后偷偷改變這個(gè)引用。Class = 高復(fù)雜度,值 = 低復(fù)雜度。
函數(shù)式編程
和數(shù)學(xué)函數(shù)類似,函數(shù)式編程是由一些輸出結(jié)果僅取決于輸入?yún)?shù)的函數(shù)組成,而且函數(shù)的輸出結(jié)果不會(huì)被本體之外的相依性(dependency)所影響。這就是眾所周知的"data in, data out",意思是每次傳進(jìn)來一個(gè)值,這個(gè)值傳出去的時(shí)候和傳進(jìn)來時(shí)候總要是一樣的。
函數(shù)式編程的優(yōu)點(diǎn)
- 完全線程安全的代碼(值類型變量在并發(fā)代碼中被分配時(shí)是被拷貝的,意思是另一個(gè)線程更改不了與它平行線程中的變量)
- 更詳盡的單元測試
- 代碼更簡潔
用子類的情況
- 當(dāng)需要繼承系統(tǒng)的類的時(shí)候
- 當(dāng)一個(gè)對象有多個(gè)享有者,在這個(gè)些享有者之間做隱式共享的時(shí)候,但是這時(shí)候需要考慮并發(fā)的問題
- 當(dāng)實(shí)例的聲明周期與外部效應(yīng)綁定的時(shí)候,或者是一個(gè)穩(wěn)定的個(gè)體
- 管理在其他class實(shí)例之間的值類型變量 ,并且需要與這些值類型變量通信